Onward! 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
SPLASH 2017
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
Onward! Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
Onward! 2017
Onward! Essays
Onward! Papers
Organization
Onward! 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Onward! Essays
Onward! Papers
Contributors
People Index
Search
Series
Series
SPLASH - Onward! 2019 and later
Onward! 2018
Onward! 2017
Onward! 2016
Onward! 2015
Onward! 2014
Onward! 2013
Sign in
Sign up
SPLASH 2017
(
series
) /
Onward! 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
SPLASH 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 Memory
SPLASH 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
Synthesis
SPLASH 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 Design
SPLASH 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 Parsing
SPLASH 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
Testing
SPLASH 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 Design
SPLASH 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 Deadlock
SPLASH 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
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
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
x
Fri 6 Dec 15:14