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
Times are displayed in 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 FlattUniversity of Utah, Sebastian ErdwegTU Delft
08:45
75m
Talk
Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote
GPCE 2017
K: Danny DigSchool of EECS at Oregon State University
10:30 - 12:00
StagingGPCE 2017 at Regency A
Chair(s): Nada AminUniversity of Cambridge
10:30
25m
Talk
Refining Semantics for Multi-stage Programming
GPCE 2017
Rui GeUniversity of British Columbia, Canada, Ronald GarciaUniversity of British Columbia, Canada
DOI Authorizer link
10:55
25m
Talk
Staging for Generic Programming in Space and Time
GPCE 2017
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, Markus PüschelETH Zürich
DOI Authorizer link
11:20
25m
Talk
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
GPCE 2017
Junpei OishiUniversity of Tsukuba, Japan, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
DOI Authorizer link
11:45
15m
Talk
Code Staging in GNU GuixShort paper
GPCE 2017
Ludovic CourtèsInria, France
DOI Authorizer link
13:30 - 15:00
VariabilityGPCE 2017 at Regency A
Chair(s): Ina SchaeferTechnische Universität Braunschweig
13:30
25m
Talk
A Classification of Variation Control Systems
GPCE 2017
Lukas LinsbauerJohannes Kepler University Linz, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul GrünbacherJKU 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ñaSan Jorge University, Spain, Jaime FontSan Jorge University, Spain, Oscar PastorUniversitat Politècnica de València, Spain, Carlos CetinaSan 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 FenskeUniversity of Magdeburg, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany
DOI Authorizer link
15:30 - 17:00
TypesGPCE 2017 at Regency A
Chair(s): Shigeru ChibaUniversity of Tokyo, Japan
15:30
25m
Talk
Type Qualifiers as Composable Language Extensions
GPCE 2017
Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity 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 RosalesUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland
DOI Authorizer link
16:20
25m
Talk
Rewriting for Sound and Complete Union, Intersection and Negation Types
GPCE 2017
David J. PearceVictoria University of Wellington, New Zealand
DOI Authorizer link

Tue 24 Oct
Times are displayed in 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 FlattUniversity of Utah, Sebastian ErdwegTU Delft
08:45
75m
Talk
Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote
GPCE 2017
Peter D. MossesSwansea University
10:30 - 12:00
PerformanceGPCE 2017 at Regency A
Chair(s): Matthew FlattUniversity 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 CaldwellUniversity of Tokyo, Japan, Shigeru ChibaUniversity 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-GayotSaarland University, Germany, Martin WeierBonn-Rhein-Sieg University of Applied Sciences, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, Roland LeißaSaarland University, Germany, Sebastian HackSaarland University, Germany
DOI Authorizer link
11:45
15m
Talk
Towards Compositional and Generative Tensor OptimizationsShort paper
GPCE 2017
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany, Immo HuismannTU Dresden, Germany, Albert CohenInria, France / ENS, France, Claude TadonkiMINES ParisTech, France, Jörg StillerTU Dresden, Germany, Jochen FröhlichTU Dresden, Germany
DOI Authorizer link
13:30 - 15:00
Analysis & TestingGPCE 2017 at Regency A
Chair(s): Jaakko JärviUniversity of Bergen
13:30
25m
Talk
Four Languages and Lots of Macros: Analyzing Autotools Build Systems
GPCE 2017
Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KaestnerCarnegie Mellon University, USA
DOI Authorizer link
13:55
25m
Talk
Avoiding Useless Mutants
GPCE 2017
Leonardo FernandesFederal University of Pernambuco, Brazil, Márcio RibeiroFederal University of Alagoas, Brazil, Luiz CarvalhoFederal University of Alagoas, Brazil, Rohit GheyiFederal University of Campina Grande, Brazil, Melina MongioviFederal University of Campina Grande, Brazil, Andre Santos, Ana CavalcantiUniversity of York, UK, Fabiano FerrariFederal University of São Carlos, Brazil, José Carlos MaldonadoUniversity of São Paulo, Brazil
DOI Authorizer link
14:20
25m
Talk
Silverchain: A Fluent API Generator
GPCE 2017
Tomoki NakamaruUniversity of Tokyo, Japan, Kazuhiro IchikawaUniversity of Tokyo, Japan, Tetsuro YamazakiUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
14:45
15m
Talk
Parser Generation by Example for Legacy Pattern LanguagesShort paper
GPCE 2017
Vadim ZaytsevRaincode Labs, Belgium
DOI Authorizer link
15:30 - 17:00
DSLsGPCE 2017 at Regency A
Chair(s): Anthony SloaneMacquarie University
15:30
25m
Talk
A Haskell Compiler for Signal Transforms
GPCE 2017
Geoffrey MainlandDrexel University, USA, Jeremy JohnsonDrexel 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 MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal
DOI Authorizer link
16:20
25m
Talk
Rewriting a Shallow DSL using a GHC Compiler Extension
GPCE 2017
Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA
DOI Authorizer link
18:00 - 20:00
18:00
2h
Social Event
Dinner (registration add-on)
GPCE 2017

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.

Accepted Papers

Title
A Classification of Variation Control Systems
GPCE 2017
DOI Authorizer link
A Haskell Compiler for Signal Transforms
GPCE 2017
DOI Authorizer link
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
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

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.