Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
SPLASH 2017
Keynotes
OOPSLA
OOPSLA Artifacts
Doctoral Symposium
PL Mentoring Workshop (PLMW)
Posters
SPLASH-E
SPLASH-I
Student Research Competition
Student Volunteers
Workshops
Social Program
Co-hosted Conferences
GPCE
GPCE
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
PLoP
PLoP
PLoP
SLE
Workshops
AGERE
CHESE
CoCoS
DSLDI
Escaped
FOSD
LIVE
META
NJR
NOOL
OCAP
PLATEAU
PX/17.2
Parsing@SLE
REBLS
REBELS
SAVR
SEPS
VMIL
WODA
Co-hosted Symposia
DLS
Scala
Organization
SPLASH 2017 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Program Committee
External Program Committee
OOPSLA Artifacts
Doctoral Symposium
Invited Talks
Program Committee
PL Mentoring Workshop (PLMW)
PLMW Organizing Committee
PLMW Speakers
Posters
SPLASH-E
Program Committee
Steering Committee
SPLASH-I
Student Research Competition
Workshops
Organizing Committee
Program Committee
Contributors
People Index
Co-hosted Conferences
GPCE
Keynote speaker
Organizing Committee
Program Committee
Steering Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
PLoP
Organizing Committee
Program Committee
SLE
Keynote Speaker
Organizing Committee
Artifact Evaluation Committee
Program Committee
Steering Committee
Workshops
AGERE
Organizing Committee
Program Committee
CHESE
Steering Committee
Program Committee
CoCoS
Organizing Committee
Publicity
Program Committee
DSLDI
Keynote Speaker
Organizing Committee
Program Committee
Escaped
Organizing Committee
Program Committee
FOSD
Keynote Speaker
Organizing Committee
Program Committee
LIVE
Program Committee
META
Invited Talks
Organizing Committee
Program Committee
NJR
Organizing Committee
NOOL
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
PX/17.2
Organizing Committee
Program Committee
Parsing@SLE
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SAVR
Organizing Committee
Program Committee
SEPS
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
WODA
Organizing Committee
Co-hosted Symposia
DLS
Organizing Committee
Program Committee
Steering Committee
Scala
Organizing Committee
Program Committee
Steering Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2017
(
series
) /
Hyatt Regency Vancouver
/
Room information: Regency A
Venue
Hyatt Regency Vancouver
Room name
Regency A
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 1
DSLDI
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 2
DSLDI
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 3
DSLDI
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 4
DSLDI
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
Staging
GPCE
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 Guix
Short paper
GPCE
Ludovic Courtès
Inria, France
DOI
Authorizer link
13:30 - 15:00
Variability
GPCE
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-Proneness
Best 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
Types
GPCE
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
Performance
GPCE
at
Regency A
Chair(s):
Matthew Flatt
University of Utah
10:30
25m
Talk
Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Best 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 Optimizations
Short 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 & Testing
GPCE
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 Languages
Short paper
GPCE
Vadim Zaytsev
Raincode Labs, Belgium
DOI
Authorizer link
15:30 - 17:00
DSLs
GPCE
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
Types
OOPSLA
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 Memory
OOPSLA
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
Synthesis
OOPSLA
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 Design
OOPSLA
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 Parsing
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
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
Testing
OOPSLA
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 Design
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
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 Deadlock
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
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
x
Wed 9 Oct 08:11