Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
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
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
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
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
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
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
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, BidirectionallyArtifact Evaluation
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 ParsingArtifact Evaluation
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 CellsDistinguished paper nominee
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
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
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
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 MonitoringArtifact Evaluation
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)Artifact Evaluation
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
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
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 ConventionsDistinguished paper nominee
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)Artifact Evaluation
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
AwardsRaincode
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
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
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
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
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 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: Robert Bruce Findler Northwestern University
Link to publication Media Attached
10:30 - 12:10
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
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 LearningArtifact EvaluationDistinguished Paper
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 MontoArtifact Evaluation
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 PlaceholdersArtifact Evaluation
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)Artifact Evaluation
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
13:30
40m
Talk
Multitier Reactive Abstractions
Doctoral Symposium
14:10
40m
Talk
Scaling Testing of Refactoring Engines
Doctoral Symposium
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, Robert Bruce 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
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 TransformationsArtifact EvaluationDistinguished paper nominee
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
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
17:00
20m
Talk
How to get your Ph.D. DONE
Doctoral Symposium
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
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 TransformationsArtifact Evaluation
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 — RevisitedArtifact Evaluation
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 DinnerItemis
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 GPUsAEC
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 GPUsAEC
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 LanguagesAECDistinguished Paper Award
OOPSLA
Andrei Stefanescu University of Illinois at Urbana-Champaign, Daejun Park University of Illinois at Urbana-Champaign, Shijiao Yuwen University of Illinois at Urbana-Champaign, Yilong Li Runtime Verification, Inc., Grigore Roşu University of Illinois at Urbana-Champaign
DOI Media Attached
10:55
25m
Talk
Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent ObjectsAEC
OOPSLA
Ilya Sergey University College London, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute, Germán Andrés Delbianco IMDEA Software Institute
DOI Pre-print Media Attached File Attached
11:20
25m
Talk
An Operational Semantics for C/C++11 ConcurrencyAEC
OOPSLA
Kyndylan Nienhuis University of Cambridge, Kayvan Memarian University of Cambridge, Peter Sewell University of Cambridge
DOI
11:45
25m
Talk
Modeling and Analysis of Remote Memory Access ProgrammingAECDistinguished Paper Award
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
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, Robert Bruce 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-)EffectAEC
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 FilestoresAEC
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 TransformationsAEC
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 LayoutAEC
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
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 CodeAEC
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 GitAEC
OOPSLA
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 ScriptsDistinguished Paper Award
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
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
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
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 LanguagesAEC
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 OpenJDKAECDistinguished Paper Award
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 LanguagesAEC
OOPSLA
Davide Ancona University of Genova, Andrea Corradi
DOI
13:55
25m
Talk
Parsing with First-Class DerivativesAEC
OOPSLA
Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Tillmann Rendel University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany
DOI
14:20
25m
Talk
The Missing Link: Explaining ELF Static Linking, SemanticallyAEC
OOPSLA
Stephen Kell University of Cambridge, Dominic P. Mulligan University of Cambridge, Peter Sewell University of Cambridge
DOI
14:45
25m
Talk
Type Soundness for Dependent Object Types (DOT)AEC
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 GrammarsAEC
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 DemonstrationAEC
OOPSLA
Shaon Barman UC Berkeley, Sarah E. Chasins University of California, Berkeley, Rastislav Bodík 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 SolverAEC
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
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
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

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
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 CodeAEC
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 PointersAEC
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
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 RefinementAEC
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