Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 2
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 30 Oct

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

08:30 - 10:00
Keynote 1Scala 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 VMKeynote
Scala
Laurence Tratt King's College London
Media Attached
10:30 - 12:10
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
EmbeddingScala 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 EmbeddingScala 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 2Scala 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 practiceKeynote
Scala
Jan Vitek Northeastern University
10:30 - 12:10
Reactive, Concurrent, Distributed Computation | ParsingScala 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
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 & VerificationScala 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
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 1PLATEAU 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 2PLATEAU 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 3PLATEAU 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 4PLATEAU 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 WednesdaySPLASH 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 AwardAward
SPLASH Keynotes and Awards
Eelco Visser Delft University of Technology, Netherlands
08:45
75m
Talk
SPLASH 2016 Keynote: The Science of Deep SpecificationKeynote
SPLASH Keynotes and Awards
K: Benjamin C. Pierce University of Pennsylvania
Media Attached
10:30 - 12:10
Semantics and VerificationSPLASH OOPSLA at Matterhorn 2
Chair(s): Jonathan Aldrich Carnegie Mellon University
10:30
25m
Talk
Semantics-Based Program Verifiers for All LanguagesAECDistinguished Paper Award
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 ObjectsAEC
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 ConcurrencyAEC
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 ProgrammingAECDistinguished Paper Award
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 SynthesisSPLASH OOPSLA at Matterhorn 2
Chair(s): Martin Odersky EPFL, Switzerland
13:30
25m
Talk
Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided TransformationsAEC
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 LayoutAEC
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 MethodologiesSPLASH OOPSLA at Matterhorn 2
Chair(s): Emerson Murphy-Hill Google
15:40
25m
Talk
Purposes, Concepts, Misfits, and a Redesign of GitAEC
SPLASH OOPSLA
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 ScriptsDistinguished Paper Award
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 ThursdaySPLASH Keynotes and Awards at Matterhorn 2
Chair(s): Yannis Smaragdakis University of Athens
08:30
20m
Awards
OOPSLA AwardsAward
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 ModulesKeynote
SPLASH Keynotes and Awards
K: Martin Odersky EPFL, Switzerland
Media Attached
10:30 - 12:10
Language Design and Programming Models IISPLASH 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 StackSPLASH OOPSLA at Matterhorn 2
Chair(s): Adam Chlipala MIT CSAIL
13:30
25m
Talk
Semantic Subtyping for Imperative Object-Oriented LanguagesAEC
SPLASH OOPSLA
Davide Ancona University of Genova, Andrea Corradi
DOI
13:55
25m
Talk
Parsing with First-Class DerivativesAEC
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, SemanticallyAEC
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)AEC
SPLASH OOPSLA
Tiark Rompf Purdue University, USA, Nada Amin EPFL
DOI Pre-print
15:40 - 16:30
Session 3Onward! 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
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
17:30 - 18:30
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 AwardsAward
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 FridaySPLASH 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 AwardAward
SPLASH Keynotes and Awards
08:45
10m
Awards
Student AwardsAward
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 LanguagesKeynote
SPLASH Keynotes and Awards
Amy Ko University of Washington
Media Attached
10:30 - 12:10
Session 4Onward! 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 IIOnward! 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

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

Mon 31 Oct

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

Tue 1 Nov

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

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

Wed 2 Nov

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

Thu 3 Nov

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

Fri 4 Nov

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

Thu 3 Nov

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Matterhorn 2