Program - GPCE 2017

Filter

Badges

Your Program

Mon 23 Oct

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

08:30 - 08:45
Day opening

Opening

Matthew FlattUniversity of Utah, Sebastian ErdwegTU Delft

08:45 - 10:00
Talk

Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote

Danny DigSchool of EECS at Oregon State University

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

10:30 - 10:55
Talk

Refining Semantics for Multi-stage Programming

Rui GeUniversity of British Columbia, Canada, Ronald GarciaUniversity of British Columbia, Canada

DOI Authorizer link

10:55 - 11:20
Talk

Staging for Generic Programming in Space and Time

Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, Markus PüschelETH Zürich

DOI Authorizer link

11:20 - 11:45
Talk

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

Junpei OishiUniversity of Tsukuba, Japan, Yukiyoshi KameyamaUniversity of Tsukuba, Japan

DOI Authorizer link

11:45 - 12:00
Talk

Code Staging in GNU GuixShort paper

Ludovic CourtèsInria, France

DOI Authorizer link

13:30 - 15:00: GPCE 2017 - Variability at Regency A
Chair(s): Ina SchaeferTechnische Universität Braunschweig

13:30 - 13:55
Talk

A Classification of Variation Control Systems

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 - 14:20
Talk

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

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 - 14:45
Talk

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

Wolfram FenskeUniversity of Magdeburg, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany

DOI Authorizer link

15:30 - 17:00: GPCE 2017 - Types at Regency A
Chair(s): Shigeru ChibaUniversity of Tokyo, Japan

15:30 - 15:55
Talk

Type Qualifiers as Composable Language Extensions

Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA

DOI Authorizer link

15:55 - 16:20
Talk

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

Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland

DOI Authorizer link

16:20 - 16:45
Talk

Rewriting for Sound and Complete Union, Intersection and Negation Types

David PearceVictoria University of Wellington, New Zealand

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

Awards

Matthew FlattUniversity of Utah, Sebastian ErdwegTU Delft

08:45 - 10:00
Talk

Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote

Peter D. MossesSwansea University

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

10:30 - 10:55
Talk

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

Lionel ParreauxEPFL, Amir ShaikhhaEPFL, Christoph E. KochEPFL

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 CaldwellUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan

DOI Authorizer link

11:20 - 11:45
Talk

RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms

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 - 12:00
Talk

Towards Compositional and Generative Tensor OptimizationsShort paper

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: GPCE 2017 - Analysis & Testing at Regency A
Chair(s): Jaakko JärviUniversity of Bergen

13:30 - 13:55
Talk

Four Languages and Lots of Macros: Analyzing Autotools Build Systems

Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KästnerCarnegie Mellon University, USA

DOI Authorizer link

13:55 - 14:20
Talk

Avoiding Useless Mutants

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 - 14:45
Talk

Silverchain: A Fluent API Generator

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 - 15:00
Talk

Parser Generation by Example for Legacy Pattern LanguagesShort paper

Vadim ZaytsevRaincode Labs, Belgium

DOI Authorizer link

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

15:30 - 15:55
Talk

A Haskell Compiler for Signal Transforms

Geoffrey MainlandDrexel University, USA, Jeremy JohnsonDrexel University, USA

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 MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal

DOI Authorizer link

16:20 - 16:45
Talk

Rewriting a Shallow DSL using a GHC Compiler Extension

Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA

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 Staging 10:30 - 12:00						GPCE Variability 13:30 - 15:00				GPCE Types 15:30 - 17:00
Regency A+B		GPCE 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 Performance 10:30 - 12:00							GPCE Analysis & Testing 13:30 - 15:00				GPCE DSLs 15:30 - 17:00
Regency A+B		GPCE Keynote GPCE/SLE Tuesday 08:30 - 10:00
Rogue Kitchen & Wetbar												GPCE 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 Refining Semantics for Multi-stage Programming 10:30 - 10:55		GPCE Staging for Generic Programming in Space and Time 10:55 - 11:20			GPCE Staging with Control: Type-Safe Multi-stage Programming with Control Op ... 11:20 - 11:45		GPCEShort paper Code Staging in GNU Guix 11:45 - 12:00							GPCE A Classification of Variation Control Systems 13:30 - 13:55		GPCE Analyzing the Impact of Natural Language Processing over Feature Locati ... 13:55 - 14:20			GPCEBest Paper How Preprocessor Annotations (Do Not) Affect Maintainability: A Case St ... 14:20 - 14:45					GPCE Type Qualifiers as Composable Language Extensions 15:30 - 15:55		GPCE Accurate Reification of Complete Supertype Information for Dynamic Anal ... 15:55 - 16:20			GPCE Rewriting for Sound and Complete Union, Intersection and Negation Types 16:20 - 16:45
Regency A+B			GPCE Opening 08:30 - 08:45	GPCEKeynote 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											GPCEBest Paper Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimi ... 10:30 - 10:55		GPCE Reducing Calling Convention Overhead in Object-Oriented Programming on ... 10:55 - 11:20			GPCE RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms 11:20 - 11:45		GPCEShort paper Towards Compositional and Generative Tensor Optimizations 11:45 - 12:00								GPCE Four Languages and Lots of Macros: Analyzing Autotools Build Systems 13:30 - 13:55		GPCE Avoiding Useless Mutants 13:55 - 14:20			GPCE Silverchain: A Fluent API Generator 14:20 - 14:45		GPCEShort paper Parser Generation by Example for Legacy Pattern Languages 14:45 - 15:00			GPCE A Haskell Compiler for Signal Transforms 15:30 - 15:55		GPCE Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL< ... 15:55 - 16:20			GPCE Rewriting a Shallow DSL using a GHC Compiler Extension 16:20 - 16:45
Regency A+B			GPCE Awards 08:30 - 08:45	GPCEKeynote Keynote: Engineering Meta-Languages for Specifying Software Languages 08:45 - 10:00
Rogue Kitchen & Wetbar																									GPCE 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

GPCE 2017 Program

Mon 23 Oct

Tue 24 Oct

Mon 23 Oct 2017

GPCE

GPCE

GPCE

GPCE

Tue 24 Oct 2017

GPCE

GPCE

GPCE

GPCE

GPCE

Mon 23 Oct 2017

Tue 24 Oct 2017

Tracks