From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5A7087F726 for ; Mon, 5 May 2014 05:00:44 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mflatt@cs.utah.edu) identity=pra; client-ip=155.98.64.241; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mflatt@cs.utah.edu"; x-sender="mflatt@cs.utah.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mflatt@cs.utah.edu designates 155.98.64.241 as permitted sender) identity=mailfrom; client-ip=155.98.64.241; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mflatt@cs.utah.edu"; x-sender="mflatt@cs.utah.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mail-svr1.cs.utah.edu designates 155.98.64.241 as permitted sender) identity=helo; client-ip=155.98.64.241; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mflatt@cs.utah.edu"; x-sender="postmaster@mail-svr1.cs.utah.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUCAEf+ZlObYkDxnGdsb2JhbABYg1VRgiVJuhaIZQ4BAQEBAQYNCQkUKII4EQYbKgMnHAIFIQINBGEJC4gtCAWKBox+jyCeEoVtF4EqihmCN4MSDzISJIEVBIRab4Q+iFaGVoE9i16JLU6BAA X-IPAS-Result: AkUCAEf+ZlObYkDxnGdsb2JhbABYg1VRgiVJuhaIZQ4BAQEBAQYNCQkUKII4EQYbKgMnHAIFIQINBGEJC4gtCAWKBox+jyCeEoVtF4EqihmCN4MSDzISJIEVBIRab4Q+iFaGVoE9i16JLU6BAA X-IronPort-AV: E=Sophos;i="4.97,984,1389740400"; d="scan'208";a="72062733" Received: from rio.cs.utah.edu (HELO mail-svr1.cs.utah.edu) ([155.98.64.241]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 May 2014 05:00:42 +0200 Received: from localhost (localhost [127.0.0.1]) by mail-svr1.cs.utah.edu (Postfix) with ESMTP id DF6EB650100 for ; Sun, 4 May 2014 21:00:39 -0600 (MDT) X-Virus-Scanned: amavisd-new at cs.utah.edu Received: from mail-svr1.cs.utah.edu ([127.0.0.1]) by localhost (mail-svr1.cs.utah.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id TTzHjWsEhFS9 for ; Sun, 4 May 2014 21:00:39 -0600 (MDT) Received: from localhost (c-67-166-78-233.hsd1.ut.comcast.net [67.166.78.233]) by smtps.cs.utah.edu (Postfix) with ESMTPSA id 70AD4650187 for ; Sun, 4 May 2014 21:00:39 -0600 (MDT) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable From: Matthew Flatt To: caml-list@inria.fr Date: Sun, 4 May 2014 21:00:37 -0600 X-Mailer: SirMail under GRacket 6.0.1.5 (x86_64-macosx/3m) X-Uptime: 8 days and 9 hours, using 179,321,928 bytes (s: 2903) Message-Id: <20140505030039.70AD4650187@mail-svr1.cs.utah.edu> Subject: [Caml-list] GPCE 2014 - Final Call for Papers ------------------------------------------------------------------------ CALL FOR PAPERS 13th International Conference on Generative Programming: Concepts & Experiences=20 (GPCE 2014) September 15-16, 2014 V=C3=A4ster=C3=A5s, 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=20 revolutionizing software development just as automation and componentizatio= n=20 revolutionized manufacturing. Raising the level of abstraction in software= =20 specification has been a fundamental goal of the computing community for=20 several decades. Key technologies for automating program development and=20 lifting the abstraction level closer to the problem domain are=20 *Generative Programming* for program synthesis, *Domain-Specific Languages*= =20 (DSLs) for compact problem-oriented programming notations, and correspondin= g=20 *Implementation Technologies* aiming at modularity, correctness, reuse, and= =20 evolution. As the field matures *Applications* and *Empirical Results* are= =20 of increasing importance. The International Conference on Generative Programming: Concepts & Experien= ces=20 (GPCE) is a venue for researchers and practitioners interested in technique= s=20 that use program generation, domain-specific languages, and component=20 deployment to increase programmer productivity, improve software quality,=20 and shorten the time-to-market of software products. In addition to explori= ng=20 cutting-edge techniques of generative software, our goal is to foster furth= er=20 cross-fertilization between the software engineering and the programming=20 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=20 its properties. As technology is maturing, this year, we are particularly looking for empirical evaluations in this context. Key topics include=20 (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 maintainabil= ity 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 co= de;=20 proving generators correct * Improving error reporting with domain-specific error messages * Reasoning about generators; handling variability-induced complexity in= =20 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=C3=A4lardalen 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=C3=ADcia Universidade Cat=C3=B3lica do Rio de Jan= eiro, BR) Anir=C3=BCddh=C4=81 Gokh=C4=81l=C3=A9 (Vanderbilt University, US) Jeff Gray (University of Alabama, US) Stefan Hanenberg (Universit=C3=A4t Duisburg-Essen, DE) Jaakko J=C3=A4rvi (Texas A&M University, US) Jean-Marc J=C3=A9z=C3=A9quel (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=C3=A1rcio 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=C3=A4t Passau, DE) Christian Skalka (University of Vermont, US) Scott Smith (Johns Hopkins University, US) =C3=89ric Tanter (Universidad de Chile, CL) Emina Torlak (University of California Berkeley, US) Laurence Tratt (King's College, UK)