GPCE 2017
Mon 23 - Tue 24 October 2017 Vancouver, Canada
co-located with SPLASH 2017

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.

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote GPCE/SLE MondayGPCE 2017 at Regency A+B
08:30
15m
Day opening
Opening
GPCE 2017
Matthew Flatt University of Utah, Sebastian Erdweg TU Delft
08:45
75m
Talk
Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote
GPCE 2017
K: Danny Dig School of EECS at Oregon State University
10:30 - 12:00
StagingGPCE 2017 at Regency A
Chair(s): Nada Amin University of Cambridge
10:30
25m
Talk
Refining Semantics for Multi-stage Programming
GPCE 2017
Rui Ge University of British Columbia, Canada, Ronald Garcia University of British Columbia, Canada
DOI Authorizer link
10:55
25m
Talk
Staging for Generic Programming in Space and Time
GPCE 2017
Georg Ofenbeck ETH Zurich, Switzerland, Tiark Rompf Purdue University, Markus Püschel ETH Zürich
DOI Authorizer link
11:20
25m
Talk
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
GPCE 2017
Junpei Oishi University of Tsukuba, Japan, Yukiyoshi Kameyama University of Tsukuba, Japan
DOI Authorizer link
11:45
15m
Talk
Code Staging in GNU GuixShort paper
GPCE 2017
Ludovic Courtès Inria, France
DOI Authorizer link
13:30 - 15:00
VariabilityGPCE 2017 at Regency A
Chair(s): Ina Schaefer Technische Universität Braunschweig
13:30
25m
Talk
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
25m
Talk
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
25m
Talk
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
TypesGPCE 2017 at Regency A
Chair(s): Shigeru Chiba University of Tokyo, Japan
15:30
25m
Talk
Type Qualifiers as Composable Language Extensions
GPCE 2017
Travis Carlson University of Minnesota, USA, Eric Van Wyk University of Minnesota, USA
DOI Authorizer link
15:55
25m
Talk
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
25m
Talk
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 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote GPCE/SLE TuesdayGPCE 2017 at Regency A+B
08:30
15m
Awards
Awards
GPCE 2017
Matthew Flatt University of Utah, Sebastian Erdweg TU Delft
08:45
75m
Talk
Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote
GPCE 2017
Peter D. Mosses Swansea University
10:30 - 12:00
PerformanceGPCE 2017 at Regency A
Chair(s): Matthew Flatt University of Utah
10:30
25m
Talk
Quoted Staged Rewriting: A Practical Approach to Library-Defined OptimizationsBest Paper
GPCE 2017
DOI Authorizer link Media Attached
10:55
25m
Talk
Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
GPCE 2017
Joseph Caldwell University of Tokyo, Japan, Shigeru Chiba University of Tokyo, Japan
DOI Authorizer link
11:20
25m
Talk
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
GPCE 2017
Arsène Pérard-Gayot Saarland University, Germany, Martin Weier Bonn-Rhein-Sieg University of Applied Sciences, Germany, Richard Membarth DFKI, Germany, Philipp Slusallek DFKI, Germany, Roland Leißa Saarland University, Germany, Sebastian Hack Saarland University, Germany
DOI Authorizer link
11:45
15m
Talk
Towards Compositional and Generative Tensor OptimizationsShort paper
GPCE 2017
Adilla Susungi MINES ParisTech, France, Norman A. Rink TU Dresden, Germany, Jeronimo Castrillon TU Dresden, Germany, Immo Huismann TU Dresden, Germany, Albert Cohen Inria, France / ENS, France, Claude Tadonki MINES ParisTech, France, Jörg Stiller TU Dresden, Germany, Jochen Fröhlich TU Dresden, Germany
DOI Authorizer link
13:30 - 15:00
Analysis & TestingGPCE 2017 at Regency A
Chair(s): Jaakko Järvi University of Turku
13:30
25m
Talk
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
25m
Talk
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
25m
Talk
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
15m
Talk
Parser Generation by Example for Legacy Pattern LanguagesShort paper
GPCE 2017
Vadim Zaytsev Raincode Labs, Belgium
DOI Authorizer link
15:30 - 17:00
DSLsGPCE 2017 at Regency A
Chair(s): Anthony Sloane Macquarie University
15:30
25m
Talk
A Haskell Compiler for Signal Transforms
GPCE 2017
Geoffrey Mainland Drexel University, USA, Jeremy Johnson Drexel University, USA
DOI Authorizer link
15:55
25m
Talk
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
25m
Talk
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
2h
Social Event
Dinner (registration add-on)
GPCE 2017

Accepted Papers

Title
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
GPCE 2017
DOI Authorizer link
A Classification of Variation Control Systems
GPCE 2017
DOI Authorizer link
A Haskell Compiler for Signal Transforms
GPCE 2017
DOI Authorizer link
Analyzing the Impact of Natural Language Processing over Feature Location in Models
GPCE 2017
DOI Authorizer link
Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report
GPCE 2017
DOI Authorizer link
Avoiding Useless Mutants
GPCE 2017
DOI Authorizer link
Awards
GPCE 2017
Code Staging in GNU GuixShort paper
GPCE 2017
DOI Authorizer link
Dinner (registration add-on)
GPCE 2017

Four Languages and Lots of Macros: Analyzing Autotools Build Systems
GPCE 2017
DOI Authorizer link
How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper
GPCE 2017
DOI Authorizer link
Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote
GPCE 2017
Opening
GPCE 2017
Parser Generation by Example for Legacy Pattern LanguagesShort paper
GPCE 2017
DOI Authorizer link
Quoted Staged Rewriting: A Practical Approach to Library-Defined OptimizationsBest Paper
GPCE 2017
DOI Authorizer link Media Attached
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
GPCE 2017
DOI Authorizer link
Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
GPCE 2017
DOI Authorizer link
Refining Semantics for Multi-stage Programming
GPCE 2017
DOI Authorizer link
Rewriting a Shallow DSL using a GHC Compiler Extension
GPCE 2017
DOI Authorizer link
Rewriting for Sound and Complete Union, Intersection and Negation Types
GPCE 2017
DOI Authorizer link
Silverchain: A Fluent API Generator
GPCE 2017
DOI Authorizer link
Staging for Generic Programming in Space and Time
GPCE 2017
DOI Authorizer link
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
GPCE 2017
DOI Authorizer link
Towards Compositional and Generative Tensor OptimizationsShort paper
GPCE 2017
DOI Authorizer link
Type Qualifiers as Composable Language Extensions
GPCE 2017
DOI Authorizer link

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.

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.