[Agda] CFP: ACM SIGPLAN GPCE 2015

Sat Mar 21 05:11:04 CET 2015

Just to test if I have been removed from the list. If yes, why? Sorry for
disturbing.

On Sat, Mar 21, 2015 at 12:04 AM, Faruk Caglar <faruk.caglar at vanderbilt.edu>
wrote:

> [Apologies if you receive multiple copies of this email]
> -------------------------------------------------------------
>
>                     ACM SIGPLAN GPCE 2015
>               14th International Conference on
>         Generative Programming: Concepts & Experiences
>
>              Oct 26-27, 2015, Pittsburgh, PA, USA
>             http://conf.researchr.org/home/gpce2015
>
> Co-located with:
> ACM SIGPLAN conference on Systems, Programming, Languages and
> Applications: Software for Humanity (SPLASH 2015)
>              and
> ACM SIGPLAN 8th International Conference on Software Language
> Engineering (SLE) 2015
>
> -----------------------------------------------------------------
> IMPORTANT DATES
>
>   Abstract submission   : June 8, 2015
>   Full paper submission : June 15, 2015
>   Authors notification  : July 24, 2015
>   Camera-ready          : Aug 7, 2015
>   Conference            : Oct 26-27, 2015
>
>   Workshops: Handled by SPLASH
>
> All dates are Anywhere on Earth
>
> -----------------------------------------------------------------
> SCOPE
>
> GPCE is a venue for researchers and practitioners interested in techniques
> that use program generation, domain-specific languages, and component
> deployment to increase programmer productivity, improve software quality,
> and shorten the time-to-market of software products. In addition to
> exploring cutting-edge techniques of generative software, our goal is to
> foster further cross-fertilization between the software engineering and the
> programming languages research communities.
>
> -----------------------------------------------------------------
> TOPICS OF INTEREST
>
> GPCE seeks contributions on all topics related to generative software and
> its properties. Topics of interest include, but are not limited to:
>
> Generative software
> * Domain-specific languages (language extension, language embedding,
>   language design, language theory, language workbenches, interpreters,
>   compilers)
> * Product lines (domain engineering, feature-oriented and
>   aspect-oriented programming, pre-processors, feature interactions)
> * Metaprogramming (reflection, staging, partial evaluation), Type
>   systems, Program synthesis
> * Implementation techniques and tool support (components, plug-ins,
>   libraries, metaprogramming, macros, templates, generic programming,
>   run-time code generation, model-driven development, composition tools,
>   code-completion and code-recommendation systems)
>
> Practical Applications and Empirical evaluations
> * Empirical evaluations of all topics above (user studies, substantial case
>   studies, controlled experiments, surveys, rigorous measurements)
> * Application areas and engineering practice (Cloud Computing, Internet of
>   Things, Cyber Physical Systems, Mobile Computing, Software Defined
>   Networking, High Performance Computing, Patterns and Middleware,
>   Development methods)
>
> Properties of generative software
> * Correctness of generators and generated code (analysis, testing, formal
>   methods, domain-specific error messages, safety, security)
> * Reuse and evolution
> * Modularity, separation of concerns, understandability, and
>   maintainability
> * Performance engineering, nonfunctional properties (program optimization
>   and parallelization, GPGPUs, multicore, footprint, metrics)
>
> We particularly welcome papers that address some of the key challenges in
> the field, such as,
> * synthesizing code from declarative specifications
> * supporting extensible languages and language embedding
> * ensuring correctness and other nonfunctional properties of generated code
> * proving generators correct
> * improving error reporting with domain-specific error messages
> * reasoning about generators
> * handling variability-induced complexity in product lines
> * providing efficient interpreters and execution languages
> * human factors in developing and maintaining generators
>
> GPCE encourages submissions about empirical evaluations and applications of
> generative software, and such papers will be given special consideration
> during reviewing.
>
> -----------------------------------------------------------------
> SUBMISSION GUIDELINES
>
> Research papers: 10 pages maximum (ACM SIGPLAN style)
>
> Research papers should report on original and unpublished results of
> theoretical, empirical, conceptual, or experimental research that
> contribute to scientific knowledge in the areas listed above (the PC chair
> can advise on appropriateness)
>
> Tool demos and short papers: 4 pages maximum (ACM SIGPLAN style).
>
> The goal of short papers is to promote current work on research and
> practice. Short papers represent an early communication of research and do
> not always require complete results as in the case of a full paper. In this
> way, authors can introduce new ideas to the community, discuss ideas and
> get early feedback. Please note that short papers are not intended to be
> position statements. Short papers are included in the proceedings and will
> be presented with a shorter time slot at the conference.
>
> Tool demonstrations should present tools that implement generative
> techniques, and are available for use. Any of the GPCE topics of interest
> are appropriate areas for tool demonstrations, although purely commercial
> tool demonstrations will not be accepted. Submissions must provide a tool
> description of 4 pages in SIGPLAN proceedings style (see above) and a
> demonstration outline including screenshots of up to 4 pages. Tool
> demonstrations must have the words "Tool Demo" or "Tool Demonstration" in
> the title, possibly appended in parenthesis. The 4-page tool description
> will, if the demonstration is accepted, be published in the proceedings.
>
> -----------------------------------------------------------------
> ORGANIZERS
>
> GENERAL CHAIR
>
>   Christian Kastner, Carnegie Mellon University, Pittsburgh, PA, USA
>
> PROGRAM COMMITTEE CHAIR
>
>   Aniruddha Gokhale, Vanderbilt University, Nashville, TN, USA
>
> PUBLICITY CO-CHAIRS
>
>   Faruk Caglar, Vanderbilt University, Nashville, TN, USA
>   Tomofumi Yuki, INRIA Rhone-Alpes, France
>
>
> PROGRAM COMMITTEE (TO BE COMPLETED)
>
>   Kenichi Asai, Ochanomizu Univ, Japan
>   Emilie Balland, INRIA Bordeaux, France
>   Don Batory, Univ of Texas, USA
>   Walter Binder, Univ of Lugano, Switzerland
>   Jan Bosch, Chalmers Univ, Sweden
>   Akshay Dabholkar, Oracle, USA
>   Ewen Denney, NASA Ames, USA
>   Katrina Falkner, Univ of Adelaide, Australia
>   Bernd Fischer, Stellenbosch Univ, South Africa
>   Matthew Flatt, Univ of Utah, USA
>   Jeff Gray, Univ of Alabama, USA
>   Michael Haupt, Oracle Labs, Germany
>   James Hill, Indiana Univ Purdue Univ at Indianapolis, USA
>   Young-Woo Kwon, Utah State Univ, USA
>   Raffaela Mirandola, Politechnico di Milano, Italy
>   Hridesh Rajan, Iowa State Univ, USA
>   Laurent Reveillere, LaBRI, Univ of Bordeaux, France
>   Marcio Ribeiro, Federal Univ of Alagoas, Brazil
>   Tiark Rompf, Purdue Univ, USA
>   Klaus Schmid, Stiftung Universitat Hildesheim, Germany
>   Norbert Siegmund, Univ of Passau, Germany
>   Yannis Smaragdakis, Univ of Athens, Greece
>   Sumant Tambe, RTI Inc, USA
>   Petr Tuma, Charles Univ, Czech Republic
>   Nalini Venkatasubramanian, Univ of California, Irvine, USA
>   Jules White, Vanderbilt Univ, USA
>   Eric Wohlstadter, Univ of British Columbia, Canada
>
>
>
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150321/bb2eae7d/attachment-0001.html