Fwd: [gambit-list] GPCE 2104 - Call for Papers - Dlteam-list

6 Fév 2014

      Cette conférence pourrait être intéressante pour y publier nos recherches.  Jettez-y un coup d’oeil et on s’en reparle à la prochaine rencontre de groupe.
Marc
Begin forwarded message:
...
From: Matthew Flatt mflatt@cs.utah.edu
Subject: [gambit-list] GPCE 2104 - Call for Papers
Date: February 6, 2014 at 8:18:27 AM EST
To: gambit-list@iro.umontreal.ca

CALL FOR PAPERS
13th International Conference on
Generative Programming: Concepts & Experiences 
(GPCE 2014)
September 15-16, 2014
Västerås, Sweden
(collocated with ASE 2014 and SLE 2014)
http://www.gpce.org
http://www.facebook.com/GPCEConference
http://twitter.com/GPCECONF

IMPORTANT DATES

Submission of papers:    May 30, 2014
Paper notification:      July 7, 2014

SCOPE
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.
SUBMISSIONS
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).
TOPICS
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
 Metaprogramming
 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: GPCE is committed to the empirical
evaluation of generative software. Publishing empirical papers at
programming-language venues can be challenging. We understand the
frustration of authors when, for example, reviews simply recommend
repeating entire experiments with human subjects with slight
deviations in execution. To alleviate such problems, we have recruited
forto program committee experts who routinely work with empirical
methods, and we will actively seek external reviews where
appropriate. During submissions, authors can optionally indicate that
a paper contains substantial empirical work, and we will endeavor have
to the paper reviewed by experts familiar with the empirical research
methods that are used in the paper. The program-committee discussions
will reflect on both technical contributions and research methods.
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@gpce.org).
ORGANIZATION
Chairs (chairs@gpce.org)
General Chair:   Ulrik Pagh Schultz (University of Southern Denmark, DK)
Program Chair:   Matthew Flatt (University of Utah, US)
Publicity Chair: Sebastian Erdweg (Technical University of Darmstadt, DE)
Local Organizer: Ivica Crnkovic (Mälardalen University, SE)
Program Committee
Kenichi Asai (Ochanomizu University, JP)
Emilie Balland (INRIA, FR)
Edwin Brady (University of St Andrews, UK)
Dave Clarke (Uppsala University, SE and KU Leuven, BE)
Ewen Denney (SGT / NASA, US)
Sebastian Erdweg (Technical University of Darmstadt, DE)
Martin Erwig (Oregon State University, US)
Alessandro Garcia (Pontifícia Universidade Católica do Rio de Janeiro, BR)
Anirüddhā Gokhālé (Vanderbilt University, US)
Jeff Gray (University of Alabama, US)
Stefan Hanenberg (Universität Duisburg-Essen, DE)
Jaakko Järvi (Texas A&M University, US)
Jean-Marc Jézéquel (IRISA-University of Rennes, FR)
Emerson Murphy-Hill (North Carolina State University, US)
Nathaniel Nystrom (University of Lugano, CH)
Bruno C. d. S. Oliveira (Hong Kong University, HK)
Hridesh Rajan (Iowa State University, US)
Márcio Ribeiro (Universidade Federal de Alagoas, BR)
Tiark Rompf (Oracle Labs and EPFL, CH)
Grigore Rosu (University of Illinois at Urbana-Champaign, US)
Norbert Siegmund (Universität Passau, DE)
Christian Skalka (University of Vermont, US)
Scott Smith (Johns Hopkins University, US)
Éric Tanter (Universidad de Chile, CL)
Emina Torlak (University of California Berkeley, US)
Laurence Tratt (King's College, UK)

Gambit-list mailing list
Gambit-list@iro.umontreal.ca
https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list