Regency A - GPCE 2017

VenueHyatt Regency Vancouver

Room nameRegency A

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

08:30 - 10:00	Session 1DSLDI at Regency A Chair(s): Lindsey Kuper Intel Labs, Eric Walkingshaw Oregon State University

09:00 10m Day opening		Welcome DSLDI P: Lindsey Kuper Intel Labs, P: Eric Walkingshaw Oregon State University
09:10 50m Talk		Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) DSLDI K: Ronald Garcia University of British Columbia, Canada File Attached

10:30 - 12:00	Session 2DSLDI at Regency A Chair(s): Nada Amin University of Cambridge

10:30 22m Talk		Substance and Style: domain-specific languages for mathematical diagrams DSLDI Wode Ni Columbia University, Katherine Ye , Joshua Sunshine Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Keenan Crane Carnegie Mellon University File Attached
10:52 22m Talk		Debugging Domain-Specific Languages Defined with Macros DSLDI Xiangqi Li University of Utah, Matthew Flatt University of Utah File Attached
11:15 22m Talk		DSL Design for Reinforcement Learning Agents DSLDI Christopher Simpkins Georgia Institute of Technology, Spencer Rugaber Georgia Institute of Technology, Charles Isbell, Jr. Georgia Institute of Technology File Attached
11:37 22m Talk		Tangent: automatic differentiation using source code transformation in Python DSLDI Bart University of Montreal, Alexander B. Wiltschko Google Brain File Attached

13:30 - 15:00	Session 3DSLDI at Regency A Chair(s): Eric Walkingshaw Oregon State University

13:30 22m Talk		MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij Mukherjee Chennai Mathematical Institute File Attached
13:52 22m Talk		Bacatá: a generic notebook generator for DSLs DSLDI Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen File Attached
14:15 22m Talk		Thapl—A Theatrical DSL DSLDI Yossi Gil Technion—Israel Institute of Technology, David H. Lorenz Technion—Israel Institute of Technology, Matan I. Peled Technion—Israel Institute of Technology File Attached
14:37 22m Talk		Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel Brachthäuser University of Tübingen, Germany Link to publication Pre-print Media Attached File Attached

15:30 - 17:00	Session 4DSLDI at Regency A Chair(s): Lindsey Kuper Intel Labs

15:30 22m Talk		Property Law as a Programming Language DSLDI Shrutarshi Basu Cornell University, James Grimmelmann Cornell Law School, Nate Foster Cornell University File Attached
15:52 22m Talk		Embedding By Normalisation DSLDI Shayan Najd University of Edinburgh File Attached
16:15 22m Talk		Reliable composition of domain-specific language features DSLDI Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA File Attached
16:37 22m Day closing		Discussion and closing remarks DSLDI

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

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

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 Lionel Parreaux EPFL, Amir Shaikhha EPFL, Christoph E. Koch EPFL 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

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

10:30 - 12:00	TypesSPLASH OOPSLA at Regency A Chair(s): Kim Bruce Pomona College

10:30 22m Talk		SAVI Objects: Sharing and Virtuality Incorporated SPLASH OOPSLA Izzat El Hajj University of Illinois at Urbana-Champaign, USA, Thomas B. Jablin University of Illinois at Urbana-Champaign, USA / Multicoreware, USA, Dejan Milojicic Hewlett Packard Labs, USA, Wen-mei Hwu University of Illinois at Urbana-Champaign, USA DOI
10:52 22m Talk		A Simple Soundness Proof for Dependent Object Types SPLASH OOPSLA Marianna Rapoport University of Waterloo, Canada, Ifaz Kabir University of Waterloo, Canada, Paul He University of Waterloo, Canada, Ondřej Lhoták University of Waterloo, Canada DOI
11:15 22m Talk		Unifying Typing and Subtyping SPLASH OOPSLA Yanpeng Yang University of Hong Kong, China, Bruno C. d. S. Oliveira University of Hong Kong, China DOI
11:37 22m Talk		Fast and Precise Type Checking for JavaScript SPLASH OOPSLA Avik Chaudhuri Facebook, USA, Panagiotis Vekris University of California at San Diego, USA, Sam Goldman Facebook, USA, Marshall Roch Facebook, USA, Gabriel Levi Facebook, USA DOI

13:30 - 15:00	Gradual Types and MemorySPLASH OOPSLA at Regency A Chair(s): Jennifer B. Sartor Vrije Universiteit Brussel

13:30 22m Talk		Sound Gradual Typing: Only Mostly Dead SPLASH OOPSLA Spenser Andrew Bauman Indiana University, USA, Sam Tobin-Hochstadt Indiana University, Jeremy G. Siek Indiana University, USA, CF Bolz-Tereick DOI
13:52 22m Talk		Sound Gradual Typing Is Nominally Alive and Well SPLASH OOPSLA Fabian Muehlboeck Cornell University, Ross Tate Cornell University DOI
14:15 22m Talk		The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing SPLASH OOPSLA Gregor Richards University of Waterloo, Ellen Arteca University of Waterloo, Canada, Alexi Turcotte University of Waterloo DOI
14:37 22m Talk		Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models SPLASH OOPSLA Tomoharu Ugawa Kochi University of Technology, Japan, Tatsuya Abe Chiba Institute of Technology, Japan, Toshiyuki Maeda Chiba Institute of Technology, Japan DOI

15:30 - 17:22	SynthesisSPLASH OOPSLA at Regency A Chair(s): Jonathan Edwards

15:30 22m Talk		Model-Assisted Machine-Code Synthesis SPLASH OOPSLA Venkatesh Srinivasan University of Wisconsin - Madison, Ara Vartanian University of Wisconsin-Madison, USA, Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. DOI
15:52 22m Talk		Synthesis of Data Completion Scripts using Finite Tree Automata SPLASH OOPSLA Xinyu Wang UT Austin, Işıl Dillig UT Austin, Rishabh Singh Microsoft Research DOI
16:14 22m Talk		SQLizer: Query Synthesis from Natural Language SPLASH OOPSLA Navid Yaghmazadeh University of Texas, Austin, Yuepeng Wang University of Texas at Austin, Işıl Dillig UT Austin, Thomas Dillig DOI
16:37 22m Talk		Synthesizing Configuration File Specifications with Association Rule Learning SPLASH OOPSLA Mark Santolucito Yale University, Ennan Zhai Yale University, USA, Rahul Dhodapkar MongoDB, USA, Aaron Shim Microsoft, USA, Ruzica Piskac Yale University DOI
16:59 22m Talk		Natural Synthesis of Provably-Correct Data-Structure Manipulations SPLASH OOPSLA Xiaokang Qiu Purdue University, Armando Solar-Lezama MIT CSAIL DOI

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change

10:30 - 12:00	Types and Language DesignSPLASH OOPSLA at Regency A Chair(s): Mario Wolczko Oracle Labs

10:30 22m Talk		Familia: Unifying Interfaces, Type Classes, and Family Polymorphism SPLASH OOPSLA Yizhou Zhang Cornell University, Andrew Myers DOI
10:52 22m Talk		Static Stages for Heterogeneous Programming SPLASH OOPSLA Adrian Sampson Cornell University, Kathryn S McKinley Google, Todd Mytkowicz Microsoft Research DOI Pre-print
11:15 22m Talk		Orca: GC and Type System Co-Design for Actor Languages SPLASH OOPSLA Sylvan Clebsch Imperial College London, Juliana Franco Imperial College London, Sophia Drossopoulou , Albert Mingkun Yang , Tobias Wrigstad Uppsala University, Jan Vitek Northeastern University, USA DOI
11:37 22m Talk		Monadic Composition for Deterministic, Parallel Batch Processing SPLASH OOPSLA Ryan Scott Indiana University, Omar Navarro-Leija University of Pennsylvania, USA, Ryan R. Newton Indiana University, Joseph Devietti University of Pennsylvania DOI

13:30 - 15:00	Mining Software Repositories and ParsingSPLASH OOPSLA at Regency A Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel

13:30 22m Talk		Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining SPLASH OOPSLA Samantha Syeda Khairunnesa Iowa State University, Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University DOI
13:52 22m Talk		DéjàVu: A Map of Code Duplicates on GitHub SPLASH OOPSLA Crista Lopes University of California, Irvine, Petr Maj ReactorLabs, Pedro Martins University of California at Irvine, USA, Vaibhav Saini University of California at Irvine, USA, Di Yang University of California at Irvine, USA, Jakub Zitny Czech Technical University, Czechia, Hitesh Sajnani Microsoft , Jan Vitek Northeastern University, USA DOI
14:15 22m Talk		Understanding the Use of Lambda Expressions in Java SPLASH OOPSLA Davood Mazinanian Concordia University, Canada, Ameya Ketkar Oregon State University, USA, Nikolaos Tsantalis Concordia University, Canada, Danny Dig School of EECS at Oregon State University DOI
14:37 22m Talk		Restricting Grammars with Tree Automata SPLASH OOPSLA Michael D. Adams University of Utah, USA, Matthew Might University of Utah, USA DOI

15:30 - 17:22	TestingSPLASH OOPSLA at Regency A Chair(s): Christian Hammer University of Potsdam

15:30 22m Talk		A Solver-Aided Language for Test Input Generation SPLASH OOPSLA Talia Ringer University of Washington, Dan Grossman University of Washington, Daniel Schwartz-Narbonne Amazon, n.n., Serdar Tasiran Amazon, n.n. DOI
15:52 22m Talk		Automated Testing of Graphics Shader Compilers SPLASH OOPSLA Alastair F. Donaldson Imperial College London, Hugues Evrard Imperial College London, UK, Andrei Lascu Imperial College London, Paul Thomson Imperial College London DOI
16:14 22m Talk		Bounded Exhaustive Test-Input Generation on GPUs SPLASH OOPSLA Ahmet Celik University of Texas at Austin, USA, Sreepathi Pai University of Rochester, Sarfraz Khurshid University of Texas at Austin, Milos Gligoric University of Texas at Austin DOI
16:37 22m Talk		Transforming Programs and Tests in Tandem for Fault Localization SPLASH OOPSLA Xia Li University of Texas at Dallas, USA, Lingming Zhang DOI
16:59 22m Talk		Type Test Scripts for TypeScript Testing SPLASH OOPSLA Erik Krogh Kristensen Aarhus University, Denmark, Anders Møller Aarhus University DOI

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change

10:30 - 12:00	Language DesignSPLASH OOPSLA at Regency A Chair(s): Gregor Richards University of Waterloo

10:30 22m Talk		Project Snowflake: Non-blocking Safe Manual Memory Management for .NET SPLASH OOPSLA Matthew J. Parkinson Microsoft Research, UK, Dimitrios Vytiniotis Microsoft Research, Cambridge, Kapil Vaswani Microsoft Research, Manuel Costa Microsoft Research, Pantazis Deligiannis Microsoft Research, Dylan McDermott University of Cambridge, Jonathan Balkind Princeton, USA, Aaron Blankstein Princeton, USA DOI
10:52 22m Talk		Alpaca: Intermittent Execution without Checkpoints SPLASH OOPSLA Kiwan Maeng Carnegie Mellon University, USA, Alexei Colin Carnegie Mellon University, Brandon Lucia Carnegie Mellon University DOI
11:15 22m Talk		An Auditing Language for Preventing Correlated Failures in the Cloud SPLASH OOPSLA Ennan Zhai Yale University, USA, Ruzica Piskac Yale University, Ronghui Gu Columbia University, USA, Xun Lao Yale University, USA, Xi Wang Yale University, USA DOI
11:37 22m Talk		Reliable and Automatic Composition of Language Extensions to C SPLASH OOPSLA Ted Kaminski University of Minnesota, Lucas Kramer University of Minnesota, Travis Carlson University of Minnesota, USA, Eric Van Wyk University of Minnesota, USA DOI Pre-print

13:30 - 15:00	Usability and DeadlockSPLASH OOPSLA at Regency A Chair(s): Jonathan Aldrich Carnegie Mellon University

13:30 22m Talk		Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers SPLASH OOPSLA Tiago Cogumbreiro Rice University, Rishi Surendran Rice University, USA, Francisco Martins LaSIGE, University of Lisbon, Vivek Sarkar Rice University, USA, Vasco T. Vasconcelos University of Lisbon, Portugal, Max Grossman Rice University, USA DOI
13:52 22m Talk		Detecting Argument Selection Defects SPLASH OOPSLA Andrew Rice University of Cambridge, UK, Eddie Aftandilian Google, Ciera Jaspan Google, Emily Johnston Google, Michael Pradel TU Darmstadt, Yulissa Arroyo-Paredes Columbia University, USA DOI
14:15 22m Talk		How Type Errors Were Fixed and What Students Did? SPLASH OOPSLA Baijun Wu University of Louisiana at Lafayette, USA, Sheng Chen ULL Lafayette DOI
14:37 22m Talk		Learning User Friendly Type-Error Messages SPLASH OOPSLA Baijun Wu University of Louisiana at Lafayette, USA, John Peter Campora ULL Lafayette, Sheng Chen ULL Lafayette DOI

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change


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
Regency A							DSLDI Session 1																								DSLDI Session 2																																				DSLDI Session 3																								DSLDI Session 4

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Regency A							GPCE 2017 Staging																																				GPCE 2017 Variability																								GPCE 2017 Types

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Regency A							GPCE 2017 Performance																																				GPCE 2017 Analysis & Testing																								GPCE 2017 DSLs

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change


Room	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							SPLASH OOPSLA Types																																				SPLASH OOPSLA Gradual Types and Memory																								SPLASH OOPSLA Synthesis

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change


Room	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							SPLASH OOPSLA Types and Language Design																																				SPLASH OOPSLA Mining Software Repositories and Parsing																								SPLASH OOPSLA Testing

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Regency A							SPLASH OOPSLA Language Design																																				SPLASH OOPSLA Usability and Deadlock

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change


Room	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	DSLDI Welcome 09:00 - 09:10		DSLDI Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) 09:10 - 10:00																DSLDI Substance and Style: domain-specific languages for mathematical diagrams 10:30 - 10:52				DSLDI Debugging Domain-Specific Languages Defined with Macros 10:52 - 11:15					DSLDI DSL Design for Reinforcement Learning Agents 11:15 - 11:37				DSLDI Tangent: automatic differentiation using source code transformation in ... 11:37 - 12:00																							DSLDI MkMod: A Domain Specific Language for developing Linux Kernel Modules 13:30 - 13:52				DSLDI Bacatá: a generic notebook generator for DSLs 13:52 - 14:15					DSLDI Thapl—A Theatrical DSL 14:15 - 14:37				DSLDI Towards Naturalistic EDSLs using Algebraic Effects 14:37 - 15:00											DSLDI Property Law as a Programming Language 15:30 - 15:52				DSLDI Embedding By Normalisation 15:52 - 16:15					DSLDI Reliable composition of domain-specific language features 16:15 - 16:37				DSLDI Discussion and closing remarks 16:37 - 17:00

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change


Room	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					GPCE Short 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					GPCE Best 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

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change


Room	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 Best 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					GPCE Short 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					GPCE Short 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

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change


Room	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
Regency A							SPLASH OOPSLA SAVI Objects: Sharing and Virtuality Incorporated 10:30 - 10:52				SPLASH OOPSLA A Simple Soundness Proof for Dependent Object Types 10:52 - 11:15					SPLASH OOPSLA Unifying Typing and Subtyping 11:15 - 11:37				SPLASH OOPSLA Fast and Precise Type Checking for JavaScript 11:37 - 12:00																							SPLASH OOPSLA Sound Gradual Typing: Only Mostly Dead 13:30 - 13:52				SPLASH OOPSLA Sound Gradual Typing Is Nominally Alive and Well 13:52 - 14:15					SPLASH OOPSLA The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize ... 14:15 - 14:37				SPLASH OOPSLA Model Checking Copy Phases of Concurrent Copying Garbage Collection wit ... 14:37 - 15:00											SPLASH OOPSLA Model-Assisted Machine-Code Synthesis 15:30 - 15:52				SPLASH OOPSLA Synthesis of Data Completion Scripts using Finite Tree Automata 15:52 - 16:14					SPLASH OOPSLA SQLizer: Query Synthesis from Natural Language 16:14 - 16:37				SPLASH OOPSLA Synthesizing Configuration File Specifications with Association Rule Le ... 16:37 - 16:59					SPLASH OOPSLA Natural Synthesis of Provably-Correct Data-Structure Manipulations 16:59 - 17:22

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change


Room	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
Regency A							SPLASH OOPSLA Familia: Unifying Interfaces, Type Classes, and Family Polymorphism 10:30 - 10:52				SPLASH OOPSLA Static Stages for Heterogeneous Programming 10:52 - 11:15					SPLASH OOPSLA Orca: GC and Type System Co-Design for Actor Languages 11:15 - 11:37				SPLASH OOPSLA Monadic Composition for Deterministic, Parallel Batch Processing 11:37 - 12:00																							SPLASH OOPSLA Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Ba ... 13:30 - 13:52				SPLASH OOPSLA DéjàVu: A Map of Code Duplicates on GitHub 13:52 - 14:15					SPLASH OOPSLA Understanding the Use of Lambda Expressions in Java 14:15 - 14:37				SPLASH OOPSLA Restricting Grammars with Tree Automata 14:37 - 15:00											SPLASH OOPSLA A Solver-Aided Language for Test Input Generation 15:30 - 15:52				SPLASH OOPSLA Automated Testing of Graphics Shader Compilers 15:52 - 16:14					SPLASH OOPSLA Bounded Exhaustive Test-Input Generation on GPUs 16:14 - 16:37				SPLASH OOPSLA Transforming Programs and Tests in Tandem for Fault Localization 16:37 - 16:59					SPLASH OOPSLA Type Test Scripts for TypeScript Testing 16:59 - 17:22

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change


Room	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
Regency A							SPLASH OOPSLA Project Snowflake: Non-blocking Safe Manual Memory Management for .NET 10:30 - 10:52				SPLASH OOPSLA Alpaca: Intermittent Execution without Checkpoints 10:52 - 11:15					SPLASH OOPSLA An Auditing Language for Preventing Correlated Failures in the Cloud 11:15 - 11:37				SPLASH OOPSLA Reliable and Automatic Composition of Language Extensions to C 11:37 - 12:00																							SPLASH OOPSLA Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Task ... 13:30 - 13:52				SPLASH OOPSLA Detecting Argument Selection Defects 13:52 - 14:15					SPLASH OOPSLA How Type Errors Were Fixed and What Students Did? 14:15 - 14:37				SPLASH OOPSLA Learning User Friendly Type-Error Messages 14:37 - 15:00

Room information: Regency A

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

DSLDI

DSLDI

DSLDI

DSLDI

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

GPCE 2017

GPCE 2017

GPCE 2017

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

GPCE 2017

GPCE 2017

GPCE 2017

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change

SPLASH OOPSLA

SPLASH OOPSLA

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change

Tracks

Room information: Regency A

Program Display Configuration

Sun 22 OctDisplayed time zone: Tijuana, Baja California change

Mon 23 OctDisplayed time zone: Tijuana, Baja California change

Tue 24 OctDisplayed time zone: Tijuana, Baja California change

Wed 25 OctDisplayed time zone: Tijuana, Baja California change

Thu 26 OctDisplayed time zone: Tijuana, Baja California change

Fri 27 OctDisplayed time zone: Tijuana, Baja California change

Sun 22 OctDisplayed time zone: Tijuana, Baja California change

DSLDI

DSLDI

DSLDI

DSLDI

Mon 23 OctDisplayed time zone: Tijuana, Baja California change

GPCE 2017

GPCE 2017

GPCE 2017

Tue 24 OctDisplayed time zone: Tijuana, Baja California change

GPCE 2017

GPCE 2017

GPCE 2017

Wed 25 OctDisplayed time zone: Tijuana, Baja California change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 26 OctDisplayed time zone: Tijuana, Baja California change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 27 OctDisplayed time zone: Tijuana, Baja California change

SPLASH OOPSLA

SPLASH OOPSLA

Sun 22 OctDisplayed time zone: Tijuana, Baja California change

Mon 23 OctDisplayed time zone: Tijuana, Baja California change

Tue 24 OctDisplayed time zone: Tijuana, Baja California change

Wed 25 OctDisplayed time zone: Tijuana, Baja California change

Thu 26 OctDisplayed time zone: Tijuana, Baja California change

Fri 27 OctDisplayed time zone: Tijuana, Baja California change

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change