Write a Blog >>
SAVR 2017
Tue 24 Oct 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency A
Floor0
Room InformationNo extra information available
Program

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
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 Bergen
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
TypesSPLASH OOPSLA at Regency A
Chair(s): Kim Bruce Pomona College
10:30
22m
Talk
SAVI Objects: Sharing and Virtuality Incorporated
SPLASH OOPSLA
Izzat El Hajj University of Illinois at Urbana-Champaign, USA, Thomas B. Jablin University of Illinois at Urbana-Champaign, USA / Multicoreware, USA, Dejan Milojicic Hewlett Packard Labs, USA, Wen-mei Hwu University of Illinois at Urbana-Champaign, USA
DOI
10:52
22m
Talk
A Simple Soundness Proof for Dependent Object Types
SPLASH OOPSLA
Marianna Rapoport University of Waterloo, Canada, Ifaz Kabir University of Waterloo, Canada, Paul He University of Waterloo, Canada, Ondřej Lhoták University of Waterloo, Canada
DOI
11:15
22m
Talk
Unifying Typing and Subtyping
SPLASH OOPSLA
Yanpeng Yang University of Hong Kong, China, Bruno C. d. S. Oliveira University of Hong Kong, China
DOI
11:37
22m
Talk
Fast and Precise Type Checking for JavaScript
SPLASH OOPSLA
Avik Chaudhuri Facebook, USA, Panagiotis Vekris University of California at San Diego, USA, Sam Goldman Facebook, USA, Marshall Roch Facebook, USA, Gabriel Levi Facebook, USA
DOI
13:30 - 15:00
Gradual Types and MemorySPLASH OOPSLA at Regency A
Chair(s): Jennifer B. Sartor Vrije Universiteit Brussel
13:30
22m
Talk
Sound Gradual Typing: Only Mostly Dead
SPLASH OOPSLA
Spenser Andrew Bauman Indiana University, USA, Sam Tobin-Hochstadt Indiana University, Jeremy G. Siek Indiana University, USA, Carl Friedrich 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
15:30
22m
Talk
Model-Assisted Machine-Code Synthesis
SPLASH OOPSLA
Venkatesh Srinivasan University of Wisconsin - Madison, Ara Vartanian University of Wisconsin-Madison, USA, Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.
DOI
15:52
22m
Talk
Synthesis of Data Completion Scripts using Finite Tree Automata
SPLASH OOPSLA
Xinyu Wang UT Austin, Işıl Dillig UT Austin, Rishabh Singh Microsoft Research
DOI
16:14
22m
Talk
SQLizer: Query Synthesis from Natural Language
SPLASH OOPSLA
Navid Yaghmazadeh University of Texas, Austin, Yuepeng Wang University of Texas at Austin, Işıl Dillig UT Austin, Thomas Dillig
DOI
16:37
22m
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
SPLASH OOPSLA
Mark Santolucito Yale University, Ennan Zhai Yale University, USA, Rahul Dhodapkar MongoDB, USA, Aaron Shim Microsoft, USA, Ruzica Piskac Yale University
DOI
16:59
22m
Talk
Natural Synthesis of Provably-Correct Data-Structure Manipulations
SPLASH OOPSLA
Xiaokang Qiu Purdue University, Armando Solar-Lezama MIT CSAIL
DOI

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Types and Language DesignSPLASH OOPSLA at Regency A
Chair(s): Mario Wolczko Oracle Labs
10:30
22m
Talk
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
SPLASH OOPSLA
Yizhou Zhang Cornell University, Andrew Myers
DOI
10:52
22m
Talk
Static Stages for Heterogeneous Programming
SPLASH OOPSLA
Adrian Sampson Cornell University, Kathryn S McKinley Google, Todd Mytkowicz Microsoft Research
DOI Pre-print
11:15
22m
Talk
Orca: GC and Type System Co-Design for Actor Languages
SPLASH OOPSLA
Sylvan Clebsch Imperial College London, Juliana Franco Imperial College London, Sophia Drossopoulou , Albert Mingkun Yang , Tobias Wrigstad Uppsala University, Jan Vitek Northeastern University, USA
DOI
11:37
22m
Talk
Monadic Composition for Deterministic, Parallel Batch Processing
SPLASH OOPSLA
Ryan Scott Indiana University, Omar Navarro-Leija University of Pennsylvania, USA, Ryan R. Newton Indiana University, Joseph Devietti University of Pennsylvania
DOI
13:30 - 15:00
Mining Software Repositories and ParsingSPLASH OOPSLA at Regency A
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
13:30
22m
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
SPLASH OOPSLA
Samantha Syeda Khairunnesa Iowa State University, Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University
DOI
13:52
22m
Talk
DéjàVu: A Map of Code Duplicates on GitHub
SPLASH OOPSLA
Crista Lopes University of California, Irvine, Petr Maj ReactorLabs, Pedro Martins University of California at Irvine, USA, Vaibhav Saini University of California at Irvine, USA, Di Yang University of California at Irvine, USA, Jakub Zitny Czech Technical University, Czechia, Hitesh Sajnani Microsoft , Jan Vitek Northeastern University, USA
DOI
14:15
22m
Talk
Understanding the Use of Lambda Expressions in Java
SPLASH OOPSLA
Davood Mazinanian Concordia University, Canada, Ameya Ketkar Oregon State University, USA, Nikolaos Tsantalis Concordia University, Canada, Danny Dig School of EECS at Oregon State University
DOI
14:37
22m
Talk
Restricting Grammars with Tree Automata
SPLASH OOPSLA
Michael D. Adams University of Utah, USA, Matthew Might University of Utah, USA
DOI
15:30 - 17:22
TestingSPLASH OOPSLA at Regency A
Chair(s): Christian Hammer University of Potsdam
15:30
22m
Talk
A Solver-Aided Language for Test Input Generation
SPLASH OOPSLA
Talia Ringer University of Washington, Dan Grossman University of Washington, Daniel Schwartz-Narbonne Amazon, n.n., Serdar Tasiran Amazon, n.n.
DOI
15:52
22m
Talk
Automated Testing of Graphics Shader Compilers
SPLASH OOPSLA
Alastair F. Donaldson Imperial College London, Hugues Evrard Imperial College London, UK, Andrei Lascu Imperial College London, Paul Thomson Imperial College London
DOI
16:14
22m
Talk
Bounded Exhaustive Test-Input Generation on GPUs
SPLASH OOPSLA
Ahmet Celik University of Texas at Austin, USA, Sreepathi Pai University of Rochester, Sarfraz Khurshid University of Texas at Austin, Milos Gligoric University of Texas at Austin
DOI
16:37
22m
Talk
Transforming Programs and Tests in Tandem for Fault Localization
SPLASH OOPSLA
Xia Li University of Texas at Dallas, USA, Lingming Zhang
DOI
16:59
22m
Talk
Type Test Scripts for TypeScript Testing
SPLASH OOPSLA
Erik Krogh Kristensen Aarhus University, Denmark, Anders Møller Aarhus University
DOI

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Language DesignSPLASH OOPSLA at Regency A
Chair(s): Gregor Richards University of Waterloo
10:30
22m
Talk
Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
SPLASH OOPSLA
Matthew J. Parkinson Microsoft Research, UK, Dimitrios Vytiniotis Microsoft Research, Cambridge, Kapil Vaswani Microsoft Research, Manuel Costa Microsoft Research, Pantazis Deligiannis Microsoft Research, Dylan McDermott University of Cambridge, Jonathan Balkind Princeton, USA, Aaron Blankstein Princeton, USA
DOI
10:52
22m
Talk
Alpaca: Intermittent Execution without Checkpoints
SPLASH OOPSLA
Kiwan Maeng Carnegie Mellon University, USA, Alexei Colin Carnegie Mellon University, Brandon Lucia Carnegie Mellon University
DOI
11:15
22m
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
SPLASH OOPSLA
Ennan Zhai Yale University, USA, Ruzica Piskac Yale University, Ronghui Gu Columbia University, USA, Xun Lao Yale University, USA, Xi Wang Yale University, USA
DOI
11:37
22m
Talk
Reliable and Automatic Composition of Language Extensions to C
SPLASH OOPSLA
Ted Kaminski University of Minnesota, Lucas Kramer University of Minnesota, Travis Carlson University of Minnesota, USA, Eric Van Wyk University of Minnesota, USA
DOI Pre-print
13:30 - 15:00
Usability and DeadlockSPLASH OOPSLA at Regency A
Chair(s): Jonathan Aldrich Carnegie Mellon University
13:30
22m
Talk
Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
SPLASH OOPSLA
Tiago Cogumbreiro Rice University, Rishi Surendran Rice University, USA, Francisco Martins LaSIGE, University of Lisbon, Vivek Sarkar Rice University, USA, Vasco T. Vasconcelos University of Lisbon, Portugal, Max Grossman Rice University, USA
DOI
13:52
22m
Talk
Detecting Argument Selection Defects
SPLASH OOPSLA
Andrew Rice University of Cambridge, UK, Eddie Aftandilian Google, Ciera Jaspan Google, Emily Johnston Google, Michael Pradel TU Darmstadt, Yulissa Arroyo-Paredes Columbia University, USA
DOI
14:15
22m
Talk
How Type Errors Were Fixed and What Students Did?
SPLASH OOPSLA
Baijun Wu University of Louisiana at Lafayette, USA, Sheng Chen ULL Lafayette
DOI
14:37
22m
Talk
Learning User Friendly Type-Error Messages
SPLASH OOPSLA
Baijun Wu University of Louisiana at Lafayette, USA, John Peter Campora ULL Lafayette, Sheng Chen ULL Lafayette
DOI

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency A

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency A

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency A

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Regency A

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change