Program - GPCE 2017

Mon 23 - Tue 24 October 2017 Vancouver, Canada

co-located with SPLASH 2017

Filter

Mon 23 Oct

08:30 - 10:00: GPCE 2017 - Keynote GPCE/SLE Monday at Regency A+B

08:30 - 08:45
Day opening

Matthew Flatt, Sebastian Erdweg

08:45 - 10:00
Talk

Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote

10:30 - 12:00: GPCE 2017 - Staging at Regency A
Chair(s): Nada Amin

10:30 - 10:55
Talk

Refining Semantics for Multi-stage Programming

Rui Ge, Ronald Garcia

DOI Authorizer link

10:55 - 11:20
Talk

Staging for Generic Programming in Space and Time

Georg Ofenbeck, Tiark Rompf, Markus Püschel

DOI Authorizer link

11:20 - 11:45
Talk

Staging with Control: Type-Safe Multi-stage Programming with Control Operators

Junpei Oishi, Yukiyoshi Kameyama

DOI Authorizer link

11:45 - 12:00
Talk

Code Staging in GNU GuixShort paper

Ludovic Courtès

DOI Authorizer link

13:30 - 15:00: GPCE 2017 - Variability at Regency A
Chair(s): Ina Schaefer

13:30 - 13:55
Talk

A Classification of Variation Control Systems

Lukas Linsbauer, Thorsten Berger, Paul Grünbacher

DOI Authorizer link

13:55 - 14:20
Talk

Analyzing the Impact of Natural Language Processing over Feature Location in Models

Raúl Lapeña, Jaime Font, Óscar Pastor, Carlos Cetina

DOI Authorizer link

14:20 - 14:45
Talk

How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper

Wolfram Fenske, Sandro Schulze, Gunter Saake

DOI Authorizer link

15:30 - 17:00: GPCE 2017 - Types at Regency A
Chair(s): Shigeru Chiba

15:30 - 15:55
Talk

Type Qualifiers as Composable Language Extensions

Travis Carlson, Eric Van Wyk

DOI Authorizer link

15:55 - 16:20
Talk

Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM

Andrea Rosà, Eduardo Rosales, Walter Binder

DOI Authorizer link

16:20 - 16:45
Talk

Rewriting for Sound and Complete Union, Intersection and Negation Types

DOI Authorizer link

Tue 24 Oct

08:30 - 10:00: GPCE 2017 - Keynote GPCE/SLE Tuesday at Regency A+B

08:30 - 08:45
Awards

Matthew Flatt, Sebastian Erdweg

08:45 - 10:00
Talk

Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote

Peter D. Mosses

10:30 - 12:00: GPCE 2017 - Performance at Regency A
Chair(s): Matthew Flatt

10:30 - 10:55
Talk

Quoted Staged Rewriting: A Practical Approach to Library-Defined OptimizationsBest Paper

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch

DOI Authorizer link Media Attached

10:55 - 11:20
Talk

Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms

Joseph Caldwell, Shigeru Chiba

DOI Authorizer link

11:20 - 11:45
Talk

RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms

Arsène Pérard-Gayot, Martin Weier, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack

DOI Authorizer link

11:45 - 12:00
Talk

Towards Compositional and Generative Tensor OptimizationsShort paper

Adilla Susungi, Norman A. Rink, Jeronimo Castrillon, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, Jochen Fröhlich

DOI Authorizer link

13:30 - 15:00: GPCE 2017 - Analysis & Testing at Regency A
Chair(s): Jaakko Järvi

13:30 - 13:55
Talk

Four Languages and Lots of Macros: Analyzing Autotools Build Systems

Jafar M. Al-Kofahi, Suresh Kothari, Christian Kästner

DOI Authorizer link

13:55 - 14:20
Talk

Avoiding Useless Mutants

Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, Andre Santos, Ana Cavalcanti, Fabiano Ferrari, José Carlos Maldonado

DOI Authorizer link

14:20 - 14:45
Talk

Silverchain: A Fluent API Generator

Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, Shigeru Chiba

DOI Authorizer link

14:45 - 15:00
Talk

Parser Generation by Example for Legacy Pattern LanguagesShort paper

DOI Authorizer link

15:30 - 17:00: GPCE 2017 - DSLs at Regency A
Chair(s): Anthony Sloane

15:30 - 15:55
Talk

A Haskell Compiler for Signal Transforms

Geoffrey Mainland, Jeremy Johnson

DOI Authorizer link

15:55 - 16:20
Talk

Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report

Ricardo Giuliani Martini, Pedro Rangel Henriques

DOI Authorizer link

16:20 - 16:45
Talk

Rewriting a Shallow DSL using a GHC Compiler Extension

Mark Grebe, David Young, Andy Gill

DOI Authorizer link

18:00 - 20:00: GPCE 2017 - Dinner at Rogue Kitchen & Wetbar

18:00 - 20:00
Social Event

Dinner (registration add-on)

Mon 23 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency A																															GPCE 2017 Staging 10:30 - 12:00																																				GPCE 2017 Variability 13:30 - 15:00																								GPCE 2017 Types 15:30 - 17:00
Regency A+B							GPCE 2017 Keynote GPCE/SLE Monday 08:30 - 10:00

Tue 24 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
Regency A																															GPCE 2017 Performance 10:30 - 12:00																																				GPCE 2017 Analysis & Testing 13:30 - 15:00																								GPCE 2017 DSLs 15:30 - 17:00
Regency A+B							GPCE 2017 Keynote GPCE/SLE Tuesday 08:30 - 10:00
Rogue Kitchen & Wetbar																																																																	GPCE 2017 Dinner 18:00 - 20:00

Mon 23 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Regency A																															GPCE 2017 Refining Semantics for Multi-stage Programming 10:30 - 10:55					GPCE 2017 Staging for Generic Programming in Space and Time 10:55 - 11:20					GPCE 2017 Staging with Control: Type-Safe Multi-stage Programming with Control Op ... 11:20 - 11:45					GPCE 2017Short paper Code Staging in GNU Guix 11:45 - 12:00																					GPCE 2017 A Classification of Variation Control Systems 13:30 - 13:55					GPCE 2017 Analyzing the Impact of Natural Language Processing over Feature Locati ... 13:55 - 14:20					GPCE 2017Best Paper How Preprocessor Annotations (Do Not) Affect Maintainability: A Case St ... 14:20 - 14:45														GPCE 2017 Type Qualifiers as Composable Language Extensions 15:30 - 15:55					GPCE 2017 Accurate Reification of Complete Supertype Information for Dynamic Anal ... 15:55 - 16:20					GPCE 2017 Rewriting for Sound and Complete Union, Intersection and Negation Types 16:20 - 16:45
Regency A+B							GPCE 2017 Opening 08:30 - 08:45			GPCE 2017Keynote Keynote: The Landscape of Refactoring Research in the Last Decade 08:45 - 10:00

Tue 24 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Regency A																															GPCE 2017Best Paper Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimi ... 10:30 - 10:55					GPCE 2017 Reducing Calling Convention Overhead in Object-Oriented Programming on ... 10:55 - 11:20					GPCE 2017 RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms 11:20 - 11:45					GPCE 2017Short paper Towards Compositional and Generative Tensor Optimizations 11:45 - 12:00																					GPCE 2017 Four Languages and Lots of Macros: Analyzing Autotools Build Systems 13:30 - 13:55					GPCE 2017 Avoiding Useless Mutants 13:55 - 14:20					GPCE 2017 Silverchain: A Fluent API Generator 14:20 - 14:45					GPCE 2017Short paper Parser Generation by Example for Legacy Pattern Languages 14:45 - 15:00									GPCE 2017 A Haskell Compiler for Signal Transforms 15:30 - 15:55					GPCE 2017 Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL< ... 15:55 - 16:20					GPCE 2017 Rewriting a Shallow DSL using a GHC Compiler Extension 16:20 - 16:45
Regency A+B							GPCE 2017 Awards 08:30 - 08:45			GPCE 2017Keynote Keynote: Engineering Meta-Languages for Specifying Software Languages 08:45 - 10:00
Rogue Kitchen & Wetbar																																																																	GPCE 2017 Dinner (registration add-on) 18:00 - 20:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format