[TYPES/announce] Call for Papers, GPCE 2013

jarvi jarvi at cse.tamu.edu
Wed May 15 11:17:40 EDT 2013


12th International Conference on
Generative Programming: Concepts & Experiences 
(GPCE 2013)

October 27-28, 2013
Indianapolis, IN, USA
(collocated with SPLASH 2013)

LinkedIn: GPCE (http://tinyurl.com/48eoovb)



* Submission of papers:    June 14, 2013
* Paper notification:      August 22, 2013


Generative and component approaches and domain-specific abstractions are 
revolutionizing software development just as automation and componentization 
revolutionized manufacturing. Raising the level of abstraction in software 
specification has been a fundamental goal of the computing community for 
several decades. Key technologies for automating program development and 
lifting the abstraction level closer to the problem domain are 
*Generative Programming* for program synthesis, *Domain-Specific Languages* 
(DSLs) for compact problem-oriented programming notations, and corresponding 
*Implementation Technologies* aiming at modularity, correctness, reuse, and 
evolution. As the field matures *Applications* and *Empirical Results* are 
of increasing importance.

The International Conference on Generative Programming: Concepts & Experiences 
(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.


We seek research papers of up to 10 pages in SIGPLAN proceedings style 
(sigplanconf.cls, see
http://www.sigplan.org/authorInformation.htm) reporting original and
unpublished results of theoretical, empirical, conceptual, or
experimental research that contribute to scientific knowledge in the
areas listed below (the PC chair can advise on appropriateness).

4 page short papers and tool demonstrations are also accepted (see website).


GPCE seeks contributions on all topics related to generative software and 
its properties. As technology is maturing, this year, we are particularly
looking for empirical evaluations in this context. Key topics include 
(but are certainly not limited too):

* Generative software
    Domain-specific languages
    Product lines
    Program synthesis
    Implementation techniques and tool support
* Properties of generative software
    Correctness of generators and generated code
    Reuse and evolution
    Modularity, separation of concerns, understandability, and maintainability
    Performance engineering, nonfunctional properties
    Application areas and engineering practice
* Empirical evaluations of all topics above

A more detailed list of topics can be found on the website.

Examples of key challenges in the field are
*   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

Note on empirical evaluations: This year, GPCE seriously commits on encouraging submissions about empirical evaluations of generative software. Empirical papers often have a difficult stand at programming language venues. We understand the frustration with reviews for empirical papers that, for example, simply recommend repeating entire experiments with human subjects due to slight deviations in the execution. To alleviate these problems, we have asked several experts routinely working with empirical methods to join the program committee and we will actively seek external reviews where appropriate. During submissions, authors can optionally indicate whether their paper contains substantial empirical work, and we will invest all effort necessary to ensure that such papers will be reviewed by experts familiar with the used empirical research method. The program-committee discussions will reflect on both technical contribution and research method.

Policy: Incremental improvements over previously published work should have
been evaluated through systematic, comparative, empirical, or
experimental evaluation.  Submissions must adhere to SIGPLAN's
republication policy
(http://www.sigplan.org/republicationpolicy.htm). Please contact the
program chair if you have any questions about how this policy applies
to your paper (chairs at gpce.org).


Chairs (chairs at gpce.org)

General Chair:   Jaakko Järvi (Texas A&M University, US)
Program Chair:   Christian Kästner (Carnegie Mellon University, US)
Publicity Chair: Norbert Siegmund (University of Magdeburg, DE)

Program Committee

* Jonathan Aldrich (Carnegie Mellon University, US)
* Sven Apel (University of Passau, DE)
* Emilie Balland (Inria, FR)
* Don Batory (University of Texas at Austin, US)
* Paulo Borba (Federal University of Pernambuco, BR)
* Sebastian Erdweg (TU Darmstadt, DE)
* Martin Erwig (Oregon State University, US)
* Bernd Fischer (Stellenbosch University / University of Southampton)
* Matthew Flatt (University of Utah, US)
* Mark Grechanik (University of Illinois at Chicago, US)
* Stefan Hanenberg (Universität Duisburg-Essen, DE)
* Julia Lawall (Inria/LIP6, FR)
* Marjan Mernik (University of Maribor, Slovenia; University of Alabama at Birmingham, US )
* Emerson Murphy-Hill (North Carolina State University, US)
* Markus Püschel (ETH Zürich, CH)
* Derek Rayside (University of Waterloo, CA)
* Ina Schaefer (Technische Universität Braunschweig, DE)
* Ulrik Pagh Schultz (University of Southern Denmark, DK)
* Jeremy G. Siek (University of Colorado, US)
* Yannis Smaragdakis (University of Athens, GR)
* Tijs van der Storm (Centrum Wiskunde & Informatica, NL)
* Walid Taha (Halmstad University, SE)
* Eelco Visser (Delft University of Technology, NL)
* Jan Vitek (Purdue University, US)
* Andrzej Wasowski (IT University of Copenhagen, DK)

More information about the Types-announce mailing list