Program - SPLASH 2016

Detailed Table Session Timeline Detailed Timeline

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	Session 1 - Opening + KeynoteFOSD at Berlin Chair(s): Christoph Seidl Technische Universität Braunschweig, Leopoldo Teixeira Federal University of Pernambuco

08:30 10m Day opening		Workshop Opening FOSD Christoph Seidl Technische Universität Braunschweig, Leopoldo Teixeira Federal University of Pernambuco
08:40 80m Talk		Keynote: Perspectives of Projection-Based Variation Control Systems FOSD Thorsten Berger Chalmers University of Technology, Sweden

08:30 - 10:00	Introduction & LanguagesDSM at Hamburg Chair(s): Jonathan Sprinkle University of Arizona

08:30 35m Day opening		Workshop Introduction DSM
09:05 20m Talk		Run-time Code Generators for Model-level Debugging in Domain-specific Modeling, Verislav Djukić, Aleksandar Popović and Zhenli Lu. DSM
09:25 20m Talk		A DSL-based Approach for Elasticity Testing of Cloud System, Michel Albonico, Amine Benelallam, Jean-Marie Mottu and Gerson Sunyé DSM
09:45 15m Talk		DesignScript: a domain specific language for architectural computing (position paper), Robert Aish and Emmanuel Mendoza DSM

08:30 - 10:00	Proceeding Papers 1AGERE at Luzern

08:25 5m Day opening		Welcome AGERE
08:30 30m Talk		43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties AGERE Joeri De Koster Vrije Universiteit Brussel, Belgium, Tom Van Cutsem Nokia Bell Labs, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium DOI File Attached
09:00 30m Talk		Pluggable Scheduling for the Reactor Programming Model AGERE Aleksandar Prokopec Oracle Labs, Switzerland DOI
09:30 30m Talk		An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development AGERE Angelo Croatti University of Bologna, Alessandro Ricci University of Bologna, Italy DOI File Attached

08:30 - 10:00	First SessionParsing@SLE at Matterhorn 1

08:30 15m Day opening		Opening Parsing@SLE
08:45 25m Talk		Disambiguation for SDF3 with Deep Priority Conflicts Parsing@SLE Timothée Haudebourg ENS Rennes, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands File Attached
09:10 25m Talk		Multiple input GLL parsing Parsing@SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London File Attached
09:35 25m Demonstration		Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern Parsing@SLE Jonathan Aldrich Carnegie Mellon University

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

08:30 - 10:00	Model Checking and TransformationMETA at Matterhorn 3 Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany

08:30 30m Talk		Evolution of Metaprograms: XSLT as a Metaprogramming Language META Vadim Zaytsev Raincode, Belgium Media Attached File Attached
09:00 30m Talk		Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software META Harumi Watanabe Tokai University, Ikuta Tanigawa Kyusyu University, Nobuhiko Ogura Tokyo City University, Midori Sugaya Shibaura Institute of Technology, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University File Attached
09:30 30m Talk		Implementation of LMNtal Model Checkers: a Metaprogramming Approach META Yutaro Tsunekawa Waseda University, Taichi Tomioka Waseda University, Kazunori Ueda Waseda University Media Attached File Attached

10:30 - 12:10	Session 2FOSD at Berlin

10:30 30m Talk		Implementing Delta-Oriented SPLs using PEoPL: An Example Scenario and Case Study FOSD Benjamin Behringer University of Luxembourg, Germany, Moritz Fey Saarland University of Applied Sciences, Germany DOI
11:05 30m Talk		Higher-Order Delta Modeling for Software Product Line Evolution FOSD Sascha Lity Technische Universität Braunschweig, Matthias Kowal TU Braunschweig, Germany, Ina Schaefer TU Braunschweig, Germany DOI
11:40 30m Talk		Name Resolution Strategies in Variability Realization Languages for Software Product Lines FOSD Sven Schuster TU Braunschweig, Germany, Michael Nieke TU Braunschweig, Germany, Ina Schaefer TU Braunschweig, Germany DOI

10:30 - 12:10	Robotics and SafetyDSM at Hamburg Chair(s): Matti Rossi Aalto University School of Business

10:30 20m Talk		Model-Driven Separation of Concerns for Service Robotics, Kai Adam, Arvid Butting, Robert Heim, Oliver Kautz, Bernhard Rumpe and Andreas Wortmann DSM
10:50 20m Talk		Improving Maintenance by Creating a DSL for Configuring a Fieldbus, Mathijs Schuts and Jozef Hooman DSM
11:10 20m Talk		CPAL: High-Level Abstractions for Safe Embedded Systems, Nicolas Navet and Fejoz Loïc DSM
11:30 15m Demonstration		A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development, Matt Bunting, Yegeta Zeleke, Kennon McKeever and Jonathan Sprinkle DSM
11:45 15m Demonstration		Applying Test-Driven Development for Creating and Refining Domain-Specific Modeling Languages and Generators, Juha-Pekka Tolvanen DSM
12:00 15m Demonstration		Instance Modeling Assisted by an Optional Meta Level, Riccardo Solmi DSM

10:30 - 12:10	Proceeding Papers 2AGERE at Luzern

10:30 30m Talk		Interaction Protocols in the JADEL Programming Language AGERE Federico Bergenti University of Parma, Italy, Eleonora Iotti University of Parma, Italy, Stefania Monica University of Parma, Italy, Agostino Poggi University of Parma, Italy DOI File Attached
11:00 30m Talk		Atomic RMI 2: Distributed Transactions for Java AGERE Paweł T. Wojciechowski Poznań University of Technology, Poland, Konrad Siek Poznań University of Technology, Poland DOI
11:30 30m Talk		Conflicting Goals in Agent-Oriented Programming AGERE Maicon Rafael Zatelli Federal University of Santa Catarina, Brazil, Jomi Fred Hübner Federal University of Santa Catarina, Brazil, Alessandro Ricci University of Bologna, Italy, Rafael H. Bordini PUCRS, Brazil DOI File Attached
12:00 30m Talk		Many Spiders Make a Better Web: A Unified Web-Based Actor Framework AGERE Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium Link to publication DOI

10:30 - 12:10	Second SessionParsing@SLE at Matterhorn 1

10:30 25m Talk		MADFAct—Constructing Dictionaries Parsing@SLE Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR
10:55 25m Talk		There’s more than one way to skin a cat Parsing@SLE Nate Nystrom University of Lugano File Attached
11:20 25m Talk		Knowledge-Based Support for Domain Specific Language Generation Parsing@SLE Frank Coyle SMU File Attached
11:45 25m Demonstration		Parsing in K-Framework Parsing@SLE Radu Mereuta Faculty of Computer Science, UAIC, Iasi, Romania File Attached

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

10:30 - 12:10	Run-time ReflectionMETA at Matterhorn 3 Chair(s): Stefan Marr Johannes Kepler University Linz

10:30 30m Talk		A model for Reflection in Rule-Based Languages META Simon Van de Water VUB, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium Media Attached File Attached
11:00 30m Talk		Instance Migration in Dynamic Software Update META Pablo Tesone Inria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo Polito Inria, Luc Fabresse Mines Douai, Noury Bouraqadi Mines Douai, Stéphane Ducasse INRIA Lille Media Attached File Attached
11:30 30m Talk		AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming META Chris Seaton Oracle Labs Pre-print Media Attached File Attached

13:30 - 15:10	Session 3FOSD at Berlin

13:30 30m Talk		Formula Choice Calculus FOSD Spencer Hubbard Oregon State University, USA, Eric Walkingshaw Oregon State University, USA DOI
14:05 30m Talk		Implicit Constraints in Partial Feature Models FOSD Sofia Ananieva FZI Research Center for Information Technology, Matthias Kowal TU Braunschweig, Germany, Thomas Thüm University of Ulm, Ina Schaefer TU Braunschweig, Germany DOI
14:40 30m Talk		Towards Predicting Feature Defects in Software Product Lines FOSD Rodrigo Queiroz University of Waterloo, Canada, Thorsten Berger Chalmers University of Technology, Sweden, Krzysztof Czarnecki University of Waterloo, Canada DOI

13:30 - 15:10	Panel sessionDSM at Hamburg Chair(s): Juha-Pekka Tolvanen MetaCase, Finland

13:30 80m Talk		Panel on Industrial Use of Domain-Specific Modeling DSM
14:50 20m Other		Group work topic selection DSM

13:30 - 15:10	Work-in-progress Papers 1AGERE at Luzern

13:30 20m Talk		Actor Monitors for Adaptive Behaviour AGERE A: Tony Clark Middlesex University, London, A: Vinay Kulkarni , A: Souvik Barat , A: Balbir Barn File Attached
13:50 20m Talk		Dynamic Path Contraction for Distributed Dataflow Languages AGERE A: Borja Arnau de Régil Basáñez IMDEA Software Institute, A: Christopher Meiklejohn Université catholique de Louvain Pre-print File Attached
14:10 20m Talk		Shared State for Actors: Pass-By-Replication Semantics AGERE A: Tim Coppieters Vrije Universiteit Brussel, Belgium, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel, Belgium File Attached
14:30 20m Talk		Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems AGERE A: Takuo Watanabe Tokyo Institute of Technology, A: Kensuke Sawada Tokyo Institute of Technology, Japan File Attached
14:50 20m Talk		Towards Advanced Debugging Support for Actor Languages AGERE A: Carmen Torres Lopez , A: Stefan Marr Johannes Kepler University Linz, A: Hanspeter Mössenböck JKU Linz, Austria, A: Elisa Gonzalez Boix Vrije Universiteit Brussel Pre-print File Attached

13:30 - 15:10	Third SessionParsing@SLE at Matterhorn 1

13:30 25m Talk		Context-Sensitive Parsing Through Stateful Parsing Parsing@SLE Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
13:55 25m Talk		Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages Parsing@SLE Friedrich Steimann Fernuniversität
14:20 25m Talk		Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions Parsing@SLE Brian Malloy Clemson University, James Power Maynooth University
14:45 25m Demonstration		Composition of independent language extensions to C Parsing@SLE Ted Kaminski University of Minnesota, Lucas Kramer University of Minnesota, Eric Van Wyk University of Minnesota

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

13:30 - 15:10	Security & Capability-based DesignsMETA at Matterhorn 3 Chair(s): Shigeru Chiba University of Tokyo

13:30 30m Talk		Declaratively Specifying Security Policies For Web Applications META Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel Media Attached File Attached
14:00 30m Talk		Virtual Values for Taint and Information Flow Analysis META Prakasam Kannan San Jose State University, Thomas H. Austin , Mark Stamp San Jose State University, Tim Disney , Cormac Flanagan University of California, Santa Cruz Media Attached File Attached
14:30 30m Talk		Capability Safe Reflection for the Wyvern Language META Esther Wang Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University Media Attached File Attached

15:40 - 17:20	Session 4FOSD at Berlin

15:40 30m Talk		Variability Mining of State Charts FOSD David Wille TU Braunschweig, Germany, Sandro Schulze TU Hamburg, Germany, Ina Schaefer TU Braunschweig, Germany DOI
16:10 30m Talk		FeatureCoPP: Compositional Annotations FOSD Jacob Krüger Harz University of Applied Sciences, Germany, Ivonne Schröter University of Magdeburg, Germany, Andy Kenner METOP Magdeburg, Germany, Christopher Kruczek METOP Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany DOI
16:40 10m Talk		Lightning Talk: Comparing Variability Mechanisms for Requirements and Test Artifacts in Behaviour-Driven Development FOSD Neil Mather ARC Technology Ltd.
16:50 30m Talk		Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines FOSD Remo Lachmann Technische Universität Braunschweig, Sascha Lity Technische Universität Braunschweig, Mustafa Al-Hajjaji Magdeburg University, Franz E. Fürchtegott Technische Universität Braunschweig, Ina Schaefer TU Braunschweig, Germany DOI

15:40 - 17:20	Group work sessionDSM at Hamburg Chair(s): Matti Rossi Aalto University School of Business, Jonathan Sprinkle University of Arizona, Juha-Pekka Tolvanen MetaCase, Finland

15:40 80m Other		Group work DSM
17:00 20m Talk		Group work reporting and wrap-up DSM

15:40 - 17:20	Work-in-progress Papers 2AGERE at Luzern

15:40 20m Talk		Programming Actor-based Collective Adaptive Systems AGERE A: Roberto Casadei , A: Mirko Viroli File Attached
16:00 20m Talk		Separating Communication Concerns in Concurrent Systems AGERE A: Hongxing Geng , A: Nadeem Jamali File Attached
16:20 65m Meeting		DISCUSSION AGERE
17:25 5m Day closing		Closing AGERE

15:40 - 17:20	Fourth SessionParsing@SLE at Matterhorn 1

15:40 25m Talk		Generalised Parsing and Combinator Parsing: a Happy Marriage? Parsing@SLE L. Thomas van Binsbergen Royal Holloway University of London File Attached
16:05 25m Talk		Good enough for you? Explaining ourselves through standard challenges Parsing@SLE Adrian Johnstone Royal Holloway University of London, Elizabeth Scott Royal Holloway University of London File Attached
16:30 50m Other		Discussion and closing Parsing@SLE

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

15:40 - 17:20	Mirror-based ReflectionMETA at Matterhorn 3 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

15:40 60m Talk		Reflection in Dart: A Cautionary Experience META K: Gilad Bracha Google
16:40 40m Talk		ChromaKey: Towards Extensible Mirror Architectures META Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen Pre-print Media Attached File Attached

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

08:30 - 10:00	Session 1Mobile! at Lausanne

08:30 5m Day opening		Opening Mobile! C: Lori Flynn CERT
08:35 30m Talk		Keynote: "Beyond native apps: Web technologies to the rescue!" Mobile! Ivano Malavolta Vrije Universiteit Amsterdam Media Attached
09:05 30m Talk		Google Authentication Risks on iOS Mobile! Will Dormann CERT/CC, USA DOI
09:35 25m Talk		Managing Persistent Heap in NVRAM Mobile! Kumud Bhandari Rice University, USA DOI

08:30 - 10:00	Introductions and InheritanceNOOL at Luzern Chair(s): Roly Perera University of {Glasgow, Edinburgh}

08:30 30m Day opening		Welcome NOOL
09:00 60m Talk		The Essence of Inheritance NOOL Andrew Black Portland State University Link to publication Pre-print

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

08:30 - 10:00	Session 1VMIL at St Gallen Chair(s): Tony Hosking Australian National University, Data61, and Purdue University

08:30 10m Day opening		Opening Remarks VMIL Tony Hosking Australian National University, Data61, and Purdue University
08:40 55m Talk		Keynote: The good, the good enough, and some things we wish we had done differently: runtime design lessons from a production JVM VMIL K: Mark Stoodley IBM Canada Link to publication Media Attached
09:35 25m Talk		Extending OpenJDK To Support Hybrid STM/HTM VMIL Keith Chapman Purdue University, Tony Hosking Australian National University, Data61, and Purdue University, Eliot Moss University of Massachusetts Amherst DOI Pre-print Media Attached

	08:30 - 10:00	1. Basics & ContextSPLASH-E at Winterthur Chair(s): Steve Blackburn Australian National University

08:30 - 10:00	KeynoteGPCE at Zürich 2 Chair(s): Ina Schaefer TU Braunschweig, Germany

08:30 90m Talk		GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!Keynote GPCE K: Tiark Rompf Purdue University, USA

10:30 - 12:10	Session 1: ALIGNED, The Metadata Catalogue and BoosterSA-MDE at Basel Chair(s): Jeremy Gibbons University of Oxford, UK

10:30 25m Day opening		Welcome SA-MDE Jeremy Gibbons University of Oxford, UK
10:55 25m Talk		The ALIGNED vision SA-MDE Christian Dirschl Wolters Kluwer, Germany
11:20 25m Talk		Introducing the The Metadata Catalogue SA-MDE James Welch University of Oxford
11:45 25m Talk		Booster: A Gentle Introduction SA-MDE Seyyed Shah University of Oxford

10:30 - 12:10	Industry meets academyITSLE at Geneva Chair(s): Peter Kourzanov NXP, Netherlands

10:30 59m Talk		Keynote: Lessons learned about language engineering from the development of mbeddr ITSLE Markus Völter itemis, Germany Media Attached
11:30 9m Break		Coffee break ITSLE
11:40 30m Talk		Pattern Specification and Application in Metamodels in Ecore ITSLE Jia Zhang Altran, Mark van den Brand , Ana Maria Sutii Eindhoven University of Technology, Marc Hamilton Altran

10:30 - 12:10	Session 2Mobile! at Lausanne

10:30 25m Talk		Persistent Contextual Values as Inter-process Layers Mobile! Markus Raab Vienna University of Technology, Austria Link to publication DOI Pre-print Media Attached
10:55 25m Talk		Hacking with Multi-touch for Java (MT4j) Mobile! A: Craig Anslow Middlesex University, UK, A: Stuart Marshall Victoria University of Wellington, New Zealand, A: James Noble Victoria University of Wellington, New Zealand, A: Robert Biddle Carleton University, Canada DOI Pre-print File Attached
11:20 25m Talk		Regression Aware Debugging for Mobile Applications Mobile! Rohan Bavishi IIT Kanpur, India, Awanish Pandey IIT Kanpur, India, Subhajit Roy IIT Kanpur, India DOI Media Attached
11:45 25m Talk		Data Collection Requirements for Mobile Connected Health: An End User Development Approach Mobile! Jose Juan Dominguez Veiga Maynooth University, Ireland, Tomas E. Ward Maynooth University, Ireland DOI Pre-print Media Attached

10:30 - 12:10	Politeness and Popularity NOOL at Luzern Chair(s): Juliana Franco Imperial College London

10:30 35m Talk		Polite Programmers, Use Spaces in Identifiers When Needed NOOL Mircea F. Lungu University of Groningen, Jan Kurš University of Bern Pre-print
11:05 35m Talk		Actors and Hot Objects NOOL Tobias Wrigstad Uppsala University, Thorbiörn Fritzon Spotify Pre-print

10:30 - 12:10	Opening and KeynoteDSLDI at Matterhorn 1

10:30 1h40m Talk		Small, simple and smelly: What we can learn from examining end-user artifacts? DSLDI Felienne Hermans Delft University of Technology Media Attached

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

10:30 - 12:10	Session 1 (SPLASH-E)SPLASH-I at Matterhorn 3 Chair(s): Matthias Hauswirth University of Lugano

10:30 50m Talk		SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computingKeynote SPLASH-I Simon Peyton Jones Microsoft Research, Cambridge Media Attached File Attached
11:20 50m Talk		Snap!: Scheme Disguised as Scratch SPLASH-I Brian Harvey University of California, Berkeley Media Attached

10:30 - 12:10	Session 2VMIL at St Gallen Chair(s): Tony Hosking Australian National University, Data61, and Purdue University

10:30 50m Talk		SPLASH-E Keynote (Room Matterhorn 3) VMIL Simon Peyton Jones Microsoft Research, Cambridge
11:25 45m Talk		Invited Talk: Why aren't more users more happy with our VMs? VMIL K: Laurence Tratt King's College London Media Attached

10:30 - 12:10	2. SPLASH-I talks (room Matterhorn 3!)SPLASH-E at Winterthur Chair(s): Matthias Hauswirth University of Lugano

10:30 50m Talk		The dream of a lifetime: Shaping how our children learn computing SPLASH-E Simon Peyton Jones Microsoft Research, Cambridge Media Attached
11:20 50m Talk		Snap!: Scheme Disguised as Scratch SPLASH-E Brian Harvey University of California, Berkeley

10:30 - 12:10	Generative Programming IGPCE at Zürich 1 Chair(s): Shigeru Chiba University of Tokyo

10:30 30m Talk		Recaf: Java Dialects as Libraries GPCE Aggelos Biboudis University of Athens, Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen Pre-print Media Attached File Attached
11:00 30m Talk		Classless Java GPCE Yanlin Wang University of Hong Kong, Haoyuan Zhang , Marco Servetto Victoria University of Wellington, Bruno C. d. S. Oliveira University of Hong Kong
11:30 30m Talk		Extensible Modeling with Managed Data in Java GPCE Theologos Zacharopoulos Centrum Wiskunde & Informatica, Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen

10:30 - 12:10	Grammars and ParsingSLE at Zürich 2 Chair(s): Terence Parr University of San Francisco, USA

10:30 10m Day opening		Opening SLE Tijs van der Storm CWI & University of Groningen, Emilie Balland Sensational AG, Daniel Varro
10:40 25m Talk		Parsing and Reflective Printing, Bidirectionally SLE Zirun Zhu National University SOKENDAI, Japan, Yongzhe Zhang National University SOKENDAI, Japan, Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Pedro Martins University of California at Irvine, USA, João Saraiva University of Minho, Portugal, Zhenjiang Hu National University SOKENDAI, Japan DOI
11:05 25m Talk		Taming Context-Sensitive Languages with Principled Stateful Parsing SLE Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium DOI Pre-print
11:30 15m Talk		MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo) SLE Juha-Pekka Tolvanen MetaCase, Finland DOI Pre-print Media Attached
11:45 25m Talk		Efficient Development of Consistent Projectional Editors using Grammar Cells SLE Markus Völter itemis, Germany, Tamás Szabó itemis AG / TU Delft, Sascha Lisson itemis AG, Bernd Kolb itemis AG, Sebastian Erdweg Delft University of Technology, Netherlands, Thorsten Berger Chalmers University of Technology, Sweden DOI Pre-print Media Attached

13:30 - 15:10	Metadata Catalogue: Demos and Hands-onSA-MDE at Basel Chair(s): James Welch University of Oxford

13:30 50m Demonstration		Metadata Catalogue: A Guided Tour SA-MDE
14:20 50m Demonstration		Metadata Catalogue: Interactive Hands-On SA-MDE

13:30 - 15:10	Industrial DSLs and toolsITSLE at Geneva Chair(s): Yanja Dajsuren Eindhoven University of Technology, The Netherlands

13:30 29m Talk		Invited talk: Model Driven Software Engineering (MDSE) in the large ITSLE Betsy Pepels , Gert E. Veldhuijzen van Zanten
14:00 29m Talk		Solving the Bank with Rebel ITSLE Jouke Stoel CWI, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Joost Bosman ING Bank
14:30 29m Talk		Udapt: Edapt Extensions for Industrial Application ITSLE J.G.M. Mengerink Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology, R.R.H. Schiffelers ASML, Mark van den Brand Pre-print
15:00 10m Break		SPLASH break & networking ITSLE

13:30 - 15:10	Session 3Mobile! at Lausanne

13:30 25m Talk		Generative Programming: from High-Performance to Safety-Critical Applications Mobile! Nada Amin EPFL, Tiark Rompf Purdue University, USA Pre-print
13:55 15m Talk		Scaling Android User Interfaces: A Case Study of Squid Mobile! David S. Janzen California Polytechnic State University, USA, Andrew Hughes Steadfast Innovation, USA, Anthony Lenz Steadfast Innovation, USA DOI Pre-print
14:10 30m Talk		A Model-Based Method for Seamless Web and Mobile Experience Mobile! Marco Brambilla Politecnico di Milano, Italy, Andrea Mauri Politecnico di Milano, Italy, Mirco Franzago University of L'Aquila, Italy, Henry Muccini University of L'Aquila, Italy Link to publication DOI Pre-print Media Attached
14:40 15m Talk		Mobile Application Test Case Generation Focusing on External Events Mobile! Siena Yu Keio University, Japan, Shingo Takada Keio University, Japan DOI
14:55 15m Talk		GUI and Usage Model-Based Test Case Generation for Android Applications with Change Analysis Mobile! Jose Lorenzo San Miguel Keio University, Japan, Shingo Takada Keio University, Japan DOI

13:30 - 15:10	Typing and TranspilationNOOL at Luzern Chair(s): Tobias Wrigstad Uppsala University

13:30 35m Talk		Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java NOOL Tijs van der Storm CWI & University of Groningen Pre-print
14:05 35m Talk		Static Typing Without Static Types - Typing Inheritance from the Bottom Up NOOL Benjamin Chung Carnegie Mellon University, Paley Li Northeastern University, Jan Vitek Northeastern University Pre-print
14:40 35m Talk		The Essence of Subclassing NOOL Ole Lehrmann Madsen Aarhus University & The Alexandra Institute, Birger Møller-Pedersen University of Oslo Pre-print

13:30 - 15:10	Session 1DSLDI at Matterhorn 1

13:30 25m Talk		The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions DSLDI Vadim Zaytsev Raincode, Belgium File Attached
13:55 25m Talk		Naturally Embedded DSLs DSLDI Jonathan Aldrich Carnegie Mellon University, Alex Potanin Victoria University of Wellington
14:20 25m Talk		Towards explanation-oriented introductory programming DSLDI Julian Jabs University of Tübingen
14:45 25m Talk		DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation DSLDI Robert Aish Bartlett School of Architecture, UCL, Emmanuel Mendoza ARM, Ltd

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 Bodik University of Washington, USA Media Attached

13:30 - 15:10	Session 2 (AGERE)SPLASH-I at Matterhorn 3 Chair(s): Alessandro Ricci University of Bologna, Italy

13:30 1h40m Talk		Agent-Oriented Programming SPLASH-I Amal El Fallah-Segrouchni LIP6, John-Jules Meyer Universiteit Utrecht, Mehdi Dastani , Rafael Bordini PUCRS, Koen Hindriks Delft University of Technology, Netherlands, Rem Collier University College Dublin, Alessandro Ricci University of Bologna, Italy Media Attached

13:30 - 15:10	Session 3VMIL at St Gallen Chair(s): Tony Hosking Australian National University, Data61, and Purdue University

13:30 55m Talk		Keynote: WebAssembly from wire to machine code: a view inside V8's implementation VMIL K: Ben L. Titzer Google
14:25 45m Talk		Invited Talk: The seven ages of virtual machines (with apologies to Shakespeare) VMIL K: Jeremy Singer University of Glasgow

	13:30 - 15:10	3. Which Concepts to Teach?SPLASH-E at Winterthur Chair(s): Steve Blackburn Australian National University

13:30 - 15:10	Generative Programming IIGPCE at Zürich 1 Chair(s): Ulrik Pagh Schultz University of Southern Denmark

13:30 30m Talk		Actor Profiling in Virtual Execution Environments GPCE Andrea Rosà Università della Svizzera italiana, Lydia Y. Chen IBM Research Lab Zurich, Walter Binder University of Lugano
14:00 30m Talk		Bootstrapping Domain-Specific Meta-Languages in Language Workbenches GPCE Gabriël Konat Delft University of Technology, Sebastian Erdweg Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands Link to publication DOI Pre-print Media Attached
14:30 30m Talk		Dependence-Driven Delimited CPS Transformation for JavaScript GPCE Laure Philips Software Languages Lab, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel, Belgium File Attached

13:30 - 15:10	Runtime TechniquesSLE at Zürich 2 Chair(s): Julia Lawall Inria/LIP6

13:30 25m Talk		Experiences of Models@run-time with EMF and CDO SLE Daniel Seybold Ulm University, Germany, Jörg Domaschka Ulm University, Germany, Alessandro Rossini SINTEF, Norway, Christopher B. Hauser Ulm University, Germany, Frank Griesinger Ulm University, Germany, Athanasios Tsitsipas Ulm University, Germany DOI
13:55 25m Talk		Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation SLE Salvador Martínez Open University of Catalonia, France, Jokin García IK4-IKERLAN Research Center, Spain, Jordi Cabot Open University of Catalonia, Spain DOI
14:20 25m Talk		Object-Oriented Design Pattern for DSL Program Monitoring SLE Zoé Drey ENSTA Bretagne, France, Ciprian Teodorov ENSTA Bretagne, France DOI Media Attached
14:45 15m Talk		Execution Framework of the GEMOC Studio (Tool Demo) SLE Erwan Bousse TU Vienna, Austria, Thomas Degueule Inria, France, Didier Vojtisek Inria, France, Tanja Mayerhofer TU Vienna, Austria, Julien DeAntoni , Benoit Combemale University of Rennes 1, France DOI Pre-print Media Attached File Attached

15:40 - 17:20	Booster: Hands OnSA-MDE at Basel Chair(s): Seyyed Shah University of Oxford

15:40 33m Demonstration		Booster: A Guided Tour SA-MDE
16:13 33m Demonstration		Booster: Interactive Hands-On SA-MDE
16:46 33m Day closing		Wrap-up and discussion SA-MDE Jeremy Gibbons University of Oxford, UK

15:40 - 17:20	Industrial applicationsITSLE at Geneva Chair(s): Markus Völter itemis, Germany

15:40 29m Talk		A Domain Specific Language for Optimal Pumping Systems ITSLE Benjamin Saul Martin-Luther-University Halle-Wittenberg, Christian Berg Martin-Luther-University Halle-Wittenberg, Wolf Zimmermann Martin-Luther-University Halle-Wittenberg
16:10 29m Talk		Integrated Simulation of CIF3 and Simulink Models ITSLE Abhishek Sharma , Michel Reniers TU/e
16:40 9m Break		Short break ITSLE
16:50 30m Meeting		Panel discussion (Chairs: Yanja Dajsuren/Peter Kourzanov) ITSLE

15:40 - 17:20	Session 4Mobile! at Lausanne

15:40 90m Other		Group Activity with Mobile Development Topic Mobile!
17:10 10m Day closing		Closing Mobile! C: Lori Flynn CERT

15:40 - 17:20	Delegation and DecorationNOOL at Luzern Chair(s): Paley Li Northeastern University

15:40 35m Talk		Situated Objects NOOL Patrick Dubroy Y Combinator Research, USA Pre-print
16:15 35m Talk		Towards Automatic Decoration NOOL Tomoyuki Aotani Tokyo Institute of Technology, Tetsuo Kamina Ritsumeikan University Pre-print
16:50 35m Talk		Delegation Revisited NOOL Jonathan Aldrich Carnegie Mellon University, Alex Potanin Victoria University of Wellington Pre-print

15:40 - 17:20	Session 2DSLDI at Matterhorn 1

15:40 25m Talk		Collaborative Design, Implementation and Use of Domain-Specific Languages DSLDI Juha-Pekka Tolvanen MetaCase, Finland
16:05 25m Talk		Program Generation for Linear Algebra Using Multiple Layers of DSLs DSLDI Daniele G. Spampinato ETH Zurich, Diego Fabregat-Traver RWTH Aachen, Markus Püschel ETH Zurich, Paolo Bientinesi
16:30 25m Talk		The Matrix Chain Algorithm to Compile Linear Algebra Expressions DSLDI Henrik Barthels RWTH Aachen, Paolo Bientinesi
16:55 25m Talk		The Definition and Anatomy of Model Driven Engineering and Domain Specific Languages DSLDI Bruce Trask MDE Systems Inc.

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

15:40 - 17:20	Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research

15:40 1h40m Talk		The elements of decision alignment: Large programs as complex organizations SPLASH-I I: Mark Miller Google Inc., I: Bill Tulloh eRights.org Media Attached

15:40 - 17:20	Session 4VMIL at St Gallen Chair(s): Jeremy Singer University of Glasgow

15:40 25m Talk		Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle VMIL Manuel Rigger Johannes Kepler University, Linz, Austria, Matthias Grimmer Johannes Kepler University Linz, Christian Wimmer Oracle Labs, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria Pre-print
16:05 25m Talk		Improving Trace-based JIT Optimisation using Whole-Program Information VMIL Maarten Vandercammen Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel, Belgium DOI Pre-print
16:30 25m Talk		Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR VMIL Matthew Gaudet IBM Canada, Mark Stoodley IBM Canada
16:55 25m Day closing		Discussions/Closing Remarks VMIL Tony Hosking Australian National University, Data61, and Purdue University

	15:40 - 17:20	4. How to Teach? (Lesson Plans)SPLASH-E at Winterthur

15:40 - 17:20	Code Generation and SynthesisGPCE at Zürich 1 Chair(s): Julia Lawall Inria/LIP6

15:40 30m Talk		Synthesizing Regular Expressions from Examples for Introductory Automata Assignments GPCE Mina Lee Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
16:10 30m Talk		Programmable Semantic Fragments: The Design and Implementation of typy GPCE Cyrus Omar Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
16:40 30m Talk		Delaying Decisions in Variable Concern Hierarchies GPCE Jörg Kienzle McGill University, Canada, Gunter Mussbacher McGill University, Omar Alam Trent University, Philippe Collet University of Nice
17:10 15m Talk		Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers GPCE Sorin Adam Conpleks Innovation, Marco Kuhrmann , Ulrik Pagh Schultz University of Southern Denmark

15:40 - 17:20	Domain-Specific LanguagesSLE at Zürich 2 Chair(s): Jordi Cabot Open University of Catalonia, Spain

15:40 25m Talk		Language Design and Implementation for the Domain of Coding Conventions SLE Boryana Goncharenko University of Amsterdam, Netherlands, Vadim Zaytsev Raincode, Belgium DOI Media Attached
16:05 25m Talk		BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment SLE Zhaoyi Luo University of Waterloo, Canada, Joanne M. Atlee University of Waterloo, Canada DOI Media Attached
16:30 25m Talk		Adding Uncertainty and Units to Quantity Types in Software Models SLE Tanja Mayerhofer TU Vienna, Austria, Manuel Wimmer TU Vienna, Austria, Antonio Vallecillo University of Málaga, Spain DOI Media Attached
16:55 15m Talk		FRaMED: Full-Fledge Role Modeling Editor (Tool Demo) SLE Thomas Kühn TU Dresden, Germany, Kay Bierzynski TU Dresden, Germany, Sebastian Richly TU Dresden, Germany, Uwe Aßmann TU Dresden, Germany DOI Media Attached
17:10 10m Day closing		Awards SLE Emilie Balland Sensational AG, Daniel Varro , Vadim Zaytsev Raincode, Belgium, Dimitris Kolovos University of York

17:30 - 20:30	Poster Reception MondayPosters at PTA Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands, Jeff Huang Texas A&M University

17:30 18m Talk		A Sampling-based Approach to Accelerating Queries in Log Management Systems Posters Tal Wagner MIT CSAIL, Eric Schkufza Stanford University, Udi Wieder VMware
17:48 18m Talk		A Web Application is a Domain-Specific Language Posters David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa
18:06 18m Talk		Introducing Lightweight Reactive Values to Java Posters Tetsuo Kamina Ritsumeikan University
18:24 18m Talk		Reconsidering Reliability in Distributed Actor Systems Posters Raphael Hiesgen , Dominik Charousset , Thomas C. Schmidt HAW Hamburg
18:42 18m Talk		Reducing Procedure Call Bloat in ARM Binaries Posters Joseph Caldwell University of Tokyo
19:00 18m Talk		Removing Stagnation from Modern Code Review Posters Giovanni Viviani University of British Columbia, Gail Murphy University of British Columbia
19:18 18m Talk		Specifying CSS Layout with Reference Attribute Grammars Posters Scott Buckley Macquarie University, Australia, Anthony Sloane Macquarie University, Australia, Matthew Roberts Macquarie University
19:36 18m Talk		Supporting Resource Bounded Multitenancy in Akka Posters Ahmed Abdel Moamen University of Saskatchewan , Nadeem Jamali
19:54 18m Talk		libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux Posters Martin Alexander Neumann , Christoph Tobias Bach Karlsruhe Institute of Technology, Vincenz-Priessnitz-Str. 1, Karlsruhe, Germany, Stefan Kratochwil Karlsruhe Institute of Technology, Vincenz-Priessnitz-Str. 1, Karlsruhe, Germany
20:12 18m Talk		sk_p: a neural program corrector for MOOCs Posters Yewen Pu , Karthik Narasimhan MIT, Armando Solar-Lezama MIT CSAIL, Regina Barzilay MIT

17:30 - 20:30	Monday Poster ReceptionSocial Program at PTA

17:30 3h Social Event		Monday Poster Reception Social Program

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

08:30 - 10:00	Session 1Doctoral Symposium at Geneva

08:30 4m Day opening		Welcome Doctoral Symposium
08:34 16m Talk		Lightning Talks Doctoral Symposium
08:50 40m Talk		Integrating Concerns with Development Environments Doctoral Symposium Ján Juhár
09:30 40m Talk		Dedicated Support for Analyses and Optimizations in Language Workbenches Doctoral Symposium Tamás Szabó itemis AG / TU Delft

08:30 - 10:00	Session 1PLMW at Hamburg Chair(s): Sandrine Blazy IRISA / University of Rennes 1

08:30 30m Talk		Welcome and overview PLMW Ulrik Pagh Schultz University of Southern Denmark
09:00 60m Talk		Real Researchers Allow Passion to Guide Them PLMW Matthias Felleisen Northeastern University File Attached

08:30 - 10:00	Session 1REBLS at Lausanne

08:45 15m Day opening		Welcome and Introduction REBLS
09:00 60m Talk		ActiveSheets: Stream Processing with a Spreadsheet (Keynote) REBLS K: Olivier Tardieu IBM Research

08:30 - 10:00	Session 1DLS at Matterhorn 1

08:30 90m Talk		DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8Keynote DLS I: Ross McIlroy Google

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

08:30 - 10:00	Session 1SEPS at St Gallen

08:30 90m Talk		SEPS Keynote: Patterns for Parallel Programming: New and Improved! SEPS Beverly Sanders University of Florida

08:30 - 10:00	Session 1WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA

08:30 45m Talk		Feedback-Directed Instrumentation for Deployed JavaScript Applications WODA Frank Tip Samsung Research America
09:15 45m Talk		JavaScript in the Small WODA Cole Schlesinger Samsung Research America

08:30 - 10:00	SLE KeynoteSLE at Zürich 2 Chair(s): Tijs van der Storm CWI & University of Groningen

08:30 90m Talk		SLE 2016 Keynote: Redex: Lightweight Semantics EngineeringKeynote SLE I: Robby Findler Northwestern University Link to publication Media Attached

10:30 - 12:10	Session 2Doctoral Symposium at Geneva

10:30 40m Talk		VeriTaS: Verification of Type System Specifications Doctoral Symposium Sylvia Grewe TU Darmstadt Pre-print
11:10 40m Talk		Language Support for Verifiable SDNs Doctoral Symposium Matthias Eichholz

10:30 - 12:10	Session 2PLMW at Hamburg Chair(s): Ulrik Pagh Schultz University of Southern Denmark

10:30 60m Talk		Programing Languages Research in an Open Source Setting: the Coccinelle Experience PLMW Julia Lawall Inria/LIP6 File Attached
11:30 40m Other		Networking activity (before and after lunch) PLMW

10:30 - 12:10	Session 2REBLS at Lausanne

10:30 25m Talk		A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) REBLS Jaime Arias INRIA Grenoble Rhône-Alpes, Mauricio Cano , Jorge A. Pérez University of Groningen, The Netherlands Pre-print
10:55 25m Talk		Synchronous-Reactive Web Programming REBLS Rémy El Sibaïe UPMC, France, Emmanuel Chailloux UPMC, France DOI
11:20 25m Talk		Towards a Comprehensive Multitier Reactive Language REBLS Pascal Weisenburger , Guido Salvaneschi TU Darmstadt, Germany
11:45 25m Talk		I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming REBLS Florian Myter Vrije Universiteit Brussel, Belgium, Tim Coppieters Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium Link to publication DOI

10:30 - 12:10	Session 1LWC@SLE at Luzern Chair(s): Meinte Boersma Mendix

10:30 25m Talk		Solutions to Three Language Workbench Challenges using Wizards Workbench LWC@SLE Niall Barr University of Glasgow, Jeremy Singer University of Glasgow File Attached
10:55 25m Talk		Whole Platform Solution to a Selection of LWC16 Benchmark Problems LWC@SLE Riccardo Solmi Whole Factory srl, Enrico Persiani Metatis sas File Attached
11:20 25m Talk		Cedalion's Response to the 2016 Language Workbench Challenge LWC@SLE David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa File Attached
11:45 25m Talk		Language Workbench Challenge 2016: the JetBrains Meta Programming System LWC@SLE Eugen Schindler Oce, Klemens Schindler Sioux Embedded Systems, Federico Tomassetti Independent, Ana Maria Sutii Eindhoven University of Technology File Attached

10:30 - 12:10	Session 2DLS at Matterhorn 1 Chair(s): Gilad Bracha Google

10:30 25m Talk		Type Unsoundness in Practice: An Empirical Study of Dart DLS Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Denmark, Fabio Strocco Aarhus University, Denmark DOI
10:55 25m Talk		Type Safety Analysis for Dart DLS Thomas S. Heinze Aarhus University, Denmark, Anders Møller Aarhus University, Denmark, Fabio Strocco Aarhus University, Denmark DOI
11:20 25m Talk		Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain DLS Changhee Park KAIST, South Korea, Hyeonseung Im Kangwon National University, South Korea, Sukyoung Ryu KAIST, South Korea DOI
11:45 25m Talk		Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism DLS Mattias De Wael Vrije Universiteit Brussel, Belgium, Janwillem Swalens Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium DOI Pre-print File Attached

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

10:30 - 12:10	Session 4 (SPLASH-E)SPLASH-I at Matterhorn 3 Chair(s): Matthias Hauswirth University of Lugano

10:30 1h40m Talk		Bootstrap: Build Bridges, not Walls SPLASH-I Emmanuel Schanzer Brown University Media Attached

10:30 - 12:10	Session 2SEPS at St Gallen Chair(s): Tamer Dallou LG Electronics San Jose Lab

10:30 25m Talk		Reducing Parallelizing Compilation Time by Removing Redundant Analysis SEPS Jixin Han Waseda University, Japan, Rina Fujino Waseda University, Japan, Ryota Tamura Waseda University, Japan, Mamoru Shimaoka Waseda University, Japan, Hiroki Mikami Waseda University, Japan, Moriyuki Takamura OSCAR TECHNOLOGY, Japan, Sachio Kamiya OSCAR TECHNOLOGY, Japan, Kazuhiko Suzuki OSCAR TECHNOLOGY, Japan, Takahiro Miyajima OSCAR TECHNOLOGY, Japan, Keiji Kimura Waseda University, Hironori Kasahara Waseda University, Japan DOI
10:55 25m Talk		A Divide-and-Conquer Parallel Pattern Implementation for Multicores SEPS Marco Danelutto University of Pisa, Italy, Tiziano De Matteis University of Pisa, Italy, Gabriele Mencagli University of Pisa, Italy, Massimo Torquati University of Pisa, Italy DOI
11:20 25m Talk		Parallel Evaluation of a DSP Algorithm using Julia SEPS Peter Kourzanov NXP, Netherlands DOI
11:45 25m Talk		Exhaustive Analysis of Thread-Level Speculation SEPS Clark Verbrugge McGill University, Canada, Christopher J. F. Pickett McGill University, Canada, Alexander Krolik McGill University, Canada, Allan Kielstra IBM, Canada DOI

10:30 - 12:10	Session 2WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA

10:30 33m Talk		Inferring test oracles from the Javadoc documentation WODA Alessandra Gorla IMDEA Software Institute
11:03 33m Talk		The high-interest credit card of runtime enforcement WODA Ben Livshits Microsoft Research
11:36 33m Talk		Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications WODA Steven Arzt TU Darmstadt, Germany

10:30 - 12:10	Feature Models and Product LinesGPCE at Zürich 1 Chair(s): Christoph Seidl Technische Universität Braunschweig

10:30 30m Talk		A Change-Centric Approach to Compile Configurable Systems with #ifdefs GPCE Larissa Braz Federal University of Campina Grande, Rohit Gheyi UFCG, Brazil, Melina Mongiovi , Márcio Ribeiro Federal University of Alagoas (UFAL), Flavio Medeiros , Leopoldo Teixeira Federal University of Pernambuco
11:00 30m Talk		A Feature-Based Personalized Recommender System for Product-Line Configuration GPCE Juliana Alves Pereira University of Magdeburg, Pawel Matuszyk University of Magdeburg, Sebastian Krieter Magdeburg University, Myra Spiliopoulou University of Magdeburg, Gunter Saake Magdeburg University
11:30 30m Talk		Explaining Anomalies in Feature Models GPCE Matthias Kowal TU Braunschweig, Germany, Sofia Ananieva FZI Research Center for Information Technology, Thomas Thüm University of Ulm

10:30 - 12:10	Development EnvironmentsSLE at Zürich 2 Chair(s): Anthony Sloane Macquarie University, Australia

10:30 25m Talk		Towards a Universal Code Formatter through Machine Learning SLE Terence Parr University of San Francisco, USA, Jurgen Vinju CWI, Netherlands DOI Pre-print Media Attached File Attached
10:55 25m Talk		The IDE Portability Problem and Its Solution in Monto SLE Sven Keidel Delft University of Technology, Netherlands, Wulf Pfeiffer TU Darmstadt, Germany, Sebastian Erdweg Delft University of Technology, Netherlands DOI Media Attached File Attached
11:20 25m Talk		Principled Syntactic Code Completion using Placeholders SLE Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Sebastian Erdweg Delft University of Technology, Netherlands, Guido Wachsmuth Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands DOI Media Attached
11:45 15m Talk		DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo) SLE Joel Lindholm Lund University, Sweden, Johan Thorsberg Lund University, Sweden, Görel Hedin Lund University, Sweden DOI Media Attached

12:10 - 13:30	GPCE/SLE SCORG at Restaurant

12:10 80m Meeting		GPCE/SLE Steering Committee Meeting ORG G: Bernd Fischer Stellenbosch University, S: Tijs van der Storm CWI & University of Groningen

13:30 - 15:10	Session 3Doctoral Symposium at Geneva

13:30 40m Talk		Multitier Reactive Abstractions Doctoral Symposium Pascal Weisenburger
14:10 40m Talk		Scaling Testing of Refactoring Engines Doctoral Symposium Melina Mongiovi

13:30 - 15:10	Session 3PLMW at Hamburg Chair(s): Sandrine Blazy IRISA / University of Rennes 1

13:30 60m Talk		Why Programming Languages Matter PLMW Andrew Black Portland State University Pre-print
14:30 40m Other		Panel: Young Researchers PLMW Nada Amin EPFL, Casper Bach Poulsen Delft University of Technology, Vincent St-Amour Northeastern University

13:30 - 15:10	Session 2LWC@SLE at Luzern Chair(s): Markus Völter itemis, Germany

13:30 25m Talk		Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench LWC@SLE Gabriël Konat Delft University of Technology, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Sebastian Erdweg Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands File Attached
13:55 25m Talk		The Rascal Approach to Code in Prose, Computed Properties, and Language Extension LWC@SLE Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen File Attached
14:20 25m Talk		Languages the Racket Way: Submission to the 2016 Language Workbench Challenge LWC@SLE Daniel Feltey Northwestern University, Spencer P. Florence Northwestern University, Tim Knutson Univeristy of Utah, Vincent St-Amour Northeastern University, Ryan Culpepper Northeastern University, Matthew Flatt University of Utah, Robby Findler Northwestern University, Matthias Felleisen Northeastern University File Attached
14:45 25m Other		Preparation Discussion LWC@SLE

13:30 - 15:10	Session 3DLS at Matterhorn 1 Chair(s): Laurence Tratt King's College London

13:30 25m Talk		Parallel Virtual Machines with RPython DLS Remigius Meier ETH Zurich, Switzerland, Armin Rigo PyPy.org, Switzerland, Thomas Gross ETH Zurich DOI
13:55 25m Talk		Building Efficient and Highly Run-Time Adaptable Virtual Machines DLS Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz DOI Pre-print
14:20 25m Talk		Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript DLS Vincent Foley-Bourgon McGill University, Canada, Laurie Hendren McGill University, Canada DOI
14:45 25m Talk		Optimizing R Language Execution via Aggressive Speculation DLS Lukas Stadler Oracle Labs, Austria, Adam Welc Oracle Labs, USA, Christian Humer Oracle Labs, Switzerland, Mick Jordan Oracle Labs, USA DOI

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

13:30 - 15:10	Session 5SPLASH-I at Matterhorn 3 Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands

13:30 50m Talk		From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration SPLASH-I Emma Söderberg Google Media Attached
14:20 50m Talk		Designing and Debugging Surveys with SurveyMan SPLASH-I Emma Tosch University of Massachusetts, Amherst Media Attached

13:30 - 15:10	Session 3SEPS at St Gallen

13:30 1h40m Talk		SEPS Tutorial: Task-Based Programming Everywhere from Supercomputing to Embedded Multicore Systems SEPS P: Jaume Bosch Barcelona Supercomputing Center, P: Lucas Morais UNICAMP, P: Tamer Dallou LG Electronics San Jose Lab

13:30 - 15:10	Session 3WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA

13:30 50m Talk		Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation WODA Ben Liblit University of Wisconsin–Madison
14:20 50m Talk		What’s going on in the heap? WODA Sam Guyer Tufts University

13:30 - 15:10	Software Product Lines and TestingGPCE at Zürich 1 Chair(s): Tiark Rompf Purdue University, USA

13:30 30m Talk		IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling GPCE Mustafa Al-Hajjaji Magdeburg University, Sebastian Krieter Magdeburg University, Thomas Thüm University of Ulm, Malte Lochau TU Darmstadt, Gunter Saake Magdeburg University
14:00 30m Talk		Towards Scalable Configuration Testing in Variable Software GPCE Valentin Rothberg Friedrich-Alexander University of Erlangen-Nürnberg, Christian Dietrich , Andreas Ziegler Friedrich-Alexander University Erlangen-Nürnberg (FAU), Daniel Lohmann Friedrich-Alexander University of Erlangen-Nürnberg Pre-print Media Attached
14:30 15m Talk		Towards a Software Product Line of Trie-Based Collections GPCE Michael Steindorfer CWI, Netherlands, Jurgen Vinju CWI, Netherlands Pre-print Media Attached
14:45 15m Talk		Tool Demo: Testing Configurable Systems with FeatureIDE GPCE Mustafa Al-Hajjaji Magdeburg University, Jens Meinicke Magdeburg University, Sebastian Krieter Magdeburg University, Reimar Schröter Magdeburg University, Thomas Thüm University of Ulm, Thomas Leich Harz University of Applied Sciences, Germany, Gunter Saake Magdeburg University

13:30 - 15:10	Language ValidationSLE at Zürich 2 Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany

13:30 25m Talk		Automated Testing Support for Reactive Domain-Specific Modelling Languages SLE Bart Meyers University of Antwerp, Belgium, Joachim Denil University of Antwerp, Belgium, István Dávid University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp, Canada DOI
13:55 25m Talk		Side Effects Take the Blame SLE Felipe Bañados Schwerter University of British Columbia, Canada DOI
14:20 25m Talk		Symbolic Execution of High-Level Transformations SLE Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached
14:45 15m Talk		Raincode Assembler Compiler (Tool Demo) SLE Volodymyr Blagodarov Raincode, Belgium, Yves Jaradin Raincode, Belgium, Vadim Zaytsev Raincode, Belgium DOI

15:40 - 17:20	Session 4Doctoral Symposium at Geneva

15:40 40m Talk		Spray: Programming with a Persistent Distributed Heap Doctoral Symposium Marco Grandi Computer Science Department - University of Pisa
16:20 40m Talk		Towards Practical Release-Level Dynamic Software Updating on Stock Java Doctoral Symposium Martin Alexander Neumann
17:00 20m Talk		How to get your Ph.D. DONE Doctoral Symposium Eric Jul

15:40 - 17:20	Session 4PLMW at Hamburg Chair(s): Ulrik Pagh Schultz University of Southern Denmark

15:40 50m Talk		My Twenty-Five Years in OO PLMW Jan Vitek Northeastern University File Attached
16:30 50m Talk		What to do at SPLASH PLMW Jan Vitek Northeastern University

15:40 - 17:20	DiscussionLWC@SLE at Luzern Chair(s): Meinte Boersma Mendix, Eugen Schindler Oce, Markus Völter itemis, Germany

15:40 1h40m Other		Future challenges / Break out sessions LWC@SLE

15:40 - 17:20	Session 4DLS at Matterhorn 1 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

15:40 25m Talk		A Small Embedding of Logic Programming with a Simple Complete Search DLS Jason Hemann Indiana University, USA, Daniel P. Friedman Indiana University, USA, William E. Byrd University of Utah, USA, Matthew Might University of Utah, USA DOI
16:05 25m Talk		Modular Semantic Actions DLS Alessandro Warth Y Combinator Research, USA, Patrick Dubroy Y Combinator Research, USA, Tony Garnock-Jones Northeastern University, USA DOI Pre-print
16:30 25m Talk		Cross-Language Compiler Benchmarking: Are We Fast Yet? DLS Stefan Marr Johannes Kepler University Linz, Benoit Daloze JKU Linz, Austria, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print

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

15:40 - 17:20	Session 6SPLASH-I at Matterhorn 3 Chair(s): Tiark Rompf Purdue University, USA

15:40 50m Talk		Type-driven Development in Idris SPLASH-I Edwin Brady University of St Andrews
16:30 50m Talk		Fact or fiction? What software analytics can do for us (developers and researchers) SPLASH-I Andy Zaidman TU Delft Media Attached

15:40 - 17:20	Session 4SEPS at St Gallen

15:40 1h40m Talk		SEPS Panel discussion: Engineering software performance for upcoming heterogeneous computing systems - through programming patterns, runtime systems and tools SEPS P: Yukinori Sato Tokyo Institute of Technology, P: Clemens Grelck University of Amsterdam, P: Keiji Kimura Waseda University, P: Beverly Sanders University of Florida

15:40 - 17:20	Session 4WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA

15:40 50m Talk		Metamorphic Testing for Compilers and Program Analysers WODA Alastair F. Donaldson Imperial College London
16:30 50m Talk		From Soundiness to Soundness WODA Yannis Smaragdakis University of Athens

15:40 - 17:20	Testing and VerificationGPCE at Zürich 1 Chair(s): Bernd Fischer Stellenbosch University

15:40 30m Talk		Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay Framework for Continuous Delivery GPCE Majid Makki iMinds-DistriNet, Dimitri Van Landuyt Katholieke Universiteit Leuven, Wouter Joosen Katholieke Universiteit Leuven
16:10 30m Talk		A Vision for Online Verification-Validation GPCE Matthew Hammer University of Colorado, Boulder, Bor-Yuh Evan Chang University of Colorado Boulder, David Van Horn University of Maryland at College Park, USA Pre-print Media Attached
16:40 30m Talk		Automatic Non-functional Testing of Code Generators Families GPCE Mohamed Boussaa INRIA Rennes, Olivier Barais , Benoit Baudry , Gerson Sunyé INRIA Rennes Pre-print Media Attached File Attached

15:40 - 17:20	Model TransformationSLE at Zürich 2 Chair(s): Görel Hedin Lund University, Sweden

15:40 25m Talk		Efficient Model Partitioning for Distributed Model Transformations SLE Amine Benelallam , Massimo Tisi AtlanMod, France, Jesús Sánchez Cuadrado Autonomous University of Madrid, Spain, Juan de Lara Autonomous University of Madrid, Spain, Jordi Cabot Open University of Catalonia, Spain DOI
16:05 25m Talk		Coupled Software Transformations — Revisited SLE Ralf Laemmel University of Koblenz-Landau, Germany DOI Media Attached
16:30 15m Talk		Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo) SLE André L. Santos University Institute of Lisbon, Portugal, Eduardo Gomes University Institute of Lisbon, Portugal DOI
16:45 15m Day closing		Closing & Outlook to SLE'17 SLE Tijs van der Storm CWI & University of Groningen, Benoit Combemale University of Rennes 1, France

18:30 - 22:30	GPCE & SLE DinnerGPCE at Fifteen

18:30 4h Dinner		GPCE & SLE Dinner GPCE Media Attached

18:30 - 22:30	GPCE/SLE DinnerSLE at Fifteen

18:30 4h Dinner		GPCE & SLE Dinner SLE Media Attached

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

08:30 - 10:00	Keynote WednesdayKeynotes and Awards at Matterhorn 2 Chair(s): Eelco Visser Delft University of Technology, Netherlands

08:30 10m Day opening		Welcome to SPLASH 2016 Keynotes and Awards S: Eelco Visser Delft University of Technology, Netherlands
08:40 5m Awards		OOPSLA 10-year Most Influential Paper AwardAward Keynotes and Awards Eelco Visser Delft University of Technology, Netherlands
08:45 75m Talk		SPLASH 2016 Keynote: The Science of Deep SpecificationKeynote Keynotes and Awards K: Benjamin C. Pierce University of Pennsylvania Media Attached

10:30 - 12:10	Optimization and PerformanceOOPSLA at Matterhorn 1 Chair(s): Jan Vitek Northeastern University

10:30 25m Talk		A Compiler for Throughput Optimization of Graph Algorithms on GPUs OOPSLA Sreepathi Pai University of Texas at Austin, USA, Keshav Pingali University of Texas at Austin, USA DOI Pre-print
10:55 25m Talk		Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis OOPSLA Rishi Surendran Rice University, USA, Vivek Sarkar Rice University, USA DOI
11:20 25m Talk		Portable Inter-workgroup Barrier Synchronisation for GPUs OOPSLA Tyler Sorensen Imperial College London, Alastair F. Donaldson Imperial College London, Mark Batty University of Kent, Ganesh Gopalakrishnan University of Utah, Zvonimir Rakamaric University of Utah DOI Pre-print
11:45 25m Talk		Parallel Incremental Whole-Program Optimizations for Scala.js OOPSLA Sébastien Doeraene EPFL, Switzerland, Tobias Schlatter EPFL, Switzerland DOI Pre-print

10:30 - 12:10	Semantics and VerificationOOPSLA at Matterhorn 2 Chair(s): Jonathan Aldrich Carnegie Mellon University

10:30 25m Talk		Semantics-Based Program Verifiers for All Languages 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 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 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 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

10:30 - 12:10	Session 7 (Modeling)SPLASH-I at Matterhorn 3 Chair(s): Laurence Tratt King's College London

10:30 50m Talk		How Domain Requirements Shape Languages SPLASH-I Markus Völter itemis, Germany Media Attached
11:20 50m Talk		Making Mendix Meta Model Driven SPLASH-I Jos Warmer Independent

10:30 - 12:10	Session 1Onward! Papers at Zürich 2 Chair(s): Emerson Murphy-Hill Google

10:30 25m Talk		Lightweight Programming Experiments without Programmers and Programs: An Example Study on the Effect of Similarity and Number of Object Identifiers on the Readability of Source Code using Natural Texts Onward! Papers Tim Marter University of Duisburg-Essen, Paul Babucke University of Duisburg-Essen, Philipp Lembken University of Duisburg-Essen, Stefan Hanenberg University of Duisburg-Essen DOI
10:55 25m Talk		Emergent Software Services Onward! Papers Nicolás Cardozo Universidad de los Andes DOI Pre-print Media Attached
11:20 25m Talk		Nez: Practical Open Grammar Language Onward! Papers Kimio Kuramitsu Yokohama National University, Japan DOI
11:45 25m Talk		Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages Onward! Papers Nevena Milojković University of Bern, Oscar Nierstrasz University of Bern, Switzerland DOI

12:10 - 13:30	Onward SCORG at Basel

12:10 80m Meeting		Onward Steering Committee Meeting ORG O: Robert Hirschfeld HPI

13:30 - 15:10	Language Design and Programming Models IOOPSLA at Matterhorn 1 Chair(s): Roberto Ierusalimschy PUC-Rio

13:30 25m Talk		Extensible Access Control with Authorization Contracts OOPSLA Scott Moore Harvard University, Christos Dimoulas Harvard University, Robby Findler Northwestern University, Matthew Flatt University of Utah, Stephen Chong Harvard University DOI
13:55 25m Talk		Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect OOPSLA Leo Osvald , Gregory Essertel , Xilun Wu Purdue University, Lilliam I Gonzalez Alayon Purdue University, Tiark Rompf Purdue University, USA DOI
14:20 25m Talk		Incremental Forest: A DSL for Efficiently Managing Filestores OOPSLA Jonathan DiLorenzo Cornell University, Richard Zhang University of Pennsylvania, Erin Menzies , Kathleen Fisher Tufts University, Nate Foster Cornell University DOI
14:45 25m Talk		LaCasa: Lightweight Affinity and Object Capabilities in Scala OOPSLA Philipp Haller KTH Royal Institute of Technology, Alex Loiko Google Stockholm, Sweden DOI Pre-print

13:30 - 15:10	Program SynthesisOOPSLA at Matterhorn 2 Chair(s): Martin Odersky EPFL, Switzerland

13:30 25m Talk		Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations 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 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 OOPSLA Pavel Panchekha University of Washington, Emina Torlak University of Washington DOI Media Attached
14:45 25m Talk		FIDEX: Filtering Spreadsheet Data using Examples OOPSLA Xinyu Wang UT Austin, Sumit Gulwani Microsoft Research, Rishabh Singh Microsoft Research DOI Media Attached

13:30 - 15:10	Session 8SPLASH-I at Matterhorn 3 Chair(s): Ulrik Pagh Schultz University of Southern Denmark

13:30 50m Talk		Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes SPLASH-I Boaz Rosenan University of Haifa, David H. Lorenz Open University and Technion IIT
14:20 50m Talk		The basic skill set of software language engineering SPLASH-I Ralf Laemmel University of Koblenz-Landau, Germany Media Attached

13:30 - 15:10	Onward! Essays IOnward! Essays at Zürich 2

13:30 50m Talk		How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard Onward! Essays Johannes Emerich DOI Pre-print File Attached
14:20 50m Talk		The Left Hand of Equals Onward! Essays James Noble Victoria University of Wellington, New Zealand, Andrew Black Portland State University, Kim Bruce Pomona College, Michael Homer Victoria University of Wellington, Mark Miller Google Inc. DOI

15:40 - 17:20	Static AnalysisOOPSLA at Matterhorn 1 Chair(s): Sam Guyer Tufts University

15:40 25m Talk		Accelerating Program Analyses by Cross-Program Training OOPSLA Sulekha Kulkarni Georgia Tech, Ravi Mangal Georgia Institute of Technology, Xin Zhang Georgia Tech, Mayur Naik Georgia Tech DOI
16:05 25m Talk		An Improved Algorithm for Slicing Machine Code OOPSLA Venkatesh Srinivasan University of Wisconsin - Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. DOI Pre-print
16:30 25m Talk		Call Graphs for Languages with Parametric Polymorphism OOPSLA Dmytro Petrashko EPFL, Vlad Ureche EPFL, Switzerland, Ondřej Lhoták University of Waterloo, Martin Odersky EPFL, Switzerland DOI
16:55 25m Talk		Type Inference for Static Compilation of JavaScript OOPSLA Satish Chandra Samsung Research America, Colin Gordon Drexel University, Jean-Baptiste Jeannin Carnegie Mellon University , Cole Schlesinger Samsung Research America, Manu Sridharan Samsung Research America, Frank Tip Samsung Research America, Young-il Choi Samsung Electronics DOI Pre-print

15:40 - 17:20	Programming Frameworks, Tools, and MethodologiesOOPSLA at Matterhorn 2 Chair(s): Emerson Murphy-Hill Google

15:40 25m Talk		Purposes, Concepts, Misfits, and a Redesign of Git 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 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 OOPSLA Oliver Hanappi Vienna University of Technology, Waldemar Hummer Vienna University of Technology, Schahram Dustdar TU Wien DOI
16:55 25m Talk		Dependent Partitioning OOPSLA Sean Treichler Stanford University, Michael Bauer NVIDIA Research, Rahul Sharma Microsoft Research, Elliott Slaughter , Alex Aiken Stanford University DOI Media Attached

15:40 - 17:20	Session 9SPLASH-I at Matterhorn 3 Chair(s): Ross Tate Cornell University

15:40 50m Talk		Using Docker Containers to Improve Reproducibility in PL/SE Research SPLASH-I Jürgen Cito University of Zurich Media Attached
16:30 50m Talk		Adventures in Software Evolution SPLASH-I Robert Grimm Goldman Sachs

15:40 - 17:20	Session 2Onward! Papers at Zürich 2 Chair(s): Jeff Huang Texas A&M University

15:40 25m Talk		Bloqqi: Modular Feature-Based Block Diagram Programming Onward! Papers Niklas Fors Lund University, Görel Hedin Lund University, Sweden DOI Pre-print
16:05 25m Talk		Building White-Box Abstractions by Program Refinement Onward! Papers Mehrdad Afshari Vivibe LLC, Zhendong Su University of California, Davis DOI Pre-print
16:30 25m Talk		Function Passing: A Model for Typed, Distributed Functional Programming Onward! Papers Heather Miller Ecole Polytechnique Federale de Lausanne, Philipp Haller KTH Royal Institute of Technology, Normen Müller , Jocelyn Boullier EPFL, Jorge Vicente Cantero EPFL DOI
16:55 25m Talk		Extracting Code from Programming Tutorial Videos Onward! Papers Shir Yadid Technion, Eran Yahav Technion DOI

17:30 - 19:30	Poster Reception WednesdayPosters at Foyer Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands, Jeff Huang Texas A&M University

17:30 2h Talk		Reconsidering Reliability in Distributed Actor Systems Posters Raphael Hiesgen , Dominik Charousset , Thomas C. Schmidt HAW Hamburg
17:30 2h Talk		Specifying CSS Layout with Reference Attribute Grammars Posters Scott Buckley Macquarie University, Australia, Anthony Sloane Macquarie University, Australia, Matthew Roberts Macquarie University
17:30 2h Talk		sk_p: a neural program corrector for MOOCs Posters Yewen Pu , Karthik Narasimhan MIT, Armando Solar-Lezama MIT CSAIL, Regina Barzilay MIT
17:30 2h Talk		Reducing Procedure Call Bloat in ARM Binaries Posters Joseph Caldwell University of Tokyo
17:30 2h Talk		Removing Stagnation from Modern Code Review Posters Giovanni Viviani University of British Columbia, Gail Murphy University of British Columbia
17:30 2h Talk		A Web Application is a Domain-Specific Language Posters David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa
17:30 2h Talk		Introducing Lightweight Reactive Values to Java Posters Tetsuo Kamina Ritsumeikan University
17:30 2h Talk		libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux Posters Martin Alexander Neumann , Christoph Tobias Bach Karlsruhe Institute of Technology, Vincenz-Priessnitz-Str. 1, Karlsruhe, Germany, Stefan Kratochwil Karlsruhe Institute of Technology, Vincenz-Priessnitz-Str. 1, Karlsruhe, Germany
17:30 2h Talk		Supporting Resource Bounded Multitenancy in Akka Posters Ahmed Abdel Moamen University of Saskatchewan , Nadeem Jamali
17:30 2h Talk		A Sampling-based Approach to Accelerating Queries in Log Management Systems Posters Tal Wagner MIT CSAIL, Eric Schkufza Stanford University, Udi Wieder VMware

17:30 - 19:30	Wednesday Poster ReceptionSocial Program at Foyer

17:30 2h Talk		Wednesday Poster Reception Social Program

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

08:30 - 10:00	Keynote ThursdayKeynotes and Awards at Matterhorn 2 Chair(s): Yannis Smaragdakis University of Athens

08:30 20m Awards		OOPSLA AwardsAward 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 Keynotes and Awards K: Martin Odersky EPFL, Switzerland Media Attached

10:30 - 12:10	Concurrency Analysis and Model CheckingOOPSLA at Matterhorn 1 Chair(s): Thomas Gross ETH Zurich

10:30 25m Talk		Directed Synthesis of Failing Concurrent Executions OOPSLA Malavika Samak Indian Institute of Science, Bangalore, Omer Tripp IBM Research, USA, Murali Krishna Ramanathan Indian Institute of Science, Bangalore DOI Media Attached
10:55 25m Talk		Maximal Causality Reduction for TSO and PSO OOPSLA Shiyou Huang Texas A&M University, Jeff Huang Texas A&M University DOI
11:20 25m Talk		Stateless Model Checking with Data-Race Preemption Points OOPSLA Ben Blum Carnegie Mellon University, Garth Gibson Carnegie Mellon University DOI Pre-print Media Attached
11:45 25m Talk		Precise and Maximal Race Detection from Incomplete Traces OOPSLA Jeff Huang Texas A&M University, Arun Krishnakumar Rajagopalan Texas A&M University DOI Media Attached

10:30 - 12:10	Language Design and Programming Models IIOOPSLA at Matterhorn 2 Chair(s): Olivier Tardieu IBM Research

10:30 25m Talk		Automatic Enforcement of Expressive Security Policies using Enclaves OOPSLA Anitha Gollamudi , Stephen Chong Harvard University DOI
10:55 25m Talk		Chain: Tasks and Channels for Reliable Intermittent Programs 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 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 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

10:30 - 12:10	Session 10SPLASH-I at Matterhorn 3 Chair(s): Tijs van der Storm CWI & University of Groningen

10:30 50m Talk		Responsive Language Tooling For Cloud-based IDEs SPLASH-I Lennart Kats Cloud9 Media Attached
11:20 50m Talk		Simulating Cities: The Spacetime Framework SPLASH-I Crista Lopes University of California, Irvine Media Attached

12:10 - 13:30	SPLASH SCORG at Basel

12:10 80m Meeting		SPLASH Steering Committee Meeting ORG S: Tony Hosking Australian National University, Data61, and Purdue University

13:30 - 15:10	Runtime SupportOOPSLA at Matterhorn 1 Chair(s): Laurence Tratt King's College London

13:30 25m Talk		Efficient and Thread-Safe Objects for Dynamically-Typed Languages OOPSLA Benoit Daloze JKU Linz, Austria, Stefan Marr Johannes Kepler University Linz, Daniele Bonetta Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print Media Attached
13:55 25m Talk		Hybrid STM/HTM for Nested Transactions on OpenJDK OOPSLA Keith Chapman Purdue University, Tony Hosking Australian National University, Data61, and Purdue University, Eliot Moss University of Massachusetts Amherst Link to publication DOI Pre-print Media Attached
14:20 25m Talk		Makalu: Fast Recoverable Allocation of Non-volatile Memory OOPSLA Kumud Bhandari Rice University, USA, Dhruva Chakrabarti , Hans-J. Boehm Google DOI Pre-print Media Attached
14:45 25m Talk		Prioritized Garbage Collection: Explicit GC Support for Software Caches OOPSLA Diogenes Nunez Tufts University, Sam Guyer Tufts University, Emery D. Berger University of Massachusetts, Amherst DOI Pre-print Media Attached

13:30 - 15:10	Principles, Across the Compilation StackOOPSLA at Matterhorn 2 Chair(s): Adam Chlipala MIT CSAIL

13:30 25m Talk		Semantic Subtyping for Imperative Object-Oriented Languages OOPSLA Davide Ancona University of Genova, Andrea Corradi DOI
13:55 25m Talk		Parsing with First-Class Derivatives 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 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) OOPSLA Tiark Rompf Purdue University, USA, Nada Amin EPFL DOI Pre-print

13:30 - 15:10	Session 11SPLASH-I at Matterhorn 3 Chair(s): Philipp Haller KTH Royal Institute of Technology

13:30 50m Talk		Exploratory Analysis in Virtual Reality: The New Frontier SPLASH-I Derek Jacoby Qvirt, Yvonne Coady University of Victoria Media Attached
14:20 50m Talk		Truffle and Graal: Fast Programming Languages With Modest Effort SPLASH-I Chris Seaton Oracle Labs, Adam Welc Oracle Labs, USA Media Attached

15:40 - 17:20	Program Modeling and LearningOOPSLA at Matterhorn 1 Chair(s): Ondřej Lhoták University of Waterloo

15:40 25m Talk		Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars OOPSLA Friedrich Steimann Fernuniversität, Jörg Hagemann Fernuniversität in Hagen, Bastian Ulke Fernuniversität in Hagen DOI Media Attached
16:05 25m Talk		Probabilistic Model for Code with Decision Trees OOPSLA Veselin Raychev ETH Zurich, Switzerland, Pavol Bielik , Martin Vechev ETH Zurich DOI
16:30 25m Talk		Ringer: Web Automation by Demonstration OOPSLA Shaon Barman UC Berkeley, Sarah E. Chasins University of California, Berkeley, Rastislav Bodik University of Washington, USA, Sumit Gulwani Microsoft Research DOI Media Attached
16:55 25m Talk		Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver OOPSLA Konstantin Weitz University of Washington, Doug Woos University of Washington, Emina Torlak University of Washington, Michael D. Ernst University of Washington, Arvind Krishnamurthy University of Washington, Zachary Tatlock University of Washington, Seattle DOI Media Attached

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

15:40 - 17:20	Session 12SPLASH-I at Matterhorn 3 Chair(s): Coen De Roover Vrije Universiteit Brussel, Belgium

15:40 50m Talk		Language Support for Distributed Systems SPLASH-I Heather Miller Ecole Polytechnique Federale de Lausanne
16:30 50m Talk		Pony: Co-designing a Type System and a Runtime SPLASH-I Sylvan Clebsch Imperial College London Media Attached

15:40 - 17:20	TalksStudent Research Competition at Winterthur Chair(s): Sam Guyer Tufts University, Patrick Lam University of Waterloo, Canada

15:40 1h40m Talk		Phase 3 Talks Student Research Competition

17:30 - 18:30	Business MeetingKeynotes and Awards at Matterhorn 2

17:30 5m Meeting		SPLASH Steering Committee Report Keynotes and Awards S: Tony Hosking Australian National University, Data61, and Purdue University
17:35 7m Other		SPLASH 2016 General Chair's Report Keynotes and Awards S: Eelco Visser Delft University of Technology, Netherlands
17:42 7m Other		Onward Program Chair's Report 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 Keynotes and Awards O: Yannis Smaragdakis University of Athens
18:05 5m Awards		SIGPLAN AwardsAward Keynotes and Awards O: Yannis Smaragdakis University of Athens
18:10 20m Meeting		Proceedings of the ACM Keynotes and Awards S: Crista Lopes University of California, Irvine

	19:30 - 22:30	BanquetSocial Program at Beurs van Berlage

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

08:30 - 10:00	Keynote FridayKeynotes and Awards at Matterhorn 2 Chair(s): Crista Lopes University of California, Irvine, Emerson Murphy-Hill Google

08:30 10m Day opening		SPLASH 2017 Keynotes and Awards S: Gail Murphy University of British Columbia
08:40 5m Awards		Onward! Most Notable Paper AwardAward Keynotes and Awards Guy L. Steele Jr. Oracle Labs, Robert Hirschfeld HPI
08:45 10m Awards		Student AwardsAward 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 Keynotes and Awards Amy Ko University of Washington Media Attached

10:30 - 12:10	Typing, in PracticeOOPSLA at Matterhorn 1 Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands

10:30 25m Talk		A Practical Framework for Type Inference Error Explanation OOPSLA Calvin Loncaric University of Washington, Satish Chandra Samsung Research America, Manu Sridharan Samsung Research America, Cole Schlesinger Samsung Research America DOI Pre-print Media Attached
10:55 25m Talk		Dynamically Diagnosing Type Errors in Unsafe Code OOPSLA Stephen Kell University of Cambridge DOI Media Attached
11:20 25m Talk		First-Class Effect Reflection for Effect-Guided Programming OOPSLA Yuheng Long Iowa State University, Yu David Liu , Hridesh Rajan Iowa State University, USA DOI
11:45 25m Talk		Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers OOPSLA Nada Amin EPFL, Ross Tate Cornell University Link to publication DOI Pre-print

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

10:30 - 12:10	Session 13 (Languages)SPLASH-I at Matterhorn 3 Chair(s): Craig Anslow Middlesex University, UK

10:30 50m Talk		Stencils: Graphical User Interfaces in Ensō SPLASH-I William Cook UT Austin Media Attached
11:20 50m Talk		Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web SPLASH-I Adam Chlipala MIT CSAIL Media Attached

12:10 - 13:30	SPLASH17 OCORG at Basel

12:10 80m Meeting		SPLASH 2017 Organizing Committee Meeting ORG S: Gail Murphy University of British Columbia

13:30 - 15:10	Bug Detection Analysis and Model CheckingOOPSLA at Matterhorn 1 Chair(s): Ben Livshits Microsoft Research

13:30 25m Talk		Finding Compiler Bugs via Live Code Mutation OOPSLA Chengnian Sun University of California, Davis, Vu Le Microsoft, Zhendong Su University of California, Davis DOI Media Attached
13:55 25m Talk		Finding Resume and Restart Errors in Android Applications OOPSLA Zhiyong Shan University of Central Missouri, USA, Tanzirul Azim University of California at Riverside, USA, Iulian Neamtiu New Jersey Institute of Technology, USA DOI Pre-print
14:20 25m Talk		Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement OOPSLA Zhiqiang Zuo University of California, Irvine, Lu Fang University of California, Irvine, Siau-Cheng Khoo , Harry Xu University of California, Irvine, Shan Lu University of Chicago DOI Media Attached
14:45 25m Talk		To Be Precise: Regression Aware Debugging OOPSLA Rohan Bavishi IIT Kanpur, India, Awanish Pandey IIT Kanpur, India, Subhajit Roy IIT Kanpur, India 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

13:30 - 15:10	Session 14SPLASH-I at Matterhorn 3 Chair(s): Stefan Marr Johannes Kepler University Linz

13:30 50m Talk		Fast Datalog SPLASH-I Todd Veldhuizen LogicBlox Media Attached File Attached
14:20 50m Talk		Software Environmentalism SPLASH-I Tudor Gîrba feenk.com Media Attached

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

	17:00 - 18:00	Icecream SocialSocial Program at Foyer

SPLASH 2016 Program

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

SPLASH 2016 Program

Switch Program View

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

Get Calendar (iCal)

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