GPCE 2017 - 16th International Conference on Generative Programming: Concepts & Experience
The International Conference on Generative Programming: Concepts & Experience (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.
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.
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 15mDay opening | Opening GPCE 2017 | ||
08:45 75mTalk | Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote GPCE 2017 |
10:30 - 12:00 | |||
10:30 25mTalk | Refining Semantics for Multi-stage Programming GPCE 2017 DOI Authorizer link | ||
10:55 25mTalk | Staging for Generic Programming in Space and Time GPCE 2017 DOI Authorizer link | ||
11:20 25mTalk | Staging with Control: Type-Safe Multi-stage Programming with Control Operators GPCE 2017 DOI Authorizer link | ||
11:45 15mTalk | Code Staging in GNU GuixShort paper GPCE 2017 Ludovic Courtès Inria, France DOI Authorizer link |
13:30 - 15:00 | |||
13:30 25mTalk | A Classification of Variation Control Systems GPCE 2017 Lukas Linsbauer Johannes Kepler University Linz, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul Grünbacher JKU Linz, Austria DOI Authorizer link | ||
13:55 25mTalk | Analyzing the Impact of Natural Language Processing over Feature Location in Models GPCE 2017 Raúl Lapeña San Jorge University, Spain, Jaime Font San Jorge University, Spain, Oscar Pastor Universitat Politècnica de València, Spain, Carlos Cetina San Jorge University, Spain DOI Authorizer link | ||
14:20 25mTalk | How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper GPCE 2017 Wolfram Fenske University of Magdeburg, Germany, Sandro Schulze University of Magdeburg, Germany, Gunter Saake University of Magdeburg, Germany DOI Authorizer link |
15:30 - 17:00 | |||
15:30 25mTalk | Type Qualifiers as Composable Language Extensions GPCE 2017 DOI Authorizer link | ||
15:55 25mTalk | Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM GPCE 2017 Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Walter Binder University of Lugano, Switzerland DOI Authorizer link | ||
16:20 25mTalk | Rewriting for Sound and Complete Union, Intersection and Negation Types GPCE 2017 David J. Pearce Victoria University of Wellington, New Zealand DOI Authorizer link |
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 15mAwards | Awards GPCE 2017 | ||
08:45 75mTalk | Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote GPCE 2017 Peter D. Mosses Swansea University |
13:30 - 15:00 | |||
13:30 25mTalk | Four Languages and Lots of Macros: Analyzing Autotools Build Systems GPCE 2017 Jafar M. Al-Kofahi Iowa State University, USA, Suresh Kothari Iowa State University, USA, Christian Kästner Carnegie Mellon University, USA DOI Authorizer link | ||
13:55 25mTalk | Avoiding Useless Mutants GPCE 2017 Leonardo Fernandes Federal University of Pernambuco, Brazil, Márcio Ribeiro Federal University of Alagoas, Brazil, Luiz Carvalho Federal University of Alagoas, Brazil, Rohit Gheyi Federal University of Campina Grande, Brazil, Melina Mongiovi Federal University of Campina Grande, Brazil, Andre Santos , Ana Cavalcanti University of York, UK, Fabiano Ferrari Federal University of São Carlos, Brazil, José Carlos Maldonado University of São Paulo, Brazil DOI Authorizer link | ||
14:20 25mTalk | Silverchain: A Fluent API Generator GPCE 2017 Tomoki Nakamaru University of Tokyo, Japan, Kazuhiro Ichikawa University of Tokyo, Japan, Tetsuro Yamazaki University of Tokyo, Japan, Shigeru Chiba University of Tokyo, Japan DOI Authorizer link | ||
14:45 15mTalk | Parser Generation by Example for Legacy Pattern LanguagesShort paper GPCE 2017 Vadim Zaytsev Raincode Labs, Belgium DOI Authorizer link |
15:30 - 17:00 | |||
15:30 25mTalk | A Haskell Compiler for Signal Transforms GPCE 2017 DOI Authorizer link | ||
15:55 25mTalk | Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report GPCE 2017 Ricardo Giuliani Martini University of Minho, Portugal, Pedro Rangel Henriques University of Minho, Portugal DOI Authorizer link | ||
16:20 25mTalk | Rewriting a Shallow DSL using a GHC Compiler Extension GPCE 2017 Mark Grebe University of Kansas, USA, David Young University of Kansas, USA, Andy Gill University of Kansas, USA DOI Authorizer link |
18:00 - 20:00 | |||
18:00 2hSocial Event | Dinner (registration add-on) GPCE 2017 |
Accepted Papers
Call for Papers
GPCE is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to
- program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems,
- domain-specific languages, language embedding, language design, and language workbenches,
- feature-oriented programming, domain engineering, and feature interactions,
- applications and properties of code generation, language implementation, and product-line development.
Authors are welcome to check with the PC chair whether their planned papers are in scope.
Paper selection
The GPCE program committee will evaluate each submission according to the following selection criteria:
- Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field.
- Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways.
- Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies.
- Clarity. The paper must present its contributions and results clearly.
Paper submission
Submission link: https://gpce17.hotcrp.com/
GPCE solicits three kinds of submissions. All submissions must use the ACM SIGPLAN Conference Format “acmart”, sub-format “sigplan” and 10 point font.
Note that GPCE uses single-blind reviewing, but Latex template foresees double-blind reviews: You want to remove option “anonymous” from the template.
-
Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography.
-
Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers 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 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 at the conference. Short paper submissions must not exceed 6 pages excluding bibliography.
-
Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission.
For additional information, clarification, or answers to questions please contact the program chair.
Authors take note
The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.
Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy. Authors should also be aware of the ACM Policy on Plagiarism. If you have further questions, please contact the PC chair.
Dinner
The popular and traditional GPCE/SLE dinner will take place on Tuesday evening (October 24), 6:00pm at Rogue Ktichen & Wetbar (map) , which is within a short walk of the conference venue.
All GPCE attendees are warmly encouraged to attend, but tickets to the dinner must be purchased separately as a registration add-on. Dinner tickets are not included in the conference registration.