Onward! 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 1
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 30 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
First SessionParsing@SLE at Matterhorn 1
08:30
15m
Day opening
Opening
Parsing@SLE

08:45
25m
Talk
Disambiguation for SDF3 with Deep Priority Conflicts
Parsing@SLE
Timothée Haudebourg ENS Rennes, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands
File Attached
09:10
25m
Talk
Multiple input GLL parsing
Parsing@SLE
Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London
File Attached
09:35
25m
Demonstration
Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern
Parsing@SLE
Jonathan Aldrich Carnegie Mellon University
10:30 - 12:10
Second SessionParsing@SLE at Matterhorn 1
10:30
25m
Talk
MADFAct—Constructing Dictionaries
Parsing@SLE
Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR
10:55
25m
Talk
There’s more than one way to skin a cat
Parsing@SLE
Nate Nystrom University of Lugano
File Attached
11:20
25m
Talk
Knowledge-Based Support for Domain Specific Language Generation
Parsing@SLE
File Attached
11:45
25m
Demonstration
Parsing in K-Framework
Parsing@SLE
Radu Mereuta Faculty of Computer Science, UAIC, Iasi, Romania
File Attached
13:30 - 15:10
Third SessionParsing@SLE at Matterhorn 1
13:30
25m
Talk
Context-Sensitive Parsing Through Stateful Parsing
Parsing@SLE
Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
13:55
25m
Talk
Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages
Parsing@SLE
Friedrich Steimann Fernuniversität
14:20
25m
Talk
Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions
Parsing@SLE
Brian Malloy Clemson University, James Power Maynooth University
14:45
25m
Demonstration
Composition of independent language extensions to C
Parsing@SLE
Ted Kaminski University of Minnesota, Lucas Kramer University of Minnesota, Eric Van Wyk University of Minnesota
15:40 - 17:20
Fourth SessionParsing@SLE at Matterhorn 1
15:40
25m
Talk
Generalised Parsing and Combinator Parsing: a Happy Marriage?
Parsing@SLE
L. Thomas van Binsbergen Royal Holloway University of London
File Attached
16:05
25m
Talk
Good enough for you? Explaining ourselves through standard challenges
Parsing@SLE
Adrian Johnstone Royal Holloway University of London, Elizabeth Scott Royal Holloway University of London
File Attached
16:30
50m
Other
Discussion and closing
Parsing@SLE

Mon 31 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Opening and KeynoteDSLDI at Matterhorn 1
10:30
1h40m
Talk
Small, simple and smelly: What we can learn from examining end-user artifacts?
DSLDI
Felienne Hermans Delft University of Technology
Media Attached

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 2DLS at Matterhorn 1
Chair(s): Gilad Bracha Google
10:30
25m
Talk
Type Unsoundness in Practice: An Empirical Study of Dart
DLS
Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Denmark, Fabio Strocco Aarhus University, Denmark
DOI
10:55
25m
Talk
Type Safety Analysis for Dart
DLS
Thomas S. Heinze Aarhus University, Denmark, Anders Møller Aarhus University, Denmark, Fabio Strocco Aarhus University, Denmark
DOI
11:20
25m
Talk
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
DLS
Changhee Park KAIST, South Korea, Hyeonseung Im Kangwon National University, South Korea, Sukyoung Ryu KAIST, South Korea
DOI
11:45
25m
Talk
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
DLS
Mattias De Wael Vrije Universiteit Brussel, Belgium, Janwillem Swalens Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium
DOI Pre-print File Attached
13:30 - 15:10
Session 3DLS at Matterhorn 1
Chair(s): Laurence Tratt King's College London
13:30
25m
Talk
Parallel Virtual Machines with RPython
DLS
Remigius Meier ETH Zurich, Switzerland, Armin Rigo PyPy.org, Switzerland, Thomas Gross ETH Zurich
DOI
13:55
25m
Talk
Building Efficient and Highly Run-Time Adaptable Virtual Machines
DLS
Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz
DOI Pre-print
14:20
25m
Talk
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
DLS
Vincent Foley-Bourgon McGill University, Canada, Laurie Hendren McGill University, Canada
DOI
14:45
25m
Talk
Optimizing R Language Execution via Aggressive Speculation
DLS
Lukas Stadler Oracle Labs, Austria, Adam Welc Oracle Labs, USA, Christian Humer Oracle Labs, Switzerland, Mick Jordan Oracle Labs, USA
DOI
15:40 - 17:20
Session 4DLS at Matterhorn 1
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
15:40
25m
Talk
A Small Embedding of Logic Programming with a Simple Complete Search
DLS
Jason Hemann Indiana University, USA, Daniel P. Friedman Indiana University, USA, William E. Byrd University of Utah, USA, Matthew Might University of Utah, USA
DOI
16:05
25m
Talk
Modular Semantic Actions
DLS
Alessandro Warth Y Combinator Research, USA, Patrick Dubroy Y Combinator Research, USA, Tony Garnock-Jones Northeastern University, USA
DOI Pre-print
16:30
25m
Talk
Cross-Language Compiler Benchmarking: Are We Fast Yet?
DLS
Stefan Marr Johannes Kepler University Linz, Benoit Daloze JKU Linz, Austria, Hanspeter Mössenböck JKU Linz, Austria
DOI Pre-print

Wed 2 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Optimization and PerformanceSPLASH OOPSLA at Matterhorn 1
Chair(s): Jan Vitek Northeastern University
10:30
25m
Talk
A Compiler for Throughput Optimization of Graph Algorithms on GPUsAEC
SPLASH OOPSLA
Sreepathi Pai University of Texas at Austin, USA, Keshav Pingali University of Texas at Austin, USA
DOI Pre-print
10:55
25m
Talk
Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis
SPLASH OOPSLA
Rishi Surendran Rice University, USA, Vivek Sarkar Rice University, USA
DOI
11:20
25m
Talk
Portable Inter-workgroup Barrier Synchronisation for GPUsAEC
SPLASH OOPSLA
Tyler Sorensen Imperial College London, Alastair F. Donaldson Imperial College London, Mark Batty University of Kent, Ganesh Gopalakrishnan University of Utah, Zvonimir Rakamaric University of Utah
DOI Pre-print
11:45
25m
Talk
Parallel Incremental Whole-Program Optimizations for Scala.js
SPLASH OOPSLA
Sébastien Doeraene EPFL, Switzerland, Tobias Schlatter EPFL, Switzerland
DOI Pre-print
13:30 - 15:10
Language Design and Programming Models ISPLASH OOPSLA at Matterhorn 1
Chair(s): Roberto Ierusalimschy PUC-Rio
13:30
25m
Talk
Extensible Access Control with Authorization Contracts
SPLASH OOPSLA
Scott Moore Harvard University, Christos Dimoulas Harvard University, Robby Findler Northwestern University, Matthew Flatt University of Utah, Stephen Chong Harvard University
DOI
13:55
25m
Talk
Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)EffectAEC
SPLASH OOPSLA
Leo Osvald , Gregory Essertel , Xilun Wu Purdue University, Lilliam I Gonzalez Alayon Purdue University, Tiark Rompf Purdue University, USA
DOI
14:20
25m
Talk
Incremental Forest: A DSL for Efficiently Managing FilestoresAEC
SPLASH OOPSLA
Jonathan DiLorenzo Cornell University, Richard Zhang University of Pennsylvania, Erin Menzies , Kathleen Fisher Tufts University, Nate Foster Cornell University
DOI
14:45
25m
Talk
LaCasa: Lightweight Affinity and Object Capabilities in Scala
SPLASH OOPSLA
Philipp Haller KTH Royal Institute of Technology, Alex Loiko Google Stockholm, Sweden
DOI Pre-print
15:40 - 17:20
Static AnalysisSPLASH OOPSLA at Matterhorn 1
Chair(s): Sam Guyer Tufts University
15:40
25m
Talk
Accelerating Program Analyses by Cross-Program Training
SPLASH OOPSLA
Sulekha Kulkarni Georgia Tech, Ravi Mangal Georgia Institute of Technology, Xin Zhang Georgia Tech, Mayur Naik Georgia Tech
DOI
16:05
25m
Talk
An Improved Algorithm for Slicing Machine CodeAEC
SPLASH OOPSLA
Venkatesh Srinivasan University of Wisconsin - Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
DOI Pre-print
16:30
25m
Talk
Call Graphs for Languages with Parametric Polymorphism
SPLASH OOPSLA
Dmytro Petrashko EPFL, Vlad Ureche EPFL, Switzerland, Ondřej Lhoták University of Waterloo, Martin Odersky EPFL, Switzerland
DOI
16:55
25m
Talk
Type Inference for Static Compilation of JavaScript
SPLASH OOPSLA
Satish Chandra Samsung Research America, Colin Gordon Drexel University, Jean-Baptiste Jeannin Carnegie Mellon University , Cole Schlesinger Samsung Research America, Manu Sridharan Samsung Research America, Frank Tip Samsung Research America, Young-il Choi Samsung Electronics
DOI Pre-print

Thu 3 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Concurrency Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1
Chair(s): Thomas Gross ETH Zurich
10:30
25m
Talk
Directed Synthesis of Failing Concurrent Executions
SPLASH OOPSLA
Malavika Samak Indian Institute of Science, Bangalore, Omer Tripp IBM Research, USA, Murali Krishna Ramanathan Indian Institute of Science, Bangalore
DOI Media Attached
10:55
25m
Talk
Maximal Causality Reduction for TSO and PSO
SPLASH OOPSLA
Shiyou Huang Texas A&M University, Jeff Huang Texas A&M University
DOI
11:20
25m
Talk
Stateless Model Checking with Data-Race Preemption Points
SPLASH OOPSLA
Ben Blum Carnegie Mellon University, Garth Gibson Carnegie Mellon University
DOI Pre-print Media Attached
11:45
25m
Talk
Precise and Maximal Race Detection from Incomplete Traces
SPLASH OOPSLA
Jeff Huang Texas A&M University, Arun Krishnakumar Rajagopalan Texas A&M University
DOI Media Attached
13:30 - 15:10
Runtime SupportSPLASH OOPSLA at Matterhorn 1
Chair(s): Laurence Tratt King's College London
13:30
25m
Talk
Efficient and Thread-Safe Objects for Dynamically-Typed LanguagesAEC
SPLASH OOPSLA
Benoit Daloze JKU Linz, Austria, Stefan Marr Johannes Kepler University Linz, Daniele Bonetta Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria
DOI Pre-print Media Attached
13:55
25m
Talk
Hybrid STM/HTM for Nested Transactions on OpenJDKAECDistinguished Paper Award
SPLASH OOPSLA
Keith Chapman Purdue University, Tony Hosking Australian National University, Data61, and Purdue University, Eliot Moss University of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
14:20
25m
Talk
Makalu: Fast Recoverable Allocation of Non-volatile Memory
SPLASH OOPSLA
Kumud Bhandari Rice University, USA, Dhruva Chakrabarti , Hans-J. Boehm Google
DOI Pre-print Media Attached
14:45
25m
Talk
Prioritized Garbage Collection: Explicit GC Support for Software Caches
SPLASH OOPSLA
Diogenes Nunez Tufts University, Sam Guyer Tufts University, Emery D. Berger University of Massachusetts, Amherst
DOI Pre-print Media Attached
15:40 - 17:20
Program Modeling and LearningSPLASH OOPSLA at Matterhorn 1
Chair(s): Ondřej Lhoták University of Waterloo
15:40
25m
Talk
Computing Repair Alternatives for Malformed Programs using Constraint Attribute GrammarsAEC
SPLASH OOPSLA
Friedrich Steimann Fernuniversität, Jörg Hagemann Fernuniversität in Hagen, Bastian Ulke Fernuniversität in Hagen
DOI Media Attached
16:05
25m
Talk
Probabilistic Model for Code with Decision Trees
SPLASH OOPSLA
Veselin Raychev ETH Zurich, Switzerland, Pavol Bielik , Martin Vechev ETH Zurich
DOI
16:30
25m
Talk
Ringer: Web Automation by DemonstrationAEC
SPLASH OOPSLA
Shaon Barman UC Berkeley, Sarah E. Chasins University of California, Berkeley, Rastislav Bodik University of Washington, USA, Sumit Gulwani Microsoft Research
DOI Media Attached
16:55
25m
Talk
Scalable Verification of Border Gateway Protocol Configurations with an SMT SolverAEC
SPLASH OOPSLA
Konstantin Weitz University of Washington, Doug Woos University of Washington, Emina Torlak University of Washington, Michael D. Ernst University of Washington, Arvind Krishnamurthy University of Washington, Zachary Tatlock University of Washington, Seattle
DOI Media Attached

Fri 4 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Typing, in PracticeSPLASH OOPSLA at Matterhorn 1
Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands
10:30
25m
Talk
A Practical Framework for Type Inference Error Explanation
SPLASH OOPSLA
Calvin Loncaric University of Washington, Satish Chandra Samsung Research America, Manu Sridharan Samsung Research America, Cole Schlesinger Samsung Research America
DOI Pre-print Media Attached
10:55
25m
Talk
Dynamically Diagnosing Type Errors in Unsafe CodeAEC
SPLASH OOPSLA
Stephen Kell University of Cambridge
DOI Media Attached
11:20
25m
Talk
First-Class Effect Reflection for Effect-Guided Programming
SPLASH OOPSLA
Yuheng Long Iowa State University, Yu David Liu , Hridesh Rajan Iowa State University, USA
DOI
11:45
25m
Talk
Java and Scala's Type Systems are Unsound: The Existential Crisis of Null PointersAEC
SPLASH OOPSLA
Nada Amin EPFL, Ross Tate Cornell University
Link to publication DOI Pre-print
13:30 - 15:10
Bug Detection Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1
Chair(s): Ben Livshits Microsoft Research
13:30
25m
Talk
Finding Compiler Bugs via Live Code Mutation
SPLASH OOPSLA
Chengnian Sun University of California, Davis, Vu Le Microsoft, Zhendong Su University of California, Davis
DOI Media Attached
13:55
25m
Talk
Finding Resume and Restart Errors in Android Applications
SPLASH OOPSLA
Zhiyong Shan University of Central Missouri, USA, Tanzirul Azim University of California at Riverside, USA, Iulian Neamtiu New Jersey Institute of Technology, USA
DOI Pre-print
14:20
25m
Talk
Low-Overhead and Fully Automated Statistical Debugging with Abstraction RefinementAEC
SPLASH OOPSLA
Zhiqiang Zuo University of California, Irvine, Lu Fang University of California, Irvine, Siau-Cheng Khoo , Harry Xu University of California, Irvine, Shan Lu University of Chicago
DOI Media Attached
14:45
25m
Talk
To Be Precise: Regression Aware Debugging
SPLASH OOPSLA
Rohan Bavishi IIT Kanpur, India, Awanish Pandey IIT Kanpur, India, Subhajit Roy IIT Kanpur, India
DOI

Sun 30 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1

Wed 2 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change