Write a Blog >>
ITSLE 2016
Mon 31 Oct 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
Complete Program
Your Program
Mon 31 Oct
Track/Call
Organization
ITSLE 2016 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
SPLASH 2016
(
series
) /
ITSLE 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 9 Nov 02:40