Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016
Amsterdam, Netherlands
co-located with
SPLASH 2016
Toggle navigation
Attending
Restaurant: Fifteen
Venue: Mövenpick Hotel Amsterdam City Centre
Venue: Banquet at Beurs van Berlage
Program
GPCE Program
Your Program
Mon 31 Oct
Tue 1 Nov
Track/Call
Organization
GPCE 2016 Committees
Organizing Committee
Track Committees
Keynote Speaker
Program Committee
Contributors
People Index
Search
Series
Series
GPCE 2025
GPCE 2024
GPCE 2023
GPCE 2022
GPCE 2021
GPCE 2020
GPCE 2019
GPCE 2018
GPCE 2017
GPCE 2016
GPCE 2015
GPCE 2014
GPCE 2013
GPCE 2011
Sign in
Sign up
SPLASH 2016
(
series
) /
GPCE 2016 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Matterhorn 1
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Matterhorn 1
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 30 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
First Session
Parsing@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 Session
Parsing@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
Frank Coyle
SMU
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 Session
Parsing@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 Session
Parsing@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 Keynote
DSLDI
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
13:30 - 15:10
Session 1
DSLDI
at
Matterhorn 1
13:30
25m
Talk
The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions
DSLDI
Vadim Zaytsev
Raincode, Belgium
File Attached
13:55
25m
Talk
Naturally Embedded DSLs
DSLDI
Jonathan Aldrich
Carnegie Mellon University
,
Alex Potanin
Victoria University of Wellington
14:20
25m
Talk
Towards explanation-oriented introductory programming
DSLDI
Julian Jabs
University of Tübingen
14:45
25m
Talk
DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation
DSLDI
Robert Aish
Bartlett School of Architecture, UCL
,
Emmanuel Mendoza
ARM, Ltd
15:40 - 17:20
Session 2
DSLDI
at
Matterhorn 1
15:40
25m
Talk
Collaborative Design, Implementation and Use of Domain-Specific Languages
DSLDI
Juha-Pekka Tolvanen
MetaCase, Finland
16:05
25m
Talk
Program Generation for Linear Algebra Using Multiple Layers of DSLs
DSLDI
Daniele G. Spampinato
ETH Zurich
,
Diego Fabregat-Traver
RWTH Aachen
,
Markus Püschel
ETH Zurich
,
Paolo Bientinesi
16:30
25m
Talk
The Matrix Chain Algorithm to Compile Linear Algebra Expressions
DSLDI
Henrik Barthels
RWTH Aachen
,
Paolo Bientinesi
16:55
25m
Talk
The Definition and Anatomy of Model Driven Engineering and Domain Specific Languages
DSLDI
Bruce Trask
MDE Systems Inc.
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Session 1
DLS
at
Matterhorn 1
08:30
90m
Talk
DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8
Keynote
DLS
I:
Ross McIlroy
Google
10:30 - 12:10
Session 2
DLS
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 3
DLS
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 4
DLS
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 Performance
SPLASH OOPSLA
at
Matterhorn 1
Chair(s):
Jan Vitek
Northeastern University
10:30
25m
Talk
A Compiler for Throughput Optimization of Graph Algorithms on GPUs
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 GPUs
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 I
SPLASH 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
,
Robert Bruce 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-)Effect
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 Filestores
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 Analysis
SPLASH 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 Code
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 Checking
SPLASH 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 Support
SPLASH OOPSLA
at
Matterhorn 1
Chair(s):
Laurence Tratt
King's College London
13:30
25m
Talk
Efficient and Thread-Safe Objects for Dynamically-Typed Languages
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 OpenJDK
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 Learning
SPLASH 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 Grammars
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 Demonstration
SPLASH OOPSLA
Shaon Barman
UC Berkeley
,
Sarah E. Chasins
University of California, Berkeley
,
Rastislav Bodík
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 Solver
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 Practice
SPLASH 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 Code
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 Pointers
SPLASH OOPSLA
Nada Amin
EPFL
,
Ross Tate
Cornell University
Link to publication
DOI
Pre-print
13:30 - 15:10
Bug Detection Analysis and Model Checking
SPLASH 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 Refinement
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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 1
Parsing@SLE
First Session
Parsing@SLE
Second Session
Parsing@SLE
Third Session
Parsing@SLE
Fourth Session
Mon 31 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 1
DSLDI
Opening and Keynote
DSLDI
Session 1
DSLDI
Session 2
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 1
DLS
Session 1
DLS
Session 2
DLS
Session 3
DLS
Session 4
Wed 2 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 1
SPLASH OOPSLA
Optimization and Performance
SPLASH OOPSLA
Language Design and Programming Models I
SPLASH OOPSLA
Static Analysis
Thu 3 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 1
SPLASH OOPSLA
Concurrency Analysis and Model Checking
SPLASH OOPSLA
Runtime Support
SPLASH OOPSLA
Program Modeling and Learning
Fri 4 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Matterhorn 1
SPLASH OOPSLA
Typing, in Practice
SPLASH OOPSLA
Bug Detection Analysis and Model Checking
Sun 30 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 1
Parsing@SLE
Opening
08:30 - 08:45
Parsing@SLE
Disambiguation for SDF3 with Deep Priority Conflicts
08:45 - 09:10
Parsing@SLE
Multiple input GLL parsing
09:10 - 09:35
Parsing@SLE
Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern
09:35 - 10:00
Parsing@SLE
MADFAct—Constructing Dictionaries
10:30 - 10:55
Parsing@SLE
There’s more than one way to skin a cat
10:55 - 11:20
Parsing@SLE
Knowledge-Based Support for Domain Specific Language Generation
11:20 - 11:45
Parsing@SLE
Parsing in K-Framework
11:45 - 12:10
Parsing@SLE
Context-Sensitive Parsing Through Stateful Parsing
13:30 - 13:55
Parsing@SLE
Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency ...
13:55 - 14:20
Parsing@SLE
Deriving Grammar Transformations for Developing and Maintaining Multipl ...
14:20 - 14:45
Parsing@SLE
Composition of independent language extensions to C
14:45 - 15:10
Parsing@SLE
Generalised Parsing and Combinator Parsing: a Happy Marriage?
15:40 - 16:05
Parsing@SLE
Good enough for you? Explaining ourselves through standard challenges
16:05 - 16:30
Parsing@SLE
Discussion and closing
16:30 - 17:20
Mon 31 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 1
DSLDI
Small, simple and smelly: What we can learn from examining end-user art ...
10:30 - 12:10
DSLDI
The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions
13:30 - 13:55
DSLDI
Naturally Embedded DSLs
13:55 - 14:20
DSLDI
Towards explanation-oriented introductory programming
14:20 - 14:45
DSLDI
DesignScript: a scalable multi-paradigm domain-specific end-user langua ...
14:45 - 15:10
DSLDI
Collaborative Design, Implementation and Use of Domain-Specific Languages
15:40 - 16:05
DSLDI
Program Generation for Linear Algebra Using Multiple Layers of DSLs
16:05 - 16:30
DSLDI
The Matrix Chain Algorithm to Compile Linear Algebra Expressions
16:30 - 16:55
DSLDI
The Definition and Anatomy of Model Driven Engineering and Domain Speci ...
16:55 - 17:20
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Matterhorn 1
DLS
Keynote
DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8
08:30 - 10:00
DLS
Type Unsoundness in Practice: An Empirical Study of Dart
10:30 - 10:55
DLS
Type Safety Analysis for Dart
10:55 - 11:20
DLS
Precise and Scalable Static Analysis of jQuery using a Regular Expressi ...
11:20 - 11:45
DLS
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance M ...
11:45 - 12:10
DLS
Parallel Virtual Machines with RPython
13:30 - 13:55
DLS
Building Efficient and Highly Run-Time Adaptable Virtual Machines
13:55 - 14:20
DLS
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaS ...
14:20 - 14:45
DLS
Optimizing R Language Execution via Aggressive Speculation
14:45 - 15:10
DLS
A Small Embedding of Logic Programming with a Simple Complete Search
15:40 - 16:05
DLS
Modular Semantic Actions
16:05 - 16:30
DLS
Cross-Language Compiler Benchmarking: Are We Fast Yet?
16:30 - 16:55
Wed 2 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 1
SPLASH OOPSLA
A Compiler for Throughput Optimization of Graph Algorithms on GPUs
10:30 - 10:55
SPLASH OOPSLA
Automatic Parallelization of Pure Method Calls via Conditional Future S ...
10:55 - 11:20
SPLASH OOPSLA
Portable Inter-workgroup Barrier Synchronisation for GPUs
11:20 - 11:45
SPLASH OOPSLA
Parallel Incremental Whole-Program Optimizations for Scala.js
11:45 - 12:10
SPLASH OOPSLA
Extensible Access Control with Authorization Contracts
13:30 - 13:55
SPLASH OOPSLA
Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (C ...
13:55 - 14:20
SPLASH OOPSLA
Incremental Forest: A DSL for Efficiently Managing Filestores
14:20 - 14:45
SPLASH OOPSLA
LaCasa: Lightweight Affinity and Object Capabilities in Scala
14:45 - 15:10
SPLASH OOPSLA
Accelerating Program Analyses by Cross-Program Training
15:40 - 16:05
SPLASH OOPSLA
An Improved Algorithm for Slicing Machine Code
16:05 - 16:30
SPLASH OOPSLA
Call Graphs for Languages with Parametric Polymorphism
16:30 - 16:55
SPLASH OOPSLA
Type Inference for Static Compilation of JavaScript
16:55 - 17:20
Thu 3 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 1
SPLASH OOPSLA
Directed Synthesis of Failing Concurrent Executions
10:30 - 10:55
SPLASH OOPSLA
Maximal Causality Reduction for TSO and PSO
10:55 - 11:20
SPLASH OOPSLA
Stateless Model Checking with Data-Race Preemption Points
11:20 - 11:45
SPLASH OOPSLA
Precise and Maximal Race Detection from Incomplete Traces
11:45 - 12:10
SPLASH OOPSLA
Efficient and Thread-Safe Objects for Dynamically-Typed Languages
13:30 - 13:55
SPLASH OOPSLA
Hybrid STM/HTM for Nested Transactions on OpenJDK
13:55 - 14:20
SPLASH OOPSLA
Makalu: Fast Recoverable Allocation of Non-volatile Memory
14:20 - 14:45
SPLASH OOPSLA
Prioritized Garbage Collection: Explicit GC Support for Software Caches
14:45 - 15:10
SPLASH OOPSLA
Computing Repair Alternatives for Malformed Programs using Constraint A ...
15:40 - 16:05
SPLASH OOPSLA
Probabilistic Model for Code with Decision Trees
16:05 - 16:30
SPLASH OOPSLA
Ringer: Web Automation by Demonstration
16:30 - 16:55
SPLASH OOPSLA
Scalable Verification of Border Gateway Protocol Configurations with an ...
16:55 - 17:20
Fri 4 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Matterhorn 1
SPLASH OOPSLA
A Practical Framework for Type Inference Error Explanation
10:30 - 10:55
SPLASH OOPSLA
Dynamically Diagnosing Type Errors in Unsafe Code
10:55 - 11:20
SPLASH OOPSLA
First-Class Effect Reflection for Effect-Guided Programming
11:20 - 11:45
SPLASH OOPSLA
Java and Scala's Type Systems are Unsound: The Existential Crisis of Nu ...
11:45 - 12:10
SPLASH OOPSLA
Finding Compiler Bugs via Live Code Mutation
13:30 - 13:55
SPLASH OOPSLA
Finding Resume and Restart Errors in Android Applications
13:55 - 14:20
SPLASH OOPSLA
Low-Overhead and Fully Automated Statistical Debugging with Abstraction ...
14:20 - 14:45
SPLASH OOPSLA
To Be Precise: Regression Aware Debugging
14:45 - 15:10
x
Sat 14 Dec 11:23