Regency A - SPLASH 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 at Regency A Chair(s): Nada Amin University of Cambridge

10:30 25m Talk		Refining Semantics for Multi-stage Programming GPCE 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 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 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 Ludovic Courtès Inria, France DOI Authorizer link

13:30 - 15:00	VariabilityGPCE at Regency A Chair(s): Ina Schaefer Technische Universität Braunschweig

13:30 25m Talk		A Classification of Variation Control Systems GPCE 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 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 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 at Regency A Chair(s): Shigeru Chiba University of Tokyo, Japan

15:30 25m Talk		Type Qualifiers as Composable Language Extensions GPCE 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 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 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 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 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 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 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 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 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 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 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 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 Vadim Zaytsev Raincode Labs, Belgium DOI Authorizer link

15:30 - 17:00	DSLsGPCE at Regency A Chair(s): Anthony Sloane Macquarie University

15:30 25m Talk		A Haskell Compiler for Signal Transforms GPCE 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 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 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	TypesOOPSLA at Regency A Chair(s): Kim Bruce Pomona College

10:30 22m Talk		SAVI Objects: Sharing and Virtuality Incorporated 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 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 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 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 MemoryOOPSLA at Regency A Chair(s): Jennifer B. Sartor Vrije Universiteit Brussel

13:30 22m Talk		Sound Gradual Typing: Only Mostly Dead 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 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 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 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	SynthesisOOPSLA at Regency A Chair(s): Jonathan Edwards

15:30 22m Talk		Model-Assisted Machine-Code Synthesis 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 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 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 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 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 DesignOOPSLA at Regency A Chair(s): Mario Wolczko Oracle Labs

10:30 22m Talk		Familia: Unifying Interfaces, Type Classes, and Family Polymorphism OOPSLA Yizhou Zhang Cornell University, Andrew Myers DOI
10:52 22m Talk		Static Stages for Heterogeneous Programming 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 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 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 ParsingOOPSLA 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 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 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 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 OOPSLA Michael D. Adams University of Utah, USA, Matthew Might University of Utah, USA DOI

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

15:30 22m Talk		A Solver-Aided Language for Test Input Generation 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 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 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 OOPSLA Xia Li University of Texas at Dallas, USA, Lingming Zhang DOI
16:59 22m Talk		Type Test Scripts for TypeScript Testing 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 DesignOOPSLA at Regency A Chair(s): Gregor Richards University of Waterloo

10:30 22m Talk		Project Snowflake: Non-blocking Safe Manual Memory Management for .NET 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 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 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 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 DeadlockOOPSLA 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 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 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? OOPSLA Baijun Wu University of Louisiana at Lafayette, USA, Sheng Chen ULL Lafayette DOI
14:37 22m Talk		Learning User Friendly Type-Error Messages 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 Staging																																				GPCE Variability																								GPCE 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 Performance																																				GPCE Analysis & Testing																								GPCE 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							OOPSLA Types																																				OOPSLA Gradual Types and Memory																								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							OOPSLA Types and Language Design																																				OOPSLA Mining Software Repositories and Parsing																								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							OOPSLA Language Design																																				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

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

GPCE

GPCE

Tue 24 OctDisplayed time zone: Tijuana, Baja California change

GPCE

GPCE

GPCE

Wed 25 OctDisplayed time zone: Tijuana, Baja California change

OOPSLA

OOPSLA

OOPSLA

Thu 26 OctDisplayed time zone: Tijuana, Baja California change

OOPSLA

OOPSLA

OOPSLA

Fri 27 OctDisplayed time zone: Tijuana, Baja California change

OOPSLA

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