Matterhorn 2 - Onward! 2016

VenueMövenpick Hotel Amsterdam City Centre

Room nameMatterhorn 2

Floor0

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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 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	TypesScala 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	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 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 & 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	ParsingScala 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 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 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 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 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 MethodologiesSPLASH 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 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 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 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 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 MeetingSPLASH 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 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 Guy L. Steele Jr. Oracle Labs, Robert Hirschfeld HPI
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


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						ScalaKeynote 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						ScalaKeynote 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 AwardsAward OOPSLA 10-year Most Influential Paper Award 08:40 - 08:45	SPLASH Keynotes and AwardsKeynote 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 AwardsAward OOPSLA Awards 08:30 - 08:50				SPLASH Keynotes and AwardsKeynote 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 AwardsAward 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 AwardsAward Onward! Most Notable Paper Award 08:40 - 08:45	SPLASH Keynotes and AwardsAward Student Awards 08:45 - 08:55		SPLASH Keynotes and AwardsKeynote 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 -IKeynote SPLASH-I Keynote: How to Tell a Compiler What We Think We Know? 15:40 - 17:00

Room information: Matterhorn 2

Program Display Configuration

Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Scala

Scala

Scala

Scala

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Scala

Scala

Scala

Scala

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLATEAU

PLATEAU

PLATEAU

PLATEAU

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SPLASH Keynotes and Awards

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SPLASH Keynotes and Awards

SPLASH OOPSLA

SPLASH OOPSLA

Onward! Papers

SPLASH Keynotes and Awards

Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SPLASH Keynotes and Awards

Onward! Papers

Onward! Essays

SPLASH -I

Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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