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 2
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Matterhorn 2
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
Keynote 1
Scala
at
Matterhorn 2
08:30
30m
Day opening
Opening - Day 1
Scala
Sandro Stucki
EPFL
,
Manohar Jonnalagedda
EPFL, Switzerland
09:00
60m
Talk
Fine-grained language composition without a common VM
Keynote
Scala
Laurence Tratt
King's College London
Media Attached
10:30 - 12:10
Types
Scala
at
Matterhorn 2
10:30
25m
Talk
Implementing Higher-Kinded Types in Dotty
Scala
Martin Odersky
EPFL, Switzerland
,
Guillaume Martres
EPFL, Switzerland
,
Dmitry Petrashko
EPFL, Switzerland
DOI
Pre-print
Media Attached
10:55
25m
Talk
Semantics-Driven Interoperability between Scala.js and JavaScript
Scala
Sébastien Doeraene
EPFL, Switzerland
,
Tobias Schlatter
EPFL, Switzerland
,
Nicolas Stucki
EPFL, Switzerland
DOI
Pre-print
11:20
25m
Talk
A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)
Scala
Fengyun Liu
EPFL, Switzerland
DOI
Media Attached
11:45
25m
Talk
Scaps: Type-Directed API Search for Scala
Scala
Lukas Wegmann
1plusX, Switzerland
,
Farhad Mehta
University of Applied Sciences Rapperswil, Switzerland
,
Peter Sommerlad
University of Applied Sciences Rapperswil, Switzerland
,
Mirko Stocker
University of Applied Sciences Rapperswil, Switzerland
DOI
File Attached
13:30 - 15:10
Embedding
Scala
at
Matterhorn 2
13:30
25m
Talk
RandIR: Differential Testing for Embedded Compilers
Scala
Georg Ofenbeck
ETH Zurich, Switzerland
,
Tiark Rompf
Purdue University, USA
,
Markus Püschel
ETH Zurich
DOI
File Attached
13:55
25m
Talk
Reflections on LMS: Exploring Front-End Alternatives
Scala
Tiark Rompf
Purdue University, USA
DOI
14:20
25m
Talk
SecureScala: Scala Embedding of Secure Computations
Scala
Markus Hauck
codecentric AG
,
Savvas Savvides
Purdue University
,
Patrick Eugster
Purdue University
,
Mira Mezini
TU Darmstadt
,
Guido Salvaneschi
TU Darmstadt, Germany
DOI
Pre-print
Media Attached
14:45
25m
Talk
Towards a Scala embedded information system description DSL
Scala
Zeljko Bajic
,
Milan Jovic
Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad
15:40 - 17:20
Types and Embedding
Scala
at
Matterhorn 2
15:40
25m
Talk
Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions”
Scala
Paolo G. Giarrusso
University of Tübingen, Germany
,
Jonathan Immanuel Brachthäuser
University of Tübingen, Germany
16:05
25m
Talk
A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Scala
Tim van der Lippe
Delft University of Technology, Netherlands
,
Thomas Smith
Delft University of Technology, Netherlands
,
Daniel A. A. Pelsmaeker
Delft University of Technology, Netherlands
,
Eelco Visser
Delft University of Technology, Netherlands
DOI
File Attached
16:30
50m
Other
Unconference 1
Scala
Mon 31 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Keynote 2
Scala
at
Matterhorn 2
08:30
30m
Day opening
Opening - Day 2
Scala
Sandro Stucki
EPFL
,
Manohar Jonnalagedda
EPFL, Switzerland
09:00
60m
Talk
This is not a Type: Gradual typing in practice
Keynote
Scala
Jan Vitek
Northeastern University
10:30 - 12:10
Reactive, Concurrent, Distributed Computation | Parsing
Scala
at
Matterhorn 2
Chair(s):
Sébastien Doeraene
EPFL, Switzerland
10:30
25m
Talk
Practical Aggregate Programming in Scala
Scala
Roberto Casadei
University of Bologna, Italy
Media Attached
10:55
25m
Talk
DynaML: A Scala machine learning environment
Scala
Mandar Chandorkar
Centrum Wiskunde & Informatica
11:20
25m
Talk
Scala-Gopher: CSP-style programming techniques with idiomatic Scala.
Scala
Ruslan Shevchenko
vertamedia
Media Attached
11:45
25m
Talk
Reactive Async: Expressive Deterministic Concurrency
Scala
Philipp Haller
KTH Royal Institute of Technology
,
Simon Geries
KTH Royal Institute of Technology, Sweden
,
Michael Eichberg
TU Darmstadt, Germany
,
Guido Salvaneschi
TU Darmstadt, Germany
DOI
Pre-print
Media Attached
13:30 - 15:10
Analysis, Testing & Verification
Scala
at
Matterhorn 2
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
13:30
25m
Talk
SMT-Based Checking of Predicate-Qualified Types for Scala
Scala
Georg Stefan Schmid
EPFL, Switzerland
,
Viktor Kunčak
EPFL, Switzerland
DOI
File Attached
13:55
25m
Talk
A Scala Library for Testing Student Assignments on Concurrent Programming
Scala
Mikaël Mayer
EPFL, Switzerland
,
Ravichandhran Madhavan
EPFL
DOI
File Attached
14:20
25m
Talk
Building a Modular Static Analysis Framework in Scala (Tool Paper)
Scala
Quentin Stiévenart
Vrije Universiteit Brussel, Belgium
,
Jens Nicolay
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel, Belgium
,
Coen De Roover
Vrije Universiteit Brussel, Belgium
DOI
14:45
25m
Talk
Automatically finding Scala soundness bugs
Scala
Kartik Chandra
Henry M. Gunn High School
,
Rastislav Bodík
University of Washington, USA
Media Attached
15:40 - 17:20
Parsing
Scala
at
Matterhorn 2
15:40
25m
Talk
Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification
Scala
Scott Buckley
Macquarie University, Australia
16:05
25m
Talk
The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Scala
Anthony Sloane
Macquarie University, Australia
,
Franck Cassez
Macquarie University, Australia
,
Scott Buckley
Macquarie University, Australia
DOI
Media Attached
16:30
50m
Other
Unconference 2
Scala
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Session 1
PLATEAU
at
Matterhorn 2
Chair(s):
Thomas LaToza
George Mason University
08:30
30m
Day opening
Welcome and Introduction
PLATEAU
09:00
60m
Talk
PLATEAU Keynote: How to Design a Programming Language
PLATEAU
Alan Blackwell
University of Cambridge
10:30 - 12:10
Session 2
PLATEAU
at
Matterhorn 2
Chair(s):
Joshua Sunshine
Carnegie Mellon University
10:30
33m
Talk
Discount Method for Programming Language Evaluation
PLATEAU
Svetomir Kurtev
Aalborg University, Denmark
,
Tommy Aagaard Christensen
Aalborg University, Denmark
,
Bent Thomsen
Aalborg University, Denmark
DOI
Pre-print
11:03
33m
Talk
Does Live Programming Help Program Comprehension? -- A user study with Live Robot Programming
PLATEAU
Miguel Campusano
DCC, Universidad de Chile
,
Alexandre Bergel
University of Chile
,
Johan Fabry
University of Chile
File Attached
11:36
33m
Talk
AngularJS in the Wild: A Survey with 460 Developers
PLATEAU
Miguel Ramos
Federal University of Minas Gerais, Brazil
,
Marco Tulio Valente
Federal University of Minas Gerais, Brazil
,
Ricardo Terra
Federal University of Lavras, Brazil
,
Gustavo Santos
Inria, France
DOI
Pre-print
13:30 - 15:10
Session 3
PLATEAU
at
Matterhorn 2
Chair(s):
Craig Anslow
Middlesex University, UK
13:30
30m
Talk
A Quantitative Study of Java Software Buildability
PLATEAU
Matúš Sulír
Technical University of Košice
,
Jaroslav Porubän
Technical University of Košice, Slovakia
DOI
Pre-print
14:00
30m
Talk
Benefits of Session Types for Software Development
PLATEAU
A. Laura Voinea
University of Glasgow, UK
,
Simon J. Gay
University of Glasgow, UK
DOI
Pre-print
14:30
20m
Talk
What Do We Really Know about Data Flow Languages?
PLATEAU
Guido Salvaneschi
TU Darmstadt, Germany
DOI
Pre-print
14:50
20m
Talk
What Is a Programming Language, Really?
PLATEAU
Amy Ko
University of Washington
DOI
Pre-print
15:40 - 17:20
Session 4
PLATEAU
at
Matterhorn 2
15:40
80m
Talk
Group Exercise
PLATEAU
17:00
20m
Talk
Discussion and Wrap Up
PLATEAU
Wed 2 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Keynote Wednesday
SPLASH Keynotes and Awards
at
Matterhorn 2
Chair(s):
Eelco Visser
Delft University of Technology, Netherlands
08:30
10m
Day opening
Welcome to SPLASH 2016
SPLASH Keynotes and Awards
S:
Eelco Visser
Delft University of Technology, Netherlands
08:40
5m
Awards
OOPSLA 10-year Most Influential Paper Award
Award
SPLASH Keynotes and Awards
Eelco Visser
Delft University of Technology, Netherlands
08:45
75m
Talk
SPLASH 2016 Keynote: The Science of Deep Specification
Keynote
SPLASH Keynotes and Awards
K:
Benjamin C. Pierce
University of Pennsylvania
Media Attached
10:30 - 12:10
Semantics and Verification
SPLASH OOPSLA
at
Matterhorn 2
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
10:30
25m
Talk
Semantics-Based Program Verifiers for All Languages
SPLASH OOPSLA
Andrei Stefanescu
University of Illinois at Urbana-Champaign
,
Daejun Park
University of Illinois at Urbana-Champaign
,
Shijiao Yuwen
University of Illinois at Urbana-Champaign
,
Yilong Li
Runtime Verification, Inc.
,
Grigore Roşu
University of Illinois at Urbana-Champaign
DOI
Media Attached
10:55
25m
Talk
Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
SPLASH OOPSLA
Ilya Sergey
University College London
,
Aleksandar Nanevski
IMDEA Software Institute
,
Anindya Banerjee
IMDEA Software Institute
,
Germán Andrés Delbianco
IMDEA Software Institute
DOI
Pre-print
Media Attached
File Attached
11:20
25m
Talk
An Operational Semantics for C/C++11 Concurrency
SPLASH OOPSLA
Kyndylan Nienhuis
University of Cambridge
,
Kayvan Memarian
University of Cambridge
,
Peter Sewell
University of Cambridge
DOI
11:45
25m
Talk
Modeling and Analysis of Remote Memory Access Programming
SPLASH OOPSLA
Andrei Marian Dan
ETH Zurich
,
Patrick Lam
University of Waterloo, Canada
,
Torsten Hoefler
ETH Zurich
,
Martin Vechev
ETH Zurich
DOI
Pre-print
Media Attached
13:30 - 15:10
Program Synthesis
SPLASH OOPSLA
at
Matterhorn 2
Chair(s):
Martin Odersky
EPFL, Switzerland
13:30
25m
Talk
Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
SPLASH OOPSLA
Shachar Itzhaky
MIT CSAIL
,
Rohit Singh
MIT
,
Rezaul Chowdhury
Stony Brook University
,
Kuat Yessenov
MIT
,
Yongquan Lu
MIT
,
Charles E. Leiserson
MIT
,
Armando Solar-Lezama
MIT CSAIL
DOI
Pre-print
Media Attached
13:55
25m
Talk
Speeding Up Machine-Code Synthesis
SPLASH OOPSLA
Venkatesh Srinivasan
University of Wisconsin - Madison
,
Tushar Sharma
University of Wisconsin - Madison, USA
,
Thomas Reps
University of Wisconsin - Madison and Grammatech Inc.
DOI
Pre-print
Media Attached
14:20
25m
Talk
Automated Reasoning for Web Page Layout
SPLASH OOPSLA
Pavel Panchekha
University of Washington
,
Emina Torlak
University of Washington
DOI
Media Attached
14:45
25m
Talk
FIDEX: Filtering Spreadsheet Data using Examples
SPLASH OOPSLA
Xinyu Wang
UT Austin
,
Sumit Gulwani
Microsoft Research
,
Rishabh Singh
Microsoft Research
DOI
Media Attached
15:40 - 17:20
Programming Frameworks, Tools, and Methodologies
SPLASH OOPSLA
at
Matterhorn 2
Chair(s):
Emerson Murphy-Hill
Google
15:40
25m
Talk
Purposes, Concepts, Misfits, and a Redesign of Git
SPLASH OOPSLA
Santiago Perez De Rosso
MIT CSAIL
,
Daniel Jackson
MIT
DOI
Pre-print
Media Attached
16:05
25m
Talk
Apex: Automatic Programming Assignment Error Explanation
SPLASH OOPSLA
Dohyeong Kim
Purdue University
,
Yonghwi Kwon
Purdue University
,
Peng Liu
Purdue University
,
I Luk Kim
Purdue University
,
David Mitchel Perry
Purdue University
,
Xiangyu Zhang
Purdue University
,
Gustavo Rodriguez-Rivera
Purdue University
DOI
Media Attached
16:30
25m
Talk
Asserting Reliable Convergence for Configuration Management Scripts
SPLASH OOPSLA
Oliver Hanappi
Vienna University of Technology
,
Waldemar Hummer
Vienna University of Technology
,
Schahram Dustdar
TU Wien
DOI
16:55
25m
Talk
Dependent Partitioning
SPLASH OOPSLA
Sean Treichler
Stanford University
,
Michael Bauer
NVIDIA Research
,
Rahul Sharma
Microsoft Research
,
Elliott Slaughter
,
Alex Aiken
Stanford University
DOI
Media Attached
Thu 3 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Keynote Thursday
SPLASH Keynotes and Awards
at
Matterhorn 2
Chair(s):
Yannis Smaragdakis
University of Athens
08:30
20m
Awards
OOPSLA Awards
Award
SPLASH Keynotes and Awards
O:
Yannis Smaragdakis
University of Athens
,
A:
Michael D. Bond
Ohio State University
08:50
70m
Talk
SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Objects As Modules
Keynote
SPLASH Keynotes and Awards
K:
Martin Odersky
EPFL, Switzerland
Media Attached
10:30 - 12:10
Language Design and Programming Models II
SPLASH OOPSLA
at
Matterhorn 2
Chair(s):
Olivier Tardieu
IBM Research
10:30
25m
Talk
Automatic Enforcement of Expressive Security Policies using Enclaves
SPLASH OOPSLA
Anitha Gollamudi
,
Stephen Chong
Harvard University
DOI
10:55
25m
Talk
Chain: Tasks and Channels for Reliable Intermittent Programs
SPLASH OOPSLA
Alexei Colin
Carnegie Mellon University
,
Brandon Lucia
Carnegie Mellon University
DOI
Pre-print
11:20
25m
Talk
GEMs: Shared-Memory Parallel Programming for Node.js
SPLASH OOPSLA
Daniele Bonetta
Oracle Labs
,
Luca Salucci
Università della Svizzera italiana (USI)
,
Stefan Marr
Johannes Kepler University Linz
,
Walter Binder
University of Lugano
DOI
11:45
25m
Talk
OrcO: A Concurrency-First Approach to Objects
SPLASH OOPSLA
Arthur Michener Peters
The University of Texas at Austin, Texas, USA
,
David Kitchin
Google, Inc.
,
John A. Thywissen
The University of Texas at Austin
,
William Cook
UT Austin
DOI
Pre-print
13:30 - 15:10
Principles, Across the Compilation Stack
SPLASH OOPSLA
at
Matterhorn 2
Chair(s):
Adam Chlipala
MIT CSAIL
13:30
25m
Talk
Semantic Subtyping for Imperative Object-Oriented Languages
SPLASH OOPSLA
Davide Ancona
University of Genova
,
Andrea Corradi
DOI
13:55
25m
Talk
Parsing with First-Class Derivatives
SPLASH OOPSLA
Jonathan Immanuel Brachthäuser
University of Tübingen, Germany
,
Tillmann Rendel
University of Tübingen, Germany
,
Klaus Ostermann
University of Tübingen, Germany
DOI
14:20
25m
Talk
The Missing Link: Explaining ELF Static Linking, Semantically
SPLASH OOPSLA
Stephen Kell
University of Cambridge
,
Dominic P. Mulligan
University of Cambridge
,
Peter Sewell
University of Cambridge
DOI
14:45
25m
Talk
Type Soundness for Dependent Object Types (DOT)
SPLASH OOPSLA
Tiark Rompf
Purdue University, USA
,
Nada Amin
EPFL
DOI
Pre-print
15:40 - 16:30
Session 3
Onward! Papers
at
Matterhorn 2
Chair(s):
Hidehiko Masuhara
Tokyo Institute of Technology, Japan
15:40
25m
Talk
Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications
Onward! Papers
Matt McCutchen
MIT
,
Shachar Itzhaky
MIT CSAIL
,
Daniel Jackson
MIT
DOI
Pre-print
Media Attached
16:05
25m
Talk
Moldable, Context-Aware Searching with Spotter
Onward! Papers
Andrei Chiş
University of Bern, Switzerland
,
Tudor Gîrba
feenk.com
,
Juraj Kubelka
University of Chile
,
Oscar Nierstrasz
University of Bern, Switzerland
,
Stefan Reichhart
,
Aliaksei Syrel
University of Bern
DOI
Pre-print
17:30 - 18:30
Business Meeting
SPLASH Keynotes and Awards
at
Matterhorn 2
17:30
5m
Meeting
SPLASH Steering Committee Report
SPLASH Keynotes and Awards
S:
Tony Hosking
Australian National University, Data61, and Purdue University
17:35
7m
Other
SPLASH 2016 General Chair's Report
SPLASH Keynotes and Awards
S:
Eelco Visser
Delft University of Technology, Netherlands
17:42
7m
Other
Onward Program Chair's Report
SPLASH Keynotes and Awards
O:
Emerson Murphy-Hill
Google
,
O:
Crista Lopes
University of California, Irvine
17:49
16m
Other
OOPSLA 2016 Program Chair's Report
SPLASH Keynotes and Awards
O:
Yannis Smaragdakis
University of Athens
18:05
5m
Awards
SIGPLAN Awards
Award
SPLASH Keynotes and Awards
O:
Yannis Smaragdakis
University of Athens
18:10
20m
Meeting
Proceedings of the ACM
SPLASH Keynotes and Awards
S:
Crista Lopes
University of California, Irvine
Fri 4 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Keynote Friday
SPLASH Keynotes and Awards
at
Matterhorn 2
Chair(s):
Crista Lopes
University of California, Irvine
,
Emerson Murphy-Hill
Google
08:30
10m
Day opening
SPLASH 2017
SPLASH Keynotes and Awards
S:
Gail Murphy
University of British Columbia
08:40
5m
Awards
Onward! Most Notable Paper Award
Award
SPLASH Keynotes and Awards
Guy L. Steele Jr.
Oracle Labs
,
Robert Hirschfeld
HPI
08:45
10m
Awards
Student Awards
Award
SPLASH Keynotes and Awards
S:
Sam Guyer
Tufts University
,
D:
Matthew Flatt
University of Utah
08:55
65m
Talk
SPLASH 2016 Keynote: A Human View of Programming Languages
Keynote
SPLASH Keynotes and Awards
Amy Ko
University of Washington
Media Attached
10:30 - 12:10
Session 4
Onward! Papers
at
Matterhorn 2
Chair(s):
Veselin Raychev
ETH Zurich, Switzerland
10:30
25m
Talk
Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift
Onward! Papers
Ivan Kuraj
MIT CSAIL, USA
,
Daniel Jackson
MIT
DOI
10:55
25m
Talk
Gramada: Immediacy in Programming Language Development
Onward! Papers
Patrick Rein
Hasso Plattner Institute
,
Marcel Taeumel
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
DOI
11:20
25m
Talk
Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Onward! Papers
Soumya Indela
University of Maryland at College Park
,
Mukul Kulkarni
University of Maryland at College Park
,
Kartik Nayak
University of Maryland at College Park
,
Tudor Dumitras
University of Maryland at College Park
DOI
11:45
25m
Talk
Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Onward! Papers
Meital Zilberstein
Technion
,
Eran Yahav
Technion
DOI
13:30 - 15:10
Onward! Essays II
Onward! Essays
at
Matterhorn 2
13:30
50m
Talk
A World of Active Objects for Work and Play: The First Ten Years of Lively
Onward! Essays
Daniel Ingalls
SAP Palo Alto Research Center
,
Tim Felgentreff
Hasso-Plattner-Institute, Potsdam
,
Robert Hirschfeld
HPI
,
Robert Krahn
CDG Labs
,
Jens Lincke
Hasso Plattner Institute
,
Marko Röder
HARC / Y Combinator Research
,
Antero Taivalsaari
Nokia Technologies
,
Tommi Mikkonen
Tampere University of Technology
DOI
14:20
50m
Talk
“in the control room of the banquet”
Onward! Essays
Richard P. Gabriel
Dream Songs, Inc. & IBM Research
DOI
15:40 - 17:00
Session 15 (Keynote)
SPLASH -I
at
Matterhorn 2
Chair(s):
Eelco Visser
Delft University of Technology, Netherlands
15:40
80m
Talk
SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?
Keynote
SPLASH -I
Guy L. Steele Jr.
Oracle Labs
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 2
Scala
Keynote 1
Scala
Types
Scala
Embedding
Scala
Types and Embedding
Mon 31 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 2
Scala
Keynote 2
Scala
Reactive, Concurrent, Distributed Computation | Parsing
Scala
Analysis, Testing & Verification
Scala
Parsing
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 2
PLATEAU
Session 1
PLATEAU
Session 2
PLATEAU
Session 3
PLATEAU
Session 4
Wed 2 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 2
SPLASH Keynotes and Awards
Keynote Wednesday
SPLASH OOPSLA
Semantics and Verification
SPLASH OOPSLA
Program Synthesis
SPLASH OOPSLA
Programming Frameworks, Tools, and Methodologies
Thu 3 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
18:00
30
Matterhorn 2
SPLASH Keynotes and Awards
Keynote Thursday
SPLASH OOPSLA
Language Design and Programming Models II
SPLASH OOPSLA
Principles, Across the Compilation Stack
Onward! Papers
Session 3
SPLASH Keynotes and Awards
Business Meeting
Fri 4 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
Matterhorn 2
SPLASH Keynotes and Awards
Keynote Friday
Onward! Papers
Session 4
Onward! Essays
Onward! Essays II
SPLASH -I
Session 15 (Keynote)
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 2
Scala
Opening - Day 1
08:30 - 09:00
Scala
Keynote
Fine-grained language composition without a common VM
09:00 - 10:00
Scala
Implementing Higher-Kinded Types in Dotty
10:30 - 10:55
Scala
Semantics-Driven Interoperability between Scala.js and JavaScript
10:55 - 11:20
Scala
A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Shor ...
11:20 - 11:45
Scala
Scaps: Type-Directed API Search for Scala
11:45 - 12:10
Scala
RandIR: Differential Testing for Embedded Compilers
13:30 - 13:55
Scala
Reflections on LMS: Exploring Front-End Alternatives
13:55 - 14:20
Scala
SecureScala: Scala Embedding of Secure Computations
14:20 - 14:45
Scala
Towards a Scala embedded information system description DSL
14:45 - 15:10
Scala
Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions”
15:40 - 16:05
Scala
A Scalable Infrastructure for Teaching Concepts of Programming Language ...
16:05 - 16:30
Scala
Unconference 1
16:30 - 17:20
Mon 31 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 2
Scala
Opening - Day 2
08:30 - 09:00
Scala
Keynote
This is not a Type: Gradual typing in practice
09:00 - 10:00
Scala
Practical Aggregate Programming in Scala
10:30 - 10:55
Scala
DynaML: A Scala machine learning environment
10:55 - 11:20
Scala
Scala-Gopher: CSP-style programming techniques with idiomatic Scala.
11:20 - 11:45
Scala
Reactive Async: Expressive Deterministic Concurrency
11:45 - 12:10
Scala
SMT-Based Checking of Predicate-Qualified Types for Scala
13:30 - 13:55
Scala
A Scala Library for Testing Student Assignments on Concurrent Programming
13:55 - 14:20
Scala
Building a Modular Static Analysis Framework in Scala (Tool Paper)
14:20 - 14:45
Scala
Automatically finding Scala soundness bugs
14:45 - 15:10
Scala
Using Scala’s pattern matching features for an attribute grammar formal ...
15:40 - 16:05
Scala
The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
16:05 - 16:30
Scala
Unconference 2
16:30 - 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
17:00
15
30
45
Matterhorn 2
PLATEAU
Welcome and Introduction
08:30 - 09:00
PLATEAU
PLATEAU Keynote: How to Design a Programming Language
09:00 - 10:00
PLATEAU
Discount Method for Programming Language Evaluation
10:30 - 11:03
PLATEAU
Does Live Programming Help Program Comprehension? -- A user study with ...
11:03 - 11:36
PLATEAU
AngularJS in the Wild: A Survey with 460 Developers
11:36 - 12:10
PLATEAU
A Quantitative Study of Java Software Buildability
13:30 - 14:00
PLATEAU
Benefits of Session Types for Software Development
14:00 - 14:30
PLATEAU
What Do We Really Know about Data Flow Languages?
14:30 - 14:50
PLATEAU
What Is a Programming Language, Really?
14:50 - 15:10
PLATEAU
Group Exercise
15:40 - 17:00
PLATEAU
Discussion and Wrap Up
17:00 - 17:20
Wed 2 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
17:00
15
30
45
Matterhorn 2
SPLASH Keynotes and Awards
Welcome to SPLASH 2016
08:30 - 08:40
SPLASH Keynotes and Awards
Award
OOPSLA 10-year Most Influential Paper Award
08:40 - 08:45
SPLASH Keynotes and Awards
Keynote
SPLASH 2016 Keynote: The Science of Deep Specification
08:45 - 10:00
SPLASH OOPSLA
Semantics-Based Program Verifiers for All Languages
10:30 - 10:55
SPLASH OOPSLA
Hoare-Style Specifications as Correctness Conditions for Non-linearizab ...
10:55 - 11:20
SPLASH OOPSLA
An Operational Semantics for C/C++11 Concurrency
11:20 - 11:45
SPLASH OOPSLA
Modeling and Analysis of Remote Memory Access Programming
11:45 - 12:10
SPLASH OOPSLA
Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver ...
13:30 - 13:55
SPLASH OOPSLA
Speeding Up Machine-Code Synthesis
13:55 - 14:20
SPLASH OOPSLA
Automated Reasoning for Web Page Layout
14:20 - 14:45
SPLASH OOPSLA
FIDEX: Filtering Spreadsheet Data using Examples
14:45 - 15:10
SPLASH OOPSLA
Purposes, Concepts, Misfits, and a Redesign of Git
15:40 - 16:05
SPLASH OOPSLA
Apex: Automatic Programming Assignment Error Explanation
16:05 - 16:30
SPLASH OOPSLA
Asserting Reliable Convergence for Configuration Management Scripts
16:30 - 16:55
SPLASH OOPSLA
Dependent Partitioning
16:55 - 17:20
Thu 3 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
17:00
15
30
45
18:00
15
30
45
Matterhorn 2
SPLASH Keynotes and Awards
Award
OOPSLA Awards
08:30 - 08:50
SPLASH Keynotes and Awards
Keynote
SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Obj ...
08:50 - 10:00
SPLASH OOPSLA
Automatic Enforcement of Expressive Security Policies using Enclaves
10:30 - 10:55
SPLASH OOPSLA
Chain: Tasks and Channels for Reliable Intermittent Programs
10:55 - 11:20
SPLASH OOPSLA
GEMs: Shared-Memory Parallel Programming for Node.js
11:20 - 11:45
SPLASH OOPSLA
OrcO: A Concurrency-First Approach to Objects
11:45 - 12:10
SPLASH OOPSLA
Semantic Subtyping for Imperative Object-Oriented Languages
13:30 - 13:55
SPLASH OOPSLA
Parsing with First-Class Derivatives
13:55 - 14:20
SPLASH OOPSLA
The Missing Link: Explaining ELF Static Linking, Semantically
14:20 - 14:45
SPLASH OOPSLA
Type Soundness for Dependent Object Types (DOT)
14:45 - 15:10
Onward! Papers
Object Spreadsheets: A New Computational Model for End-User Development ...
15:40 - 16:05
Onward! Papers
Moldable, Context-Aware Searching with Spotter
16:05 - 16:30
SPLASH Keynotes and Awards
SPLASH Steering Committee Report
17:30 - 17:35
SPLASH Keynotes and Awards
SPLASH 2016 General Chair's Report
17:35 - 17:42
SPLASH Keynotes and Awards
Onward Program Chair's Report
17:42 - 17:49
SPLASH Keynotes and Awards
OOPSLA 2016 Program Chair's Report
17:49 - 18:05
SPLASH Keynotes and Awards
Award
SIGPLAN Awards
18:05 - 18:10
SPLASH Keynotes and Awards
Proceedings of the ACM
18:10 - 18:30
Fri 4 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 2
SPLASH Keynotes and Awards
SPLASH 2017
08:30 - 08:40
SPLASH Keynotes and Awards
Award
Onward! Most Notable Paper Award
08:40 - 08:45
SPLASH Keynotes and Awards
Award
Student Awards
08:45 - 08:55
SPLASH Keynotes and Awards
Keynote
SPLASH 2016 Keynote: A Human View of Programming Languages
08:55 - 10:00
Onward! Papers
Exploring the Role of Sequential Computation in Distributed Systems: Mo ...
10:30 - 10:55
Onward! Papers
Gramada: Immediacy in Programming Language Development
10:55 - 11:20
Onward! Papers
Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Fr ...
11:20 - 11:45
Onward! Papers
Leveraging a Corpus of Natural Language Descriptions for Program Similarity
11:45 - 12:10
Onward! Essays
A World of Active Objects for Work and Play: The First Ten Years of Lively
13:30 - 14:20
Onward! Essays
“in the control room of the banquet”
14:20 - 15:10
SPLASH -I
Keynote
SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?
15:40 - 17:00
x
Sat 14 Dec 11:37