Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
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 1Parsing@SLE at Oxford
Chair(s): Eric Van Wyk University of Minnesota, USA
08:45
15m
Day opening
Welcome
Parsing@SLE
Eric Van Wyk University of Minnesota, USA, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
09:00
30m
Talk
Block Level Parallelism in Parsing Block Structured Languages
Parsing@SLE
Abhinav Jangda University of Massachusetts, Amherst
09:30
30m
Talk
Parsing techniques for graph analysis
Parsing@SLE
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
08:30 - 10:00
Metaprogramming and Domain Specific LanguagesMETA at Regency B
Chair(s): Sebastian Erdweg TU Delft
08:50
10m
Day opening
Welcome
META
Stefan Marr University of Kent
09:00
30m
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
META
Matthew Ahrens , Karl Cronburg Tufts University, Jeanne-Marie Musca Tufts University
File Attached
09:30
30m
Talk
Less Testing Ink
META
Yossi Gil Technion—Israel Institute of Technology
08:30 - 10:00
Keynote SundayScala at Regency C
Chair(s): Philipp Haller KTH Royal Institute of Technology
08:45
15m
Day opening
Opening - Day 1
Scala

09:00
60m
Talk
Spark and Scala
Scala
K: Reynold Xin Databricks
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Session 2Parsing@SLE at Oxford
Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
10:30
30m
Talk
A Modular SGLR Parsing Architecture for Systematic Performance Optimization
Parsing@SLE
Jasper Denkers TU Delft, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael Steindorfer Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
11:00
30m
Talk
System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs
Parsing@SLE
11:30
30m
Talk
Parsing extensible type qualifiers in ableC
Parsing@SLE
Travis Carlson University of Minnesota, USA, Eric Van Wyk University of Minnesota, USA
10:30 - 12:00
10:30
45m
Talk
Designing a Live Development Experience for Web Components
PX/17.2
Jens Lincke Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Potsdam, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld HPI, Marcel Taeumel Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam
Pre-print
11:15
45m
Talk
Incremental Coverage of Legacy Software Languages
PX/17.2
Vadim Zaytsev Raincode Labs, Belgium
Pre-print
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
10:30 - 12:00
Code GenerationMETA at Regency B
Chair(s): Stefan Marr University of Kent
10:30
60m
Talk
Hop.js: JavaScript Multitier Programming ⭐️
META
Manuel Serrano Inria, France
11:30
30m
Talk
Toward Abstract Interpretation of Program Transformations
META
Sven Keidel Delft University of Technology, Netherlands, Sebastian Erdweg TU Delft
DOI
10:30 - 12:00
FOSD KeynoteFOSD at Windsor
10:30
30m
Day opening
Welcome to FOSD 2017
FOSD

11:00
60m
Talk
FOSD Keynote: Managing Features in Cloned Variants
FOSD
K: Julia Rubin University of British Columbia
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Session 3Parsing@SLE at Oxford
Chair(s): Eric Van Wyk University of Minnesota, USA
14:00
30m
Talk
Declarative Disambiguation with Contextual Scoping
Parsing@SLE
Michael Steindorfer Delft University of Technology, Netherlands, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands
14:30
30m
Talk
Parsing @ IDE
Parsing@SLE
Vadim Zaytsev Raincode Labs, Belgium
13:30 - 15:00
13:30
45m
Talk
Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP
PX/17.2
Yoshiki Ohshima HARC / Y Combinator Research, Bert Freudenberg , Dan Amelang Viewpoints Research Institute
Pre-print
14:15
45m
Talk
Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools
PX/17.2
Patrick Rein Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Potsdam, Toni Mattis Hasso Plattner Institute, Robert Hirschfeld HPI
Pre-print
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
13:30 - 15:00
Runtime ReflectionMETA at Regency B
Chair(s): Cyrus Omar Carnegie Mellon University
13:30
30m
Talk
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
META
Takuo Watanabe Tokyo Institute of Technology
File Attached
14:00
30m
Talk
Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
META
Javier Pimás Palantir Solutions, Stefan Marr University of Kent
File Attached
14:30
30m
Talk
An Annotation-based API for Supporting Runtime Code Annotation Reading
META
Phyllipe Lima INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Marco Nardes INPE - National Institute for Space Research, Andrea Mocci Universita della Svizzera italiana (USI), Gabriele Bavota Università della Svizzera italiana (USI), Michele Lanza Università della Svizzera italiana (USI)
DOI
13:30 - 15:00
CompilationScala at Regency C
Chair(s): Paolo G. Giarrusso University of Tübingen, Germany
13:30
30m
Talk
A Scala Framework for Supercompilation
Scala
DOI
14:00
30m
Talk
Making Collection Operations Optimal with Aggressive JIT Compilation
Scala
Aleksandar Prokopec Oracle Labs, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Thomas Wuerthinger Oracle Labs
DOI
14:30
30m
Talk
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Scala
Franck Cassez Macquarie University, Australia, Anthony Sloane Macquarie University
DOI
13:30 - 15:00
Talks / DiscussionFOSD at Windsor
13:30
30m
Talk
Towards Complete Consistency Checks of Clafer Models
FOSD
Markus Weckesser TU Darmstadt, Malte Lochau , Michael Ries facilityBoss GmbH, Andy Schürr TU Darmstadt
14:00
30m
Talk
Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures
FOSD
Kenny Wehling Volkswagen AG, David Wille TU Braunschweig, Germany, Christoph Seidl Technische Universität Braunschweig, Ina Schaefer Technische Universität Braunschweig
14:30
30m
Talk
Variational Lists: Comparisons and Design Guidelines
FOSD
Karl Smeltzer Oregon State University, Martin Erwig Oregon State University
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Practical Guide to ParsingParsing@SLE at Oxford
Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
90m
Other
Discussion of SLEBoK Practical Guide to Parsing
Parsing@SLE
Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30 - 17:00
15:30
45m
Talk
The Entangled Strands of Time in Software Development
PX/17.2
Matthias Hauswirth Università della Svizzera italiana (USI), Mohammad Reza Azadmanesh University of Lugano
Pre-print
16:15
45m
Talk
Towards Concept-aware Programming Environments for Guiding Software Modularity
PX/17.2
Toni Mattis Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
Pre-print
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

15:30 - 17:00
Compiling ReflectionMETA at Regency B
Chair(s): Stefan Marr University of Kent
15:30
60m
Talk
Collapsing Towers of Interpreters ⭐️
META
Nada Amin University of Cambridge
16:30
30m
Day closing
Discussion and Closing
META

15:30 - 17:00
Talks / DiscussionFOSD at Windsor
15:30
30m
Talk
Feature Oriented Programming in Groovy
FOSD
Guilherme Assis UFMG, Eduardo Figueiredo UFMG, Gustavo Vale University of Passau
16:00
30m
Talk
Towards a Development Process for Maturing Delta-Oriented Software Product Lines
FOSD
Sven Schuster TU Braunschweig, Germany, Christoph Seidl Technische Universität Braunschweig, Ina Schaefer Technische Universität Braunschweig
16:30
30m
Talk
Lightning Talks
FOSD
Eric Walkingshaw Oregon State University

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1SEPS at Brighton
Chair(s): Yukinori Sato Tokyo Institute of Technology
08:45
15m
Talk
Welcome and opening
SEPS

09:00
60m
Talk
SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages
SEPS
S: Philipp Haller KTH Royal Institute of Technology
Media Attached
08:30 - 10:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
08:30
45m
Talk
Forget the Garbagemen, We Need a Plumber
WODA
Emery D. Berger University of Massachusetts, Amherst
09:15
45m
Talk
Pushing Predictive Data Race Detection to the Limit
WODA
Michael D. Bond Ohio State University
08:30 - 10:00
Session 1NJR at Constable
Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)
08:30
30m
Talk
Welcome and Overview of NJR
NJR
Crista Lopes University of California, Irvine, Jens Palsberg University of California, Los Angeles (UCLA)
09:00
20m
Talk
Benchmarking for Program Analysis
NJR
Cristina Cifuentes Oracle Labs, Karim Ali University of Alberta, Yannis Smaragdakis University of Athens
File Attached
09:20
20m
Talk
Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud
NJR
Jonathan Bell George Mason University
File Attached
09:40
20m
Talk
XCorpus, An Executable Corpus of Java Programs
NJR
Jens Dietrich Massey University
File Attached
08:30 - 10:00
Session 1: KeynoteCoCoS at Dover
08:30
30m
Day opening
Welcome
CoCoS

09:00
60m
Talk
Keynote: Program Comprehension - Who, How, What, and Why
CoCoS
Reid Holmes University of British Columbia
File Attached
08:30 - 10:00
Tools and TechniquesSPLASH-E at Kensington
Chair(s): Joe Gibbs Politz University of California, San Diego
08:30
30m
Talk
(CER) Mastery Learning-Like Teaching with Achievements
SPLASH-E
Tobias Wrigstad Uppsala University, Elias Castegren Uppsala University
File Attached
09:00
30m
Talk
(CSES) Assessing the Usability of a Novel System for Programming Education
SPLASH-E
Giovanni Vincenti University of Baltimore, Scott Hilberg , James Braman , Michael Satzinger University of Baltimore, Lily Cao Towson University
File Attached
09:30
30m
Talk
(CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups
SPLASH-E
Aybuke Gul Turker University of Wisconsin - Madison, Christine Corbett Moran California Institute of Technology
File Attached
08:30 - 10:00
Keynote: Sebastian BurckhardtREBLS at Oxford
08:30
90m
Talk
Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services
REBLS
Sebastian Burckhardt Microsoft Research
08:30 - 10:00
Keynote GPCE/SLE MondayGPCE at Regency A+B
08:30
15m
Day opening
Opening
GPCE
Matthew Flatt University of Utah, Sebastian Erdweg TU Delft
08:45
75m
Talk
Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote
GPCE
K: Danny Dig School of EECS at Oregon State University
08:30 - 10:00
Keynote GPCE/SLESLE at Regency A+B
08:30
15m
Day opening
Opening
SLE
Benoit Combemale University of Rennes 1, Marjan Mernik University of Maribor, Bernhard Rumpe RWTH Aachen University, Germany
Media Attached
08:45
75m
Talk
GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny DigKeynote
SLE
Danny Dig School of EECS at Oregon State University
08:30 - 10:00
Keynote MondayScala at Regency C
Chair(s): Ondřej Lhoták University of Waterloo, Canada
08:45
15m
Day opening
Opening - Day 2
Scala

09:00
60m
Talk
The Hack Programming Language
Scala
K: Dwayne Reeves Facebook
08:30 - 10:00
Introduction and KeynotePLATEAU at Regency D
08:30
30m
Day opening
Welcome and Introduction
PLATEAU

09:00
60m
Talk
PLATEAU Keynote: Usability Design Space in Programming by Examples
PLATEAU
Sumit Gulwani Microsoft Research
08:30 - 10:00
Talks Session 1NOOL at Windsor
08:45
15m
Day opening
Welcome
NOOL

09:00
30m
Talk
Objectifying a Metaprogramming Language
NOOL
Vadim Zaytsev Raincode Labs, Belgium
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Session2: Software performance engineeringSEPS at Brighton
Chair(s): Pablo de Oliveira Castro University of Versailles, France
10:30
30m
Talk
MALT, A Malloc Tracker
SEPS
Sébastien Valat CERN, Andres S. Charif-Rubial Université de Versailles Saint-Quentin, William Jalby Université de Versalles
11:00
30m
Talk
Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
SEPS
Philip C. Roth Oak Ridge National Laboratory, Hongzhang Shan Lawrence Berkeley National Laboratory, David Riegner The Ohio State University, Nikolas Antolin The Ohio State University, Sarat Sreepathi Oak Ridge National Laboratory, Leonid Oliker Lawrence Berkeley National Laboratory, Samuel Williams Lawrence Berkeley National Laboratory, Shirley Moore Oak Ridge National Laboratory, Wolfgang Windl The Ohio State University
11:30
30m
Talk
The Influence of HPCToolkit and Score-P on Hardware Performance Counters
SEPS
Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt, Christian Iwainsky Competence Center for High-Performance Computing in Hessian, TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt
10:30 - 12:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
10:30
45m
Talk
Strong Memory Models: 5 Simple Tricks to Beat SC
WODA
Milind Kulkarni Purdue University
11:15
20m
Talk
Constructing Dynamic Control Flow Graphs from Execution Traces
WODA
Jesse Bartels , Jon Stephens , Saumya Debray University of Arizona
11:35
20m
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
WODA
Nathalie Oostvogels , Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
10:30 - 12:00
Session 2NJR at Constable
Chair(s): Crista Lopes University of California, Irvine
10:30
20m
Talk
Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time
NJR
Harry Xu University of California, Irvine
File Attached
10:50
20m
Talk
Automated Benchmark Management
NJR
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Ben Hermann University of Paderborn
File Attached
11:10
20m
Talk
Tool Support for Energy-Aware Programming
NJR
Yu David Liu State University of New York (SUNY) Binghamton
File Attached
11:30
20m
Talk
Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions
NJR
Michael D. Bond Ohio State University
11:50
20m
Talk
The Need for a JavaScript Benchmark for Program Analysis
NJR
Cristina Cifuentes Oracle Labs, François Gauthier Oracle Labs
File Attached
10:30 - 12:00
Session 2: Generative ApproachesCoCoS at Dover
10:30
30m
Talk
Megamodelling with NGA Multimodels
CoCoS
Vadim Zaytsev Raincode Labs, Belgium
11:00
30m
Talk
Jatte: A Tunable Tree Editor for Integrated DSLs
CoCoS
11:30
30m
Talk
Discussion
CoCoS

10:30 - 12:00
Languages and SemanticsSPLASH-E at Kensington
10:30
30m
Talk
(CER) Early Experience with Grace
SPLASH-E
Andrew Black Portland State University, Kim Bruce Pomona College
File Attached
11:00
30m
Talk
(CER) Making the Liskov Substitution Principle Happy and Sad
SPLASH-E
Elisa Baniassad University of British Columbia
File Attached
11:30
30m
Talk
(CSES) Student Understanding of Aliasing and Procedure Calls
SPLASH-E
Preston Tunnell Wilson Brown University, Kathi Fisler Brown University, Shriram Krishnamurthi Brown University, USA
File Attached
10:30 - 12:00
Second sessionREBLS at Oxford
10:30
30m
Talk
Handling Partial Failures in Distributed Reactive Programming
REBLS
Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
11:00
30m
Talk
A DSL for Compensable and Interruptible Executions
REBLS
Hiroaki Inoue Graduate School of Informatics, Kyoto University, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan
11:30
30m
Talk
First-class Reactive Programs for CPS
REBLS
Christophe De Troyer , Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print
10:30 - 12:00
Session 1: Verification and Language ModelsAGERE at Prince of Wales
Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium
10:30
30m
Talk
Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
AGERE
Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
File Attached
11:00
30m
Talk
Tree Topologies for Causal Message Delivery
AGERE
Sebastian Blessing Imperial College London, Sylvan Clebsch Imperial College London, Sophia Drossopoulou
11:30
30m
Talk
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
AGERE
Mehdi Bagherzadeh Oakland University, Hridesh Rajan Iowa State University
File Attached
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
10:30 - 12:00
ParsingSLE at Regency B
Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany
10:30
25m
Talk
Type-Safe Modular ParsingArtifact Evaluation
SLE
Haoyuan Zhang , Huang Li , Bruno C. d. S. Oliveira University of Hong Kong, China
DOI
10:55
25m
Talk
Incremental Packrat ParsingArtifact Evaluation
SLE
Patrick Dubroy Y Combinator Research, USA, Alessandro Warth Y Combinator Research, USA
DOI
11:20
25m
Talk
A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
SLE
Kimio Kuramitsu Yokohama National University, Japan
DOI
11:45
15m
Talk
Red Shift: Procedural Shift-Reduce ParsingVision Paper
SLE
Nicolas Laurent Université Catholique de Louvain, Belgium
DOI
10:30 - 12:00
Tools and EnvironmentsPLATEAU at Regency D
Chair(s): Gustavo Soares Microsoft
10:30
20m
Talk
The Uses of Interactive Explorers for Web APIs
PLATEAU
John Daughtry Google, Inc., Andrew Macvean Google, Inc., Luke Church
Pre-print
10:50
20m
Talk
One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
PLATEAU
Titus Barik Microsoft, Chris Parnin NCSU, Emerson Murphy-Hill North Carolina State University
Pre-print
11:10
20m
Talk
What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
PLATEAU
Niklas Hollmann University of Duisburg-Essen, Germany, Thorben Roßenbeck University of Duisburg-Essen, Germany, Mark Kunze University of Duisburg-Essen, Germany, Liron Türk University of Duisburg-Essen, Germany, Stefan Hanenberg University of Duisburg-Essen
Pre-print
11:30
20m
Talk
Development of a Web Platform for Code Peer-Testing
PLATEAU
Manuel Maarek Heriot-Watt University, Léon McGregor Heriot-Watt University
Pre-print
10:30 - 12:00
Discussion SessionNOOL at Windsor
10:30
75m
Talk
Panel Discussion: Security in OO languages
NOOL
P: Cristina Cifuentes Oracle Labs, Mark Miller Google Inc., Jonathan Aldrich Carnegie Mellon University, Yannis Smaragdakis University of Athens
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Session 3: Software concurrency and heterogeneitySEPS at Brighton
Chair(s): Sébastien Valat CERN
13:30
30m
Talk
Transactional Actors: Communication in Transactions
SEPS
Janwillem Swalens Vrije Universiteit Brussel, Belgium, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print
14:00
20m
Talk
[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
SEPS
14:20
20m
Talk
[Position paper] Declaring Lua Data Types for GPU Code Generation
SEPS
Paulo Motta Motta & SantAnna Pesquisa e Desenvolvimento
14:40
20m
Talk
[Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
SEPS
Matthias Book University of Iceland, Morris Riedel Jülich Supercomputing Centre, Helmut Neukirchen University of Iceland, Markus Götz Jülich Supercomputing Centre
13:30 - 15:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
13:30
45m
Talk
Finding Bugs and Insights in Semi-structured Data
WODA
Benjamin Zorn Microsoft Research
14:15
45m
Talk
Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
WODA
Harry Xu University of California, Irvine
13:30 - 15:00
Session 3NJR at Constable
13:30
90m
Other
NJR discussion; Needs, Requirements, Wishes
NJR
Crista Lopes University of California, Irvine, Jens Palsberg University of California, Los Angeles (UCLA)
13:30 - 15:00
Session 3: DebuggingCoCoS at Dover
Chair(s): Yvonne Coady University of Victoria
13:30
30m
Talk
Survey of Approaches for Assessing Software Energy Consumption
CoCoS
Felix Rieger Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg
14:00
30m
Talk
How Did the Failure Come to Be?
CoCoS
Mohammad R. Azadmanesh , Matthias Hauswirth Università della Svizzera italiana (USI)
14:30
30m
Talk
Discussion
CoCoS

13:30 - 15:00
Software EngineeringSPLASH-E at Kensington
13:30
30m
Talk
(CSES) Open-Source Sofware in Class: Students’ Common Mistakes
SPLASH-E
Zhewei Hu North Carolina State University, Yang Song University of North Carolina Wilmington, Edward Gehringer North Carolina State University
File Attached
14:00
30m
Talk
(CSES) Peer Review in Cybersecurity Education
SPLASH-E
William M. Temple University of Colorado Boulder, Kathi Fisler Brown University
File Attached
14:30
30m
Talk
(CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly
SPLASH-E
Sarah Heckman NC State University, Kathryn Stolee North Carolina State University, Chris Parnin NCSU
File Attached
13:30 - 15:00
Third sessionREBLS at Oxford
13:30
30m
Talk
FRP IoT Modules as a Scala DSL
REBLS
Ben Calus imec - DistriNet, KU Leuven, Bob Reynders imec-DistriNet, KU Leuven, Belgium, Dominique Devriese KU Leuven, Job Noorman KU Leuven, Frank Piessens KU Leuven
14:00
30m
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
REBLS
Sam Van den Vonder , Joeri De Koster Vrije Universiteit Brussel, Belgium, Florian Myter Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print
14:30
30m
Talk
Verifiable Reactive Software
REBLS
13:30 - 15:00
Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales
Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium
13:30
30m
Talk
Locality-Guided Scheduling in CAF
AGERE
File Attached
14:00
30m
Talk
A Principled Approach Towards Debugging Communicating Event-Loops
AGERE
Carmen Torres Lopez , Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria, Christophe Scholliers Universiteit Gent, Belgium
14:30
30m
Talk
Actoverse: A Reversible Debugger for Actors
AGERE
Kazuhiro Shibanai Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI
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
13:30 - 15:00
Textual ModelsSLE at Regency B
Chair(s): Anthony Sloane Macquarie University
13:30
23m
Talk
Towards a Taxonomy of Grammar Smells
SLE
Mats Stijlaart Universiteit van Amsterdam, Vadim Zaytsev Raincode Labs, Belgium
DOI
13:53
22m
Talk
Deep Priority Conflicts in the Wild: A Pilot StudyArtifact Evaluation
SLE
Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael J. Steindorfer Delft University of Technology, Eelco Visser Delft University of Technology
DOI
14:16
22m
Talk
Virtual Textual Model Composition for Supporting Versioning and Aspect-OrientationArtifact Evaluation
SLE
Robert Bill Vienna University of Technology, Patrick Neubauer University of York, UK, Manuel Wimmer TU Wien
DOI
14:38
22m
Talk
Robust Projectional EditingArtifact Evaluation
SLE
Friedrich Steimann Fernuniversität, Marcus Frenkel Fernuni Hagen, Markus Voelter itemis
DOI
13:30 - 15:00
Language, DSL, and Feature DesignPLATEAU at Regency D
Chair(s): Joshua Sunshine Carnegie Mellon University
13:30
20m
Talk
A User Study to Inform the Design of the Obsidian Blockchain DSL
PLATEAU
Celeste Barnaby Wesleyan University, Michael Coblenz Carnegie Mellon University, Tyler Etzel , Eliezer Kanal Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
Pre-print
13:50
15m
Talk
Programming Robot Manipulators with Tangible Blocks
PLATEAU
Yasaman Sefidgar University of Washington, Maya Cakmak University of Washington
Pre-print
14:05
20m
Talk
Preliminary Analysis of REST API Style Guidelines
PLATEAU
Lauren Murphy University of Michigan, Tosin Alliyu Haverford College, Mary Beth Kery Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
Pre-print
14:25
20m
Talk
Sympathy for the Devil: Reified Collection of Runtime Errors
PLATEAU
Tommaso Dal Sasso Università della Svizzera Italiana, Andrei Chiş feenk, Switzerland, Andrea Mocci Universita della Svizzera italiana (USI), Tudor Gîrba CompuGroup Medical Schweiz AG, Michele Lanza Università della Svizzera italiana (USI)
Pre-print
14:45
15m
Talk
Preventing Babel: Rectifying the Trend of Programming Language Divergence
PLATEAU
Alon Amid UC Berkeley, Borivoje Nikolic UC Berkeley
Pre-print
13:30 - 15:00
Talks Session 2NOOL at Windsor
13:30
30m
Talk
Integrating Debugging with Continuous Testing
NOOL
Malcolm Stone , Roly Perera University of Edinburgh, UK / University of Glasgow, UK
14:00
30m
Talk
Algool – Object-Orientation with Algebraic Specification
NOOL
Anya Helene Bagge University of Bergen
14:30
30m
Talk
Usably Expressing and Enforcing Design in Wyvern
NOOL
Jonathan Aldrich Carnegie Mellon University, Alex Potanin Victoria University of Wellington
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Session 4SEPS at Brighton
Chair(s): Yukinori Sato Tokyo Institute of Technology
15:30
90m
Talk
Panel discussions: "Open source software and tools for engineering parallel software"
SEPS
Yukinori Sato Tokyo Institute of Technology, Pablo de Oliveira Castro University of Versailles, France, Philipp Haller KTH Royal Institute of Technology
15:30 - 17:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
15:30
30m
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff Huang Texas A&M University
16:00
30m
Talk
Better Program Analysis Through Heap Profiling
WODA
16:30
30m
Talk
Can Analysis be Too Precise?
WODA
Sam Guyer Tufts University
15:30 - 17:00
Session 4: Wrap-UpCoCoS at Dover
Chair(s): Christoph Bockisch Philipps-Universität Marburg
15:30
30m
Talk
Lightning Talks
CoCoS

16:00
30m
Other
Break-out groups
CoCoS

16:30
30m
Talk
Wrap-Up
CoCoS

15:30 - 17:00
Fourth sessionREBLS at Oxford
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
15:30 - 17:00
DSLsSLE at Regency B
Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
25m
Talk
Debugging with Domain-Specific Events via MacrosDistinguished PaperArtifact Evaluation
SLE
Xiangqi Li University of Utah, Matthew Flatt University of Utah
DOI
15:55
25m
Talk
A Chrestomathy of DSL implementations
SLE
Simon Schauss University of Koblenz-Landau, Ralf Laemmel University of Koblenz-Landau, Germany, Johannes Härtel University of Koblenz-Landau, Germany, Marcel Heinz University of Koblenz-Landau, Germany, Kevin Klein University of Koblenz-Landau, Lukas Härtel University of Koblenz-Landau, Germany, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI
16:20
25m
Talk
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentArtifact Evaluation
SLE
Ankica Barisic NOVA-LINCS - Universidade Nova de Lisboa, Dominique Blouin LTCI Lab, Telecom ParisTech, Université Paris-Saclay, Vasco Amaral NOVA-LINCS, FCT/UNL, Miguel Goulao NOVA-LINCS, FCT/UNL
DOI
16:45
25m
Talk
Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
SLE
Marco Brambilla Politecnico di Milano, Jordi Cabot ICREA - UOC, Javier Luis Cánovas Izquierdo IN3 - UOC, Andrea Mauri Politecnico di Milano, Italy
DOI
15:30 - 17:00
UnconferenceScala at Regency C
Chair(s): Jonathan Immanuel Brachthäuser University of Tübingen, Germany
15:30
90m
Talk
Unconference
Scala

15:30 - 17:00
Insights into Programmer Thought Processes and ExperiencePLATEAU at Regency D
Chair(s): Sarah E. Chasins University of California, Berkeley
15:30
20m
Talk
Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories
PLATEAU
Mohammad reza , Matthias Hauswirth Università della Svizzera italiana (USI)
Pre-print
15:50
15m
Talk
Modeling Programming Problem Solving Through Interactive Worked Examples
PLATEAU
Dastyni Loksa University of Washington, Amy Ko University of Washington
Pre-print
16:05
20m
Talk
OpenMP or Pthreads: Which is Better for Beginners?
PLATEAU
Pedro Bruel University of São Paulo, Paulo Meirelles University of São Paulo and University of Brasília, Raphael Cobe São Paulo State University, Alfredo Goldman University of São Paulo
Pre-print
16:25
20m
Talk
Can Some Programming Languages Be Considered Harmful?
PLATEAU
Sabine Janssens StressLabo, Ulrik Pagh Schultz University of Southern Denmark, Vadim Zaytsev Raincode Labs, Belgium
Pre-print
16:45
20m
Talk
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
PLATEAU
Adrian Clark University of Illinois at Urbana-Champaign, Jonathan Wells University of Illinois at Urbana-Champaign, Angello Astorga , Andrew Xie Independent, Jalen Coleman-Lands University of Illinois at Urbana-Champaign, Tao Xie
Pre-print
15:30 - 17:00
Talks Session 3NOOL at Windsor
15:30
30m
Talk
Ivo functions forward and backward
NOOL
16:00
30m
Talk
Towards Typing Julia
NOOL
Benjamin Chung Northeastern University, Paley Li Northeastern University
16:30
30m
Day closing
Closing thoughts & plans for next year
NOOL

17:30 - 19:30
Poster Reception MondayPosters at Poster Area
Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson Imperial College London
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi MINES ParisTech, France
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury Tata Consultancy Services Research
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen Australian National University
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher Carnegie Mellon University
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito Yale University
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona University of Genova
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson University of Minnesota, USA
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist Lund University
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj ReactorLabs
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge University of British Columbia, Canada
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera Universidad Simón Bolívar
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove IBM Research
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch University of Salzburg
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani University of Montreal
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg Tufts University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb University of California at Berkeley
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila FAMAF, UNC / CONICET
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen Massachusetts Institute of Technology
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen Aarhus University
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng Carnegie Mellon University, USA
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa Iowa State University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30 - 19:30
Monday Poster ReceptionSocial Program at Poster Area
17:30
2h
Social Event
Monday Workshop and Poster Reception
Social Program
Gail Murphy University of British Columbia

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Welcome and KeynoteOCAP at Cavendish
Chair(s): Mark Miller Google Inc.
08:30
30m
Talk
Welcome
OCAP

09:00
60m
Talk
Keynote by Norm Hardy
OCAP
08:30 - 10:00
08:30
5m
Day opening
Welcome
Doctoral Symposium

08:35
15m
Talk
Lightning Talks
Doctoral Symposium

08:50
30m
Talk
Invited Talk: From PHD to PROF: blind luck or careful planning?
Doctoral Symposium
Jan Vitek Northeastern University, USA
09:20
40m
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Doctoral Symposium
Germán Ceballos Uppsala University
08:30 - 10:00
08:00
10m
Day opening
Welcome and Greeting
PL Mentoring Workshop (PLMW)
Barbara Ryder Virginia Tech, Lori Pollock University of Delaware, USA
File Attached
08:10
40m
Talk
Research is a social process / What Programming Languages Researchers Do and How
PL Mentoring Workshop (PLMW)
File Attached
08:50
40m
Talk
Why do a Ph.D. and how to pick an area?
PL Mentoring Workshop (PLMW)
Yannis Smaragdakis University of Athens
File Attached
09:30
40m
Talk
The Influence of Programming Languages on Augmenting Human Understanding
PL Mentoring Workshop (PLMW)
Benjamin Zorn Microsoft Research
Media Attached File Attached
08:30 - 10:00
Keynote GPCE/SLE TuesdayGPCE at Regency A+B
08:30
15m
Awards
Awards
GPCE
Matthew Flatt University of Utah, Sebastian Erdweg TU Delft
08:45
75m
Talk
Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote
GPCE
Peter D. Mosses Swansea University
08:30 - 10:00
Keynote GPCE/SLESLE at Regency A+B
08:30
15m
Day opening
Awards
SLE
Marjan Mernik University of Maribor, Bernhard Rumpe RWTH Aachen University, Germany, Laurence Tratt King's College London, Tanja Mayerhofer TU Wien
File Attached
08:45
75m
Talk
SLE Keynote: Engineering meta-languages for specifying software languagesKeynote
SLE
Peter D. Mosses Swansea University
DOI File Attached
08:30 - 09:30
DLS 2017 Invited TalkVMIL at Regency C
Chair(s): Davide Ancona University of Genova
08:30
60m
Talk
Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017)
VMIL
08:30 - 10:00
SpringLIVE at Regency D
08:30
50m
Talk
Keynote: User Interfaces for Live Programming
LIVE
Jun Kato National Institute of Advanced Industrial Science and Technology, Japan
09:20
20m
Talk
Reifying Programming
LIVE
Pre-print Media Attached
09:40
20m
Talk
Live Programming as Gradual Abstraction
LIVE
Sean McDirmid Independent
Pre-print Media Attached
08:30 - 10:00
Keynote (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs
Chair(s): Yvonne Coady University of Victoria
08:30
30m
Social Event
Welcome and Hello!
SAVR

09:00
60m
Talk
The Immersive Internet, Karan Singh, University of Toronto
SAVR

10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Session 1OCAP at Cavendish
10:30
30m
Talk
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP
Anton Burtsev University of California, Irvine, David Johnson University of Utah, Josh Kunz University of Utah, Eric Eide University of Utah, Jacobus Van der Merwe University of Utah
11:00
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin Simpson Matador Cloud LLC
11:30
30m
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Valerie Zhao Wellesley College, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
10:30 - 12:00
10:30
40m
Talk
Genetic Improvement in Code Interpreters and Compilers
Doctoral Symposium
Oliver Krauss University of Applied Sciences Upper Austria
11:10
40m
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Doctoral Symposium
David Leopoldseder Johannes Kepler University Linz
10:30 - 12:00
10:30
40m
Talk
What to do and who to ask?
PL Mentoring Workshop (PLMW)
Y. Annie Liu Stony Brook University
File Attached
11:10
60m
Other
Panel of new Ph.D.s
PL Mentoring Workshop (PLMW)
Michael Hilton Carnegie Mellon University, USA, Kathryn Stolee North Carolina State University, David Darais University of Maryland, USA, Annie T.T. Ying EquitySim
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
10:30 - 12:00
GrammarsSLE at Regency B
Chair(s): Bernhard Rumpe RWTH Aachen University, Germany
10:30
25m
Talk
A Formalisation of Parameterised Reference Attribute GrammarsArtifact Evaluation
SLE
Scott Buckley Macquarie University, Australia, Anthony Sloane Macquarie University
DOI
10:55
25m
Talk
Concurrent Circular Reference Attribute GrammarsArtifact Evaluation
SLE
Jesper Oqvist Lund University, Görel Hedin
DOI
11:20
25m
Talk
Ensuring Non-interference of Composable Language Extensions
SLE
Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA
DOI
11:45
15m
Talk
A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial PaperArtifact Evaluation
SLE
Suman Roychoudhury Tata Consultancy Services Research, Sagar Sunkle Tata Consultancy Services Research, Deepali Kholkar Tata Consultancy Services Research, Vinay Kulkarni Tata Consultancy Services Research
DOI
10:30 - 12:00
SummerLIVE at Regency D
10:30
50m
Talk
Keynote: Becoming Alive, Growing Up
LIVE
11:20
20m
Talk
Toward a Live Stepper for Typed Expressions with Holes
LIVE
Cyrus Omar Carnegie Mellon University, Ian Voysey Carnegie Mellon University, Matthew Hammer University of Colorado, Boulder
Pre-print
11:40
20m
Talk
Whatever You Say, Happens: Live Creation of VR/AR Experiences
LIVE
Mike Johnston Moatboat
Pre-print Media Attached
10:30 - 12:00
Building and Breaking (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs
Chair(s): Derek Jacoby Qvirt.com
10:30
20m
Talk
Online Debugger Support for Reactive Programming Using Virtual Reality
SAVR

10:50
20m
Talk
Prototyping with Unity for AR & VR
SAVR

11:10
20m
Talk
Immersive Analytics Tool For Creating Graphs and Models
SAVR

11:30
30m
Talk
Panel Discussion I
SAVR

10:30 - 12:00
VMILVMIL at Windsor
Chair(s): Adam Welc Huawei America Research Center
10:30
10m
Day opening
Welcome to VMIL
VMIL
Adam Welc Huawei America Research Center
10:40
40m
Talk
Cross-ISA debugging in meta-circular VMs
VMIL
Christos Kotselidis The University of Manchester, Andrew Nisbet The University of Manchester, Foivos S. Zakkak , Nikos Foutris
11:20
40m
Talk
Accelerate JavaScript Applications by Cross-Compiling to WebAssembly
VMIL
Micha Reiser Hochschule für Technik Rapperswil, Luc Bläser Hochschule für Technik Rapperswil
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Session 2OCAP at Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron Craig ECS, VUW, Alex Potanin Victoria University of Wellington, Lindsay Groves Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
14:30
30m
Talk
Unforgeable Distributed Capabilities
OCAP
13:30 - 15:00
13:30
40m
Talk
My 25 years in OO
PL Mentoring Workshop (PLMW)
Jan Vitek Northeastern University, USA
File Attached
14:10
40m
Talk
Choosing your mentor and learning to present your ideas clearly
PL Mentoring Workshop (PLMW)
Ana Milanova Rensselaer Polytechnic Institute
File Attached
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
13:30 - 15:00
Meta-modellingSLE at Regency B
Chair(s): Marjan Mernik University of Maribor
13:30
23m
Talk
Concrete Syntax: A Multi-paradigm Modelling Approach
SLE
Yentl Van Tendeloo University of Antwerp, Simon Van Mierlo University of Antwerp, Bart Meyers University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp and McGill University
DOI
13:53
23m
Talk
Structural Model Subtyping with OCL ConstraintsArtifact Evaluation
SLE
Artur Boronat University of Leicester
DOI
14:16
22m
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SLE
Lechanceux Luhunu University of Montreal, Eugene Syriani University of Montreal
DOI
14:38
22m
Talk
Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo
SLE
Ed Seidewitz nMeta LLC
DOI
13:30 - 15:00
Session 3DLS at Regency C
Chair(s): Davide Ancona University of Genova
13:30
60m
Talk
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS
Jeremy G. Siek Indiana University, USA
File Attached
14:30
30m
Talk
Semantics of Asynchronous JavaScript
DLS
Matthew C. Loring , Mark Marron Microsoft Research, Daan Leijen Microsoft Research
13:30 - 15:00
13:30
50m
Other
Lightning Talks
LIVE
Sean McDirmid Independent
14:20
20m
Talk
Shadama: A Particle Simulation Programming Environment for Everyone
LIVE
Yoshiki Ohshima HARC / Y Combinator Research, Bert Freudenberg , Dan Amelang Viewpoints Research Institute
Pre-print Media Attached
14:40
20m
Talk
Seymour: Live Programming for the Classroom
LIVE
Saketh Kasibatla HARC / Y Combinator Research, Alessandro Warth Y Combinator Research, USA
Pre-print
13:30 - 15:00
Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs
Chair(s): Craig Anslow Victoria University of Wellington
13:30
20m
Talk
Detecting Spatial Orientation Demands during Virtual Navigation using EEG Brain Sensing
SAVR

13:50
20m
Talk
I Am Afraid: Voice Performance in Virtual Reality
SAVR

14:10
20m
Talk
Rich collaboration systems: Improving online collaboration with multi-modal interactions
SAVR

14:30
30m
Talk
Panel Discussion II
SAVR

15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Session 3OCAP at Cavendish
15:30
30m
Talk
Specifying Attenuation
OCAP
Shu-Peng Loh Imperial College London, Sophia Drossopoulou
16:00
60m
Talk
Panel/Discussion
OCAP

15:30 - 17:00
15:30
40m
Talk
What merge tool should I use?
Doctoral Symposium
Guilherme Cavalcanti Federal University of Pernambuco, Brazil
16:10
40m
Talk
Combining Visual and Textual Languages for Dyslexia
Doctoral Symposium
Luis Fernando González Alvarán Politécnico Colombiano Jaime Isaza Cadavid
16:50
10m
Day closing
Closing remarks
Doctoral Symposium

15:30 - 17:00
15:20
40m
Talk
Navigating the process of doing a rewarding Ph.D.
PL Mentoring Workshop (PLMW)
Mayur Naik University of Pennsylvania
File Attached
16:00
60m
Other
Panel: Industry & Academia
PL Mentoring Workshop (PLMW)
Kathryn S McKinley Google, Julia Rubin University of British Columbia, Benjamin Zorn Microsoft Research, Mayur Naik University of Pennsylvania
17:00
15m
Day closing
Wrap Up
PL Mentoring Workshop (PLMW)

File Attached
17:15
75m
Social Event
Post-Workshop Reception
PL Mentoring Workshop (PLMW)

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
15:30 - 17:00
GPL/DSL implementationSLE at Regency B
Chair(s): Eric Van Wyk University of Minnesota, USA
15:30
25m
Talk
FlowSpec: Declarative Dataflow Analysis Specification
SLE
Jeff Smits Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
DOI File Attached
15:55
25m
Talk
Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
SLE
Francesco Di Giacomo Università Ca' Foscari, Mohamed Abbadi Hogeschool Rotterdam, Agostino Cortesi Università Ca' Foscari Venezia, Pieter Spronck Tilburg University, Giuseppe Maggiore Hogeschool Rotterdam
DOI
16:20
25m
Talk
Robust Programs with Filtered IteratorsArtifact EvaluationDistinguished Artifact
SLE
Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology
DOI
16:45
25m
Talk
An Introduction to the Software Language Engineering Body of Knowledge
SLE
Vadim Zaytsev Raincode Labs, Belgium
17:10
10m
Talk
Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
SLE
Rui Pereira HASLab/INESC TEC & Universidade do Minho, Marco Couto HASLab/INESC TEC & Universidade do Minho, Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, Rui Rua HASLab/INESC TEC & Universidade do Minho, Jácome Cunha NOVA-LINCS - Universidade Nova de Lisboa, João Paulo Fernandes Release/LISP, CISUC, João Saraiva University of Minho, Portugal
DOI Media Attached
15:30 - 17:00
Session 4DLS at Regency C
Chair(s): Marc Feeley Université de Montréal
15:30
30m
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS
Mallku Soldevila FAMAF, UNC / CONICET, Beta Ziliani FAMAF, UNC and CONICET, Bruno Silvestre , Daniel Fridlender , Fabio Mascarenhas UFRJ
16:00
30m
Talk
The Semantics of Name Resolution in Grace
DLS
Vlad Vergu TU Delft, Michiel Haisma TU Delft, Eelco Visser Delft University of Technology
DOI
15:30 - 17:00
VMILVMIL at Windsor
Chair(s): Adam Welc Huawei America Research Center
15:30
90m
Other
Panel - The future of language runtimes
VMIL
Tony Hosking Australian National University / Data61, Mario Wolczko Oracle Labs, David Grove IBM Research
18:00 - 20:00
18:00
2h
Social Event
Dinner (registration add-on)
GPCE

18:00 - 20:00
18:00
2h
Dinner
Dinner (registration add-on)
SLE

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote WednesdayKeynotes at Regency C
08:30
10m
Day opening
Welcome to SPLASH 2017
Keynotes
P: Gail Murphy University of British Columbia
08:40
10m
Awards
OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award
Keynotes
Yannis Smaragdakis University of Athens, O: Jonathan Aldrich Carnegie Mellon University
08:50
70m
Talk
SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspectiveKeynote
Keynotes
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

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
10:30 - 12:00
Language DesignOnward! Papers at Regency B
Chair(s): Zachary Tatlock University of Washington, Seattle
10:30
30m
Talk
Can We Crowdsource Language Design?
Onward! Papers
Preston Tunnell Wilson Brown University, Justin Pombrio Brown University, USA, Shriram Krishnamurthi Brown University, USA
11:00
30m
Talk
Assessing User Preferences in Programming Language Design
Onward! Papers
Roger Chamberlain Washington University in St. Louis
11:30
30m
Talk
Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Onward! Papers
Friedrich Steimann Fernuniversität
10:30 - 12:00
PerformanceOOPSLA at Regency C
Chair(s): Kathryn S McKinley Google
10:30
22m
Talk
A Volatile-by-Default JVM for Server Applications
OOPSLA
Lun Liu University of California at Los Angeles, USA, Todd Millstein University of California, Los Angeles, Madan Musuvathi Microsoft Research
DOI
10:52
22m
Talk
Static Placement of Computation on Heterogeneous Devices
OOPSLA
Gabriel Poesia Federal University of Minas Gerais, Brazil, Breno Campos Ferreira Guimarães Federal University of Minas Gerais, Brazil, Fabrício Ferracioli LG Electronics, Brazil, Fernando Magno Quintão Pereira UFMG
DOI
11:15
22m
Talk
Skip Blocks: Reusing Execution History to Accelerate Web Scripts
OOPSLA
Sarah E. Chasins University of California, Berkeley, Rastislav Bodík University of Washington
DOI
11:37
22m
Talk
Virtual Machine Warmup Blows Hot and Cold
OOPSLA
Edd Barrett King's College London, Carl Friedrich Bolz-Tereick , Rebecca Killick Department of Mathematics and Statistics, University of Lancaster, Sarah Mount King's College London, Laurence Tratt King's College London
DOI
10:30 - 12:00
Programming ModelsSPLASH-I at Regency D
Chair(s): Gail Murphy University of British Columbia
10:30
30m
Talk
Direct Manipulation Programming Systems
SPLASH-I
Ravi Chugh University of Chicago
11:00
30m
Talk
Toward Scalable Semantic Big Data
SPLASH-I
Julian Dolby IBM Thomas J. Watson Research Center
11:30
30m
Talk
Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming
SPLASH-I
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

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, Carl Friedrich 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
13:30 - 15:00
Program Generation and SynthesisOnward! Papers at Regency B
Chair(s): Emina Torlak University of Washington
13:30
30m
Talk
Generating Chat Bots from Web API Specifications
Onward! Papers
Mandana Vaziri IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon IBM Research, Martin Hirzel IBM Research
14:00
30m
Talk
ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Onward! Papers
Edmund Lam University of Colorado Boulder, Peilun Zhang , Bor-Yuh Evan Chang University of Colorado Boulder
14:30
30m
Talk
Unbounded Superoptimization
Onward! Papers
Abhinav Jangda University of Massachusetts, Amherst, Greta Yorsh Queen Mary University of London
13:30 - 15:00
ToolsOOPSLA at Regency C
Chair(s): Joshua Sunshine Carnegie Mellon University
13:30
22m
Talk
Effective Interactive Resolution of Static Analysis Alarms
OOPSLA
Xin Zhang Massachusetts Institute of Technology, USA, Radu Grigore University of Kent, Xujie Si University of Pennsylvania, Mayur Naik University of Pennsylvania
DOI
13:52
22m
Talk
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
OOPSLA
Eric Seidel University of California at San Diego, USA, Huma Sibghat University of California at San Diego, USA, Kamalika Chaudhuri University of California at San Diego, USA, Westley Weimer University of Virginia, USA, Ranjit Jhala University of California at San Diego, USA
DOI
14:15
22m
Talk
Abridging Source Code
OOPSLA
Binhang Yuan Rice University, USA, Vijayaraghavan Murali Rice University, USA, Chris Jermaine Rice University
DOI
14:37
22m
Talk
Evaluating and Improving Semistructured Merge
OOPSLA
Guilherme Cavalcanti Federal University of Pernambuco, Brazil, Paulo Borba Federal University of Pernambuco, Brazil, Paola Accioly Federal University of Pernambuco, Brazil
DOI
13:30 - 15:00
SecuritySPLASH-I at Regency D
Chair(s): Karim Ali University of Alberta
13:30
30m
Talk
Browser Performance Woes: Past, Present, and Future
SPLASH-I
Ben Livshits Imperial College London, UK
14:00
30m
Talk
It's Time for Secure Languages
SPLASH-I
Cristina Cifuentes Oracle Labs
14:30
30m
Talk
Preventing Information Leaks by Construction
SPLASH-I
Jean Yang Carnegie Mellon University
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

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
15:30 - 17:00
EssaysOnward! Essays at Regency B
Chair(s): Robert Biddle Carleton University
15:30
45m
Talk
Some Were Meant For C: The endurance of an unmanageable language
Onward! Essays
Stephen Kell University of Cambridge
16:15
45m
Talk
Concept Analysis in Programming Language Research: Done Well It Is All Right
Onward! Essays
A: Antti-Juhani Kaijanaho University of Jyväskylä
DOI Pre-print
15:30 - 17:00
Dynamic AnalysisOOPSLA at Regency C
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:30
22m
Talk
Practical Initialization Race Detection for JavaScript Web Applications
OOPSLA
Christoffer Quist Adamsen Aarhus University, Anders Møller Aarhus University, Frank Tip Northeastern University
DOI
15:52
22m
Talk
Instrumentation Bias for Dynamic Data Race Detection
OOPSLA
Benjamin P. Wood Wellesley College, Man Cao Ohio State University, Michael D. Bond Ohio State University, Dan Grossman University of Washington
DOI
16:15
22m
Talk
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
OOPSLA
Nachshon Cohen EPFL, Switzerland, Michal Friedman , James Larus EPFL
DOI
16:37
22m
Talk
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
OOPSLA
Neville Grech , George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
DOI
15:30 - 17:00
Panel: Language EvolutionSPLASH-I at Regency D
15:30
90m
Talk
Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel
SPLASH-I
Steven D. Fraser , Lera Boroditsky UC San Diego, Robert Gentleman 23andme, Chris Granger Kodowa, Sumit Gulwani Microsoft Research, Crista Lopes University of California, Irvine
17:30 - 19:30
Poster Reception WednesdayPosters at Poster Area
Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera Universidad Simón Bolívar
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng Carnegie Mellon University, USA
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson University of Minnesota, USA
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila FAMAF, UNC / CONICET
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac Yale University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi MINES ParisTech, France
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist Lund University
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani University of Montreal
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona University of Genova
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg Tufts University
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj ReactorLabs
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove IBM Research
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch University of Salzburg
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge University of British Columbia, Canada
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa Iowa State University
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher Carnegie Mellon University
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb University of California at Berkeley
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen Australian National University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen Aarhus University
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen Massachusetts Institute of Technology
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson Imperial College London
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury Tata Consultancy Services Research
17:30 - 19:30
Wednesday Poster ReceptionSocial Program at Poster Area
17:30
2h
Social Event
Wednesday Poster Reception
Social Program
Gail Murphy University of British Columbia
17:30 - 19:30
SRC 1st Round: PostersStudent Research Competition at Poster Area
Chair(s): Shan Shan Huang LogicBlox, Inc., Jennifer B. Sartor Vrije Universiteit Brussel
17:30
2h
Talk
What merge tool should I use?
Student Research Competition
Guilherme Cavalcanti Federal University of Pernambuco, Brazil
17:30
2h
Talk
Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java
Student Research Competition
Haochen Xie Nagoya University
17:30
2h
Talk
How to Efficiently Process 2^100 Different Lists
Student Research Competition
17:30
2h
Talk
Automatic Testing of Interactive JavaScript Debuggers
Student Research Competition
Daniel Lehmann TU Darmstadt
17:30
2h
Talk
Abstracting Resource Effects
Student Research Competition
Valerie Zhao Wellesley College
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Student Research Competition
Germán Ceballos Uppsala University
17:30
2h
Talk
Genetic Improvement in Code Interpreters and Compilers
Student Research Competition
Oliver Krauss University of Applied Sciences Upper Austria
17:30
2h
Talk
How Are Programming ƒQuestions from Women Received on Stack Overflow? A Case Study of Peer Parity
Student Research Competition
17:30
2h
Talk
Framework support for Usability evaluation of Domain-Specific Languages
Student Research Competition
Ankica Barisic NOVA-LINCS - Universidade Nova de Lisboa
17:30
2h
Talk
Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior
Student Research Competition
17:30
2h
Talk
Devirtualization in LLVM
Student Research Competition
17:30
2h
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Student Research Competition
David Leopoldseder Johannes Kepler University Linz
17:30
2h
Talk
Verifying the Proxy Design Pattern Using Object Propositions
Student Research Competition
Nistor Ligia Carnegie Mellon University
17:30
2h
Talk
ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
Student Research Competition
Monica Figuera Universidad Simón Bolívar

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote ThursdayKeynotes at Regency C
08:30
15m
Awards
OOPSLA Awards
Keynotes
P: Jonathan Aldrich Carnegie Mellon University
08:45
75m
Talk
SPLASH 2017 Keynote: Objects in the Age of DataKeynote
Keynotes
Crista Lopes University of California, Irvine
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

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
10:30 - 12:00
Essay PanelOnward! Essays at Regency B
Chair(s): Robert Biddle Carleton University
10:30
90m
Other
Panel: How can our publication models best serve our research?
Onward! Essays
Mary Shaw Carnegie Mellon University, P: Crista Lopes University of California, Irvine, Matthias Hauswirth Università della Svizzera italiana (USI), P: Philippe Kruchten University of British Columbia
10:30 - 12:00
Optimizing Compilation and VerificationOOPSLA at Regency C
Chair(s): Gregor Richards University of Waterloo
10:30
22m
Talk
The Tensor Algebra Compiler
OOPSLA
Fredrik Kjolstad MIT CSAIL, Shoaib Kamil Adobe, Stephen Chou MIT CSAIL, David Lugato CEA, France, Saman Amarasinghe MIT
DOI
10:52
22m
Talk
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
OOPSLA
Laith Sakka Purdue University, Kirshanthan Sundararajah Purdue University, Milind Kulkarni Purdue University
DOI
11:15
22m
Talk
Verifying Spatial Properties of Array Computations
OOPSLA
Dominic Orchard University of Kent, UK, Mistral Contrastin , Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK
DOI
11:37
22m
Talk
GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
OOPSLA
Yufei Ding North Carolina State University, Xipeng Shen North Carolina State University
DOI
10:30 - 12:00
Optimization & NetworksSPLASH-I at Regency D
Chair(s): Eleni Stroulia University of Alberta
10:30
30m
Talk
HHVM: Efficient and Scalable PHP/Hack Execution
SPLASH-I
11:00
30m
Talk
Performance Analysis and Optimization of C++ Standard Libraries
SPLASH-I
Aditya Kumar Samsung, Sebastian Pop Samsung Research America
11:30
30m
Talk
Verifying Network Data Planes
SPLASH-I
Nate Foster Cornell University
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

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
13:30 - 15:00
Programming ModelsOnward! Papers at Regency B
Chair(s): Karim Ali University of Alberta
13:30
30m
Talk
The Serverless Trilemma: Function Composition for Serverless Computing
Onward! Papers
Ioana Baldini IBM T.J. Watson Research, Perry Cheng IBM Research, Stephen J Fink IBM, Nick Mitchell , Vinod Muthusamy IBM T.J. Watson Research, Rodric Rabbah IBM Research, Philippe Suter Two Sigma, Olivier Tardieu IBM Research
14:00
30m
Talk
Encoding the building blocks of communication
Onward! Papers
14:30
30m
Talk
IoTa: A Calculus for Internet of Things Automation
Onward! Papers
Julie L. Newcomb University of California at Berkeley, Satish Chandra Facebook, Jean-Baptiste Jeannin Carnegie Mellon University , Cole Schlesinger Samsung Research America, Manu Sridharan Uber
13:30 - 15:00
VerificationOOPSLA at Regency C
Chair(s): Jonathan Edwards
13:30
22m
Talk
Seam: Provably Safe Local Edits on Graphs
OOPSLA
Manolis Papadakis Stanford University, USA, Gilbert Louis Bernstein Stanford University, USA, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Pat Hanrahan Stanford University, USA
DOI
13:52
22m
Talk
TiML: A Functional Language for Practical Complexity Analysis with Invariants
OOPSLA
Peng Wang Massachusetts Institute of Technology, USA, Di Wang Peking University, China, Adam Chlipala Massachusetts Institute of Technology, USA
DOI
14:15
22m
Talk
FairSquare: Probabilistic Verification of Program Fairness
OOPSLA
Aws Albarghouthi University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison, Samuel Drews University of Wisconsin-Madison, Aditya Nori
DOI
14:37
22m
Talk
Reasoning on Divergent Computations with Coaxioms
OOPSLA
Davide Ancona University of Genova, Francesco Dagnino , Elena Zucca University of Genova
DOI
13:30 - 15:00
Software Engineering & EducationSPLASH-I at Regency D
Chair(s): Vadim Zaytsev Raincode Labs, Belgium
13:30
30m
Talk
One if by Lambda, Two if by C: How PL Can Attack Computing Education
SPLASH-I
Kathi Fisler Brown University
14:00
30m
Talk
Reducing Interruptions at Work with the FlowLight
SPLASH-I
Thomas Fritz University of British Columbia, University of Zurich
14:30
30m
Talk
Smart Condo: IoT for Social Good
SPLASH-I
Eleni Stroulia University of Alberta
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:30 - 17:00
SRC 2nd Round: PresentationsStudent Research Competition at Prince of Wales
Chair(s): Shan Shan Huang LogicBlox, Inc., Jennifer B. Sartor Vrije Universiteit Brussel
15:30
15m
Talk
Abstracting Resource Effects
Student Research Competition
Valerie Zhao Wellesley College
15:45
15m
Talk
Automatic Testing of Interactive JavaScript Debuggers
Student Research Competition
Daniel Lehmann TU Darmstadt
16:00
15m
Talk
Devirtualization in LLVM
Student Research Competition
16:15
15m
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Student Research Competition
Germán Ceballos Uppsala University
16:30
15m
Talk
How to Efficiently Process 2^100 Different Lists
Student Research Competition
16:45
15m
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Student Research Competition
David Leopoldseder Johannes Kepler University Linz
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
15:30 - 17:00
Verification in PracticeOOPSLA at Regency C
Chair(s): Davide Ancona University of Genova
15:30
22m
Talk
A Model for Reasoning about JavaScript Promises
OOPSLA
Magnus Madsen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada, Frank Tip Northeastern University
DOI
15:52
22m
Talk
Robust and Compositional Verification of Object Capability Patterns
OOPSLA
David Swasey MPI-SWS, Germany, Deepak Garg Max Planck Institute for Software Systems, Derek Dreyer MPI-SWS
DOI
16:15
22m
Talk
A Verified Messaging System
OOPSLA
William Mansky Princeton University, Andrew W. Appel Princeton, Aleksey Nogin HRL Laboratories, LLC
DOI
16:37
22m
Talk
Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification
OOPSLA
DOI
15:30 - 17:00
Machine Learning & Data ScienceSPLASH-I at Regency D
Chair(s): Cristina Cifuentes Oracle Labs
15:30
30m
Talk
Bridging the Digital Divide in Data Science
SPLASH-I
Hridesh Rajan Iowa State University
16:00
30m
Talk
Domain-Specific Symbolic Compilation
SPLASH-I
Rastislav Bodík University of Washington
16:30
30m
Talk
Training and Tuning Machine-Learning Applications: A View from the Trenches
SPLASH-I
Matthew Arnold , A: Harold Ossher IBM Thomas J. Watson Research Center
17:30 - 18:30
Business Meeting and AwardsKeynotes at Regency C
17:30
15m
Talk
SPLASH Steering Committee Report
Keynotes
S: Tony Hosking Australian National University / Data61
17:45
10m
Talk
SPLASH 2017 General Chairs Report
Keynotes
G: Gail Murphy University of British Columbia
17:55
10m
Talk
OOPSLA 2017 Program Chair's Report
Keynotes
O: Jonathan Aldrich Carnegie Mellon University
18:05
10m
Talk
Onward! Program Chairs' Report
Keynotes
O: Emina Torlak University of Washington, O: Robert Biddle Carleton University
18:15
15m
Talk
SIGPLAN Town Hall
Keynotes
Yannis Smaragdakis University of Athens
18:45 - 22:00
Conference BanquetSocial Program at Banquet Location
18:45
3h15m
Social Event
Conference Banquet (Reception Style)
Social Program
Gail Murphy University of British Columbia

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote FridayKeynotes at Regency C
08:30
10m
Day opening
SPLASH 2018
Keynotes
P: Jan Vitek Northeastern University, USA
08:40
5m
Other
Onward! Most Notable Paper Award
Keynotes
08:45
10m
Awards
Student Awards
Keynotes
Jennifer B. Sartor Vrije Universiteit Brussel
08:55
65m
Talk
Onward 2017 Keynote: How the languages we speak shape the ways we thinkKeynote
Keynotes
Lera Boroditsky UC San Diego
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
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
10:30 - 12:00
Usability and PerformanceOnward! Papers at Regency B
Chair(s): Sam Tobin-Hochstadt Indiana University
10:30
30m
Talk
Error Messages are Classifiers: A Process to Design and Evaluate Error Messages
Onward! Papers
John Wrenn Brown University, Shriram Krishnamurthi Brown University, USA
11:00
30m
Talk
You Can Have it All: Abstraction and Good Cache Performance
Onward! Papers
Juliana Franco Imperial College London, Martin Hagelin (Dirac), Tobias Wrigstad Uppsala University, Sophia Drossopoulou , Susan Eisenbach Imperial College London
11:30
30m
Talk
Garbology: A Study of How Java Objects Die
Onward! Papers
Raoul Veroy Tufts University, Sam Guyer Tufts University
10:30 - 12:00
Static AnalysisOOPSLA at Regency C
Chair(s): Christian Hammer University of Potsdam
10:30
22m
Talk
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
OOPSLA
Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI
10:52
22m
Talk
P/Taint: Unified Points-to and Taint Analysis
OOPSLA
Neville Grech , Yannis Smaragdakis University of Athens
DOI
11:15
22m
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
OOPSLA
Sehun Jeong Korea University, South Korea, Minseok Jeon Korea University, South Korea, Sungdeok (Steve) Cha Korea University, South Korea, Hakjoo Oh Korea University
DOI
11:37
22m
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
OOPSLA
Kwonsoo Chae Korea University, Hakjoo Oh Korea University, Kihong Heo University of Pennsylvania, USA, Hongseok Yang University of Oxford
DOI
10:30 - 12:00
CompilersSPLASH-I at Regency D
Chair(s): Nate Foster Cornell University
10:30
30m
Talk
DYOL: Design a Language, Know the Consequences
SPLASH-I
Vadim Zaytsev Raincode Labs, Belgium
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

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
13:30 - 15:00
New LanguagesOnward! Papers at Regency B
Chair(s): Adrian Sampson Cornell University
13:30
30m
Talk
Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Onward! Papers
14:00
30m
Talk
Selfie and the Basics
Onward! Papers
Christoph Kirsch University of Salzburg
14:30
30m
Talk
Systems Level Liveness with AnonSystem
Onward! Papers
Andrew Sorensen Australian National University, Henry Gardner The Australian National University
13:30 - 15:00
Distributed SystemsOOPSLA at Regency C
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
13:30
22m
Talk
Geo-Distribution of Actor-Based Services
OOPSLA
Philip A. Bernstein Microsoft Research, Sebastian Burckhardt Microsoft Research, Sergey Bykov Microsoft, n.n., Natacha Crooks University of Texas at Austin, USA, Jose Faleiro Yale University, USA, Gabriel Kliot Google, n.n., Alok Kumbhare Microsoft Research, n.n., Muntasir Raihan Rahman Microsoft, Vivek Shah University of Copenhagen, Denmark, Adriana Szekeres University of Washington, USA, Jorgen Thelin Microsoft Research, Redmond
DOI
13:52
22m
Talk
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
OOPSLA
Oded Padon Tel Aviv University, Giuliano Losa University of California at Los Angeles, USA, Mooly Sagiv Tel Aviv University, Sharon Shoham Tel Aviv university
DOI
14:15
22m
Talk
Verifying Strong Eventual Consistency in Distributed Systems
OOPSLA
Victor B. F. Gomes University of Cambridge, UK, Martin Kleppmann University of Cambridge, Dominic P. Mulligan University of Cambridge, Alastair R. Beresford University of Cambridge, UK
DOI
14:37
22m
Talk
Verifying Distributed Programs via Canonical Sequentialization
OOPSLA
Alexander Bakst , Klaus v. Gleissenthall University of California at San Diego, USA, Ranjit Jhala University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA
DOI
15:00 - 16:00
Ice Cream SocialSocial Program at Regency Foyer
15:00
60m
Social Event
Ice Cream Social
Social Program
Gail Murphy University of British Columbia