Program - SPLASH 2017

Program - SPLASH 2017
Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
Attending
Venue: Hyatt Regency Vancouver
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
SPLASH Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
SPLASH 2017
Keynotes
OOPSLA
OOPSLA Artifacts
Doctoral Symposium
PL Mentoring Workshop (PLMW)
Posters
SPLASH-E
SPLASH-I
Student Research Competition
Student Volunteers
Workshops
Social Program
Co-hosted Conferences
GPCE
GPCE
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
PLoP
PLoP
PLoP
SLE
Workshops
AGERE
CHESE
CoCoS
DSLDI
Escaped
FOSD
LIVE
META
NJR
NOOL
OCAP
Parsing@SLE
PLATEAU
PX/17.2
REBLS
REBELS
SAVR
SEPS
VMIL
WODA
Co-hosted Symposia
DLS
Scala
Organization
SPLASH 2017 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Program Committee
External Program Committee
OOPSLA Artifacts
Doctoral Symposium
Invited Talks
Program Committee
PL Mentoring Workshop (PLMW)
PLMW Organizing Committee
PLMW Speakers
Posters
SPLASH-E
Program Committee
Steering Committee
SPLASH-I
Student Research Competition
Workshops
Organizing Committee
Program Committee
Contributors
People Index
Co-hosted Conferences
GPCE
Keynote speaker
Organizing Committee
Program Committee
Steering Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
PLoP
Organizing Committee
Program Committee
SLE
Keynote Speaker
Organizing Committee
Artifact Evaluation Committee
Program Committee
Steering Committee
Workshops
AGERE
Organizing Committee
Program Committee
CHESE
Steering Committee
Program Committee
CoCoS
Organizing Committee
Publicity
Program Committee
DSLDI
Keynote Speaker
Organizing Committee
Program Committee
Escaped
Organizing Committee
Program Committee
FOSD
Keynote Speaker
Organizing Committee
Program Committee
LIVE
Program Committee
META
Invited Talks
Organizing Committee
Program Committee
NJR
Organizing Committee
NOOL
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
Parsing@SLE
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
PX/17.2
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SAVR
Organizing Committee
Program Committee
SEPS
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
WODA
Organizing Committee
Co-hosted Symposia
DLS
Organizing Committee
Program Committee
Steering Committee
Scala
Organizing Committee
Program Committee
Steering Committee
Series
Series
SPLASH 2026
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
SPLASH 2017
series
) /
SPLASH 2017 Program
Detailed Table
Session Timeline
Detailed Timeline
Switch Program View
You're viewing a filtered program.
Do you want to keep these filters active in the new view?
Close
Get Calendar (iCal)
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Program Display Configuration
Close
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 22 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
Parsing@SLE
at
Oxford
Chair(s):
Eric Van Wyk
University of Minnesota, USA
08:45
15m
Day opening
Welcome
Parsing@SLE
Eric Van Wyk
University of Minnesota, USA
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
09:00
30m
Talk
Block Level Parallelism in Parsing Block Structured Languages
Parsing@SLE
Abhinav Jangda
University of Massachusetts, Amherst
09:30
30m
Talk
Parsing techniques for graph analysis
Parsing@SLE
Ekaterina Verbitskaia
Semyon Grigorev
08:30 - 10:00
Session 1
PX/17.2
at
Prince of Wales
08:30
90m
Talk
[Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving
PX/17.2
K:
Steven Tanimoto
University of Washington, Seattle
Link to publication
08:30 - 10:00
Session 1
DSLDI
at
Regency A
Chair(s):
Lindsey Kuper
Intel Labs
Eric Walkingshaw
Oregon State University
09:00
10m
Day opening
Welcome
DSLDI
P:
Lindsey Kuper
Intel Labs
P:
Eric Walkingshaw
Oregon State University
09:10
50m
Talk
Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk)
DSLDI
K:
Ronald Garcia
University of British Columbia, Canada
File Attached
08:30 - 10:00
Metaprogramming and Domain Specific Languages
META
at
Regency B
Chair(s):
Sebastian Erdweg
TU Delft
08:50
10m
Day opening
Welcome
META
Stefan Marr
University of Kent
09:00
30m
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
META
Matthew Ahrens
Karl Cronburg
Tufts University
Jeanne-Marie Musca
Tufts University
File Attached
09:30
30m
Talk
Less Testing Ink
META
Yossi Gil
Technion—Israel Institute of Technology
08:30 - 10:00
Keynote Sunday
Scala
at
Regency C
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
08:45
15m
Day opening
Opening - Day 1
Scala
09:00
60m
Talk
Spark and Scala
Scala
K:
Reynold Xin
Databricks
10:00 - 10:30
Coffee Break
Catering
at
Regency Foyer
10:00
30m
Coffee break
Break
Catering
10:30 - 12:00
Session 2
Parsing@SLE
at
Oxford
Chair(s):
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
10:30
30m
Talk
A Modular SGLR Parsing Architecture for Systematic Performance Optimization
Parsing@SLE
Jasper Denkers
TU Delft
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
Michael Steindorfer
Delft University of Technology, Netherlands
Eelco Visser
Delft University of Technology
11:00
30m
Talk
System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs
Parsing@SLE
Stephen Hanka
Frank Coyle
SMU
11:30
30m
Talk
Parsing extensible type qualifiers in ableC
Parsing@SLE
Travis Carlson
University of Minnesota, USA
Eric Van Wyk
University of Minnesota, USA
10:30 - 12:00
Session 2
PX/17.2
at
Prince of Wales
10:30
45m
Talk
Designing a Live Development Experience for Web Components
PX/17.2
Jens Lincke
Hasso Plattner Institute
Stefan Ramson
Hasso Plattner Institute, Potsdam
Patrick Rein
Hasso Plattner Institute
Robert Hirschfeld
HPI
Marcel Taeumel
Hasso Plattner Institute
Tim Felgentreff
Hasso-Plattner-Institute, Potsdam
Pre-print
11:15
45m
Talk
Incremental Coverage of Legacy Software Languages
PX/17.2
Vadim Zaytsev
Raincode Labs, Belgium
Pre-print
10:30 - 12:00
Session 2
DSLDI
at
Regency A
Chair(s):
Nada Amin
University of Cambridge
10:30
22m
Talk
Substance and Style: domain-specific languages for mathematical diagrams
DSLDI
Wode Ni
Columbia University
Katherine Ye
Joshua Sunshine
Carnegie Mellon University
Jonathan Aldrich
Carnegie Mellon University
Keenan Crane
Carnegie Mellon University
File Attached
10:52
22m
Talk
Debugging Domain-Specific Languages Defined with Macros
DSLDI
Xiangqi Li
University of Utah
Matthew Flatt
University of Utah
File Attached
11:15
22m
Talk
DSL Design for Reinforcement Learning Agents
DSLDI
Christopher Simpkins
Georgia Institute of Technology
Spencer Rugaber
Georgia Institute of Technology
Charles Isbell, Jr.
Georgia Institute of Technology
File Attached
11:37
22m
Talk
Tangent: automatic differentiation using source code transformation in Python
DSLDI
Bart
University of Montreal
Alexander B. Wiltschko
Google Brain
File Attached
10:30 - 12:00
Code Generation
META
at
Regency B
Chair(s):
Stefan Marr
University of Kent
10:30
60m
Talk
Hop.js: JavaScript Multitier Programming ⭐️
META
Manuel Serrano
Inria, France
11:30
30m
Talk
Toward Abstract Interpretation of Program Transformations
META
Sven Keidel
Delft University of Technology, Netherlands
Sebastian Erdweg
TU Delft
DOI
10:30 - 12:00
Types
Scala
at
Regency C
Chair(s):
Anthony Sloane
Macquarie University
10:30
30m
Talk
Towards Algorithmic Typing for DOT (Short Paper)
Scala
Abel Nieto
University of Waterloo
DOI
Pre-print
File Attached
11:00
30m
Talk
The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Scala
Adelbert Chang
Unaffiliated
DOI
Pre-print
11:30
30m
Talk
Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Scala
Leo Osvald
Purdue University, USA
Tiark Rompf
Purdue University
DOI
Media Attached
10:30 - 12:00
FOSD Keynote
FOSD
at
Windsor
10:30
30m
Day opening
Welcome to FOSD 2017
FOSD
11:00
60m
Talk
FOSD Keynote: Managing Features in Cloned Variants
FOSD
K:
Julia Rubin
University of British Columbia
12:00 - 13:30
Lunch
Catering
at
Plaza Ballroom
12:00
90m
Lunch
Lunch
Catering
13:30 - 15:00
Session 3
Parsing@SLE
at
Oxford
Chair(s):
Eric Van Wyk
University of Minnesota, USA
14:00
30m
Talk
Declarative Disambiguation with Contextual Scoping
Parsing@SLE
Michael Steindorfer
Delft University of Technology, Netherlands
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
14:30
30m
Talk
Parsing @ IDE
Parsing@SLE
Vadim Zaytsev
Raincode Labs, Belgium
13:30 - 15:00
Session 3
PX/17.2
at
Prince of Wales
13:30
45m
Talk
Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP
PX/17.2
Yoshiki Ohshima
HARC / Y Combinator Research
Bert Freudenberg
Dan Amelang
Viewpoints Research Institute
Pre-print
14:15
45m
Talk
Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools
PX/17.2
Patrick Rein
Hasso Plattner Institute
Jens Lincke
Hasso Plattner Institute
Stefan Ramson
Hasso Plattner Institute, Potsdam
Toni Mattis
Hasso Plattner Institute
Robert Hirschfeld
HPI
Pre-print
13:30 - 15:00
Session 3
DSLDI
at
Regency A
Chair(s):
Eric Walkingshaw
Oregon State University
13:30
22m
Talk
MkMod: A Domain Specific Language for developing Linux Kernel Modules
DSLDI
Manasij Mukherjee
Chennai Mathematical Institute
File Attached
13:52
22m
Talk
Bacatá: a generic notebook generator for DSLs
DSLDI
Mauricio Verano Merino
Technische Universiteit Eindhoven
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Tijs van der Storm
Centrum Wiskunde & Informatica / University of Groningen
File Attached
14:15
22m
Talk
Thapl—A Theatrical DSL
DSLDI
Yossi Gil
Technion—Israel Institute of Technology
David H. Lorenz
Technion—Israel Institute of Technology
Matan I. Peled
Technion—Israel Institute of Technology
File Attached
14:37
22m
Talk
Towards Naturalistic EDSLs using Algebraic Effects
DSLDI
Jonathan Immanuel Brachthäuser
University of Tübingen, Germany
Link to publication
Pre-print
Media Attached
File Attached
13:30 - 15:00
Runtime Reflection
META
at
Regency B
Chair(s):
Cyrus Omar
Carnegie Mellon University
13:30
30m
Talk
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
META
Takuo Watanabe
Tokyo Institute of Technology
File Attached
14:00
30m
Talk
Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
META
Javier Pimás
Palantir Solutions
Stefan Marr
University of Kent
File Attached
14:30
30m
Talk
An Annotation-based API for Supporting Runtime Code Annotation Reading
META
Phyllipe de Souza Lima Francisco
INPE - National Institute for Space Research
Eduardo Guerra
INPE - National Institute for Space Research
Marco Nardes
INPE - National Institute for Space Research
Andrea Mocci
Universita della Svizzera italiana (USI)
Gabriele Bavota
Università della Svizzera italiana (USI)
Michele Lanza
Università della Svizzera italiana (USI)
DOI
13:30 - 15:00
Compilation
Scala
at
Regency C
Chair(s):
Paolo G. Giarrusso
University of Tübingen, Germany
13:30
30m
Talk
A Scala Framework for Supercompilation
Scala
Nate Nystrom
DOI
14:00
30m
Talk
Making Collection Operations Optimal with Aggressive JIT Compilation
Scala
Aleksandar Prokopec
Oracle Labs
David Leopoldseder
Johannes Kepler University Linz
Gilles Duboscq
Oracle Labs
Thomas Wuerthinger
Oracle Labs
DOI
14:30
30m
Talk
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Scala
Franck Cassez
Macquarie University, Australia
Anthony Sloane
Macquarie University
DOI
13:30 - 15:00
Talks / Discussion
FOSD
at
Windsor
13:30
30m
Talk
Towards Complete Consistency Checks of Clafer Models
FOSD
Markus Weckesser
TU Darmstadt
Malte Lochau
Michael Ries
facilityBoss GmbH
Andy Schürr
TU Darmstadt
14:00
30m
Talk
Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures
FOSD
Kenny Wehling
Volkswagen AG
David Wille
TU Braunschweig, Germany
Christoph Seidl
Technische Universität Braunschweig
Ina Schaefer
Technische Universität Braunschweig
14:30
30m
Talk
Variational Lists: Comparisons and Design Guidelines
FOSD
Karl Smeltzer
Oregon State University
Martin Erwig
Oregon State University
15:00 - 15:30
Coffee Break
Catering
at
Regency Foyer
15:00
30m
Coffee break
Break
Catering
15:30 - 17:00
Practical Guide to Parsing
Parsing@SLE
at
Oxford
Chair(s):
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
90m
Other
Discussion of SLEBoK Practical Guide to Parsing
Parsing@SLE
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30 - 17:00
Session 4
PX/17.2
at
Prince of Wales
15:30
45m
Talk
The Entangled Strands of Time in Software Development
PX/17.2
Matthias Hauswirth
Università della Svizzera italiana (USI)
Mohammad Reza Azadmanesh
University of Lugano
Pre-print
16:15
45m
Talk
Towards Concept-aware Programming Environments for Guiding Software Modularity
PX/17.2
Toni Mattis
Hasso Plattner Institute
Patrick Rein
Hasso Plattner Institute
Stefan Ramson
Hasso Plattner Institute, Potsdam
Jens Lincke
Hasso Plattner Institute
Robert Hirschfeld
HPI
Pre-print
15:30 - 17:00
Session 4
DSLDI
at
Regency A
Chair(s):
Lindsey Kuper
Intel Labs
15:30
22m
Talk
Property Law as a Programming Language
DSLDI
Shrutarshi Basu
Cornell University
James Grimmelmann
Cornell Law School
Nate Foster
Cornell University
File Attached
15:52
22m
Talk
Embedding By Normalisation
DSLDI
Shayan Najd
University of Edinburgh
File Attached
16:15
22m
Talk
Reliable composition of domain-specific language features
DSLDI
Ted Kaminski
University of Minnesota
Eric Van Wyk
University of Minnesota, USA
File Attached
16:37
22m
Day closing
Discussion and closing remarks
DSLDI
15:30 - 17:00
Compiling Reflection
META
at
Regency B
Chair(s):
Stefan Marr
University of Kent
15:30
60m
Talk
Collapsing Towers of Interpreters ⭐️
META
Nada Amin
University of Cambridge
16:30
30m
Day closing
Discussion and Closing
META
15:30 - 17:00
Open-source & Student Talks
Scala
at
Regency C
Chair(s):
Guido Salvaneschi
TU Darmstadt
15:30
22m
Talk
Genomic Data Analysis in Scala (Open-Source Talk)
Scala
Ryan Williams
Media Attached
15:52
22m
Talk
Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk)
Scala
A:
James Decker
Media Attached
16:15
22m
Talk
Delimited Control in Scala (Student Talk)
Scala
A:
Nils Jonsson
16:37
22m
Talk
Design of Library Interfaces (Student Talk)
Scala
A:
Nils Jonsson
15:30 - 17:00
Talks / Discussion
FOSD
at
Windsor
15:30
30m
Talk
Feature Oriented Programming in Groovy
FOSD
Guilherme Assis
UFMG
Eduardo Figueiredo
UFMG
Gustavo Vale
University of Passau
16:00
30m
Talk
Towards a Development Process for Maturing Delta-Oriented Software Product Lines
FOSD
Sven Schuster
TU Braunschweig, Germany
Christoph Seidl
Technische Universität Braunschweig
Ina Schaefer
Technische Universität Braunschweig
16:30
30m
Talk
Lightning Talks
FOSD
Eric Walkingshaw
Oregon State University
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
SEPS
at
Brighton
Chair(s):
Yukinori Sato
Tokyo Institute of Technology
08:45
15m
Talk
Welcome and opening
SEPS
09:00
60m
Talk
SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages
SEPS
S:
Philipp Haller
KTH Royal Institute of Technology
Media Attached
08:30 - 10:00
WODA
WODA
at
Cavendish
Chair(s):
Jeff Huang
Texas A&M University
Ben Livshits
Imperial College London, UK
08:30
45m
Talk
Forget the Garbagemen, We Need a Plumber
WODA
Emery D. Berger
University of Massachusetts, Amherst
09:15
45m
Talk
Pushing Predictive Data Race Detection to the Limit
WODA
Michael D. Bond
Ohio State University
08:30 - 10:00
Session 1
NJR
at
Constable
Chair(s):
Jens Palsberg
University of California, Los Angeles (UCLA)
08:30
30m
Talk
Welcome and Overview of NJR
NJR
Crista Lopes
University of California, Irvine
Jens Palsberg
University of California, Los Angeles (UCLA)
09:00
20m
Talk
Benchmarking for Program Analysis
NJR
Cristina Cifuentes
Oracle Labs
Karim Ali
University of Alberta
Yannis Smaragdakis
University of Athens
File Attached
09:20
20m
Talk
Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud
NJR
Jonathan Bell
George Mason University
File Attached
09:40
20m
Talk
XCorpus, An Executable Corpus of Java Programs
NJR
Jens Dietrich
Massey University
File Attached
08:30 - 10:00
Session 1: Keynote
CoCoS
at
Dover
08:30
30m
Day opening
Welcome
CoCoS
09:00
60m
Talk
Keynote: Program Comprehension - Who, How, What, and Why
CoCoS
Reid Holmes
University of British Columbia
File Attached
08:30 - 10:00
Tools and Techniques
SPLASH-E
at
Kensington
Chair(s):
Joe Gibbs Politz
University of California, San Diego
08:30
30m
Talk
(CER) Mastery Learning-Like Teaching with Achievements
SPLASH-E
Tobias Wrigstad
Uppsala University
Elias Castegren
Uppsala University
File Attached
09:00
30m
Talk
(CSES) Assessing the Usability of a Novel System for Programming Education
SPLASH-E
Giovanni Vincenti
University of Baltimore
Scott Hilberg
James Braman
Michael Satzinger
University of Baltimore
Lily Cao
Towson University
File Attached
09:30
30m
Talk
(CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups
SPLASH-E
Aybuke Gul Turker
University of Wisconsin - Madison
Christine Corbett Moran
California Institute of Technology
File Attached
08:30 - 10:00
Keynote: Sebastian Burckhardt
REBLS
at
Oxford
08:30
90m
Talk
Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services
REBLS
Sebastian Burckhardt
Microsoft Research
08:30 - 10:00
Introduction + Keynote
AGERE
at
Prince of Wales
08:45
15m
Talk
Welcome and Introduction
AGERE
09:00
60m
Talk
AGERE! Keynote: Advanced Features of the Orleans Programming Framework
Keynote
AGERE
Philip A. Bernstein
Microsoft Research
File Attached
08:30 - 10:00
Keynote GPCE/SLE Monday
GPCE
at
Regency A+B
08:30
15m
Day opening
Opening
GPCE
Matthew Flatt
University of Utah
Sebastian Erdweg
TU Delft
08:45
75m
Talk
Keynote: The Landscape of Refactoring Research in the Last Decade
Keynote
GPCE
K:
Danny Dig
School of EECS at Oregon State University
08:30 - 10:00
Keynote GPCE/SLE
SLE
at
Regency A+B
08:30
15m
Day opening
Opening
SLE
Benoit Combemale
University of Rennes 1
Marjan Mernik
University of Maribor
Bernhard Rumpe
RWTH Aachen University, Germany
Media Attached
08:45
75m
Talk
GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny Dig
Keynote
SLE
Danny Dig
School of EECS at Oregon State University
08:30 - 10:00
Keynote Monday
Scala
at
Regency C
Chair(s):
Ondřej Lhoták
University of Waterloo, Canada
08:45
15m
Day opening
Opening - Day 2
Scala
09:00
60m
Talk
The Hack Programming Language
Scala
K:
Dwayne Reeves
08:30 - 10:00
Introduction and Keynote
PLATEAU
at
Regency D
08:30
30m
Day opening
Welcome and Introduction
PLATEAU
09:00
60m
Talk
PLATEAU Keynote: Usability Design Space in Programming by Examples
PLATEAU
Sumit Gulwani
Microsoft Research
08:30 - 10:00
Talks Session 1
NOOL
at
Windsor
08:45
15m
Day opening
Welcome
NOOL
09:00
30m
Talk
Objectifying a Metaprogramming Language
NOOL
Vadim Zaytsev
Raincode Labs, Belgium
10:00 - 10:30
Coffee Break
Catering
at
Regency Foyer
10:00
30m
Coffee break
Break
Catering
10:30 - 12:00
Session2: Software performance engineering
SEPS
at
Brighton
Chair(s):
Pablo de Oliveira Castro
University of Versailles, France
10:30
30m
Talk
MALT, A Malloc Tracker
SEPS
Sébastien Valat
CERN
Andres S. Charif-Rubial
Université de Versailles Saint-Quentin
William Jalby
Université de Versalles
11:00
30m
Talk
Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
SEPS
Philip C. Roth
Oak Ridge National Laboratory
Hongzhang Shan
Lawrence Berkeley National Laboratory
David Riegner
The Ohio State University
Nikolas Antolin
The Ohio State University
Sarat Sreepathi
Oak Ridge National Laboratory
Leonid Oliker
Lawrence Berkeley National Laboratory
Samuel Williams
Lawrence Berkeley National Laboratory
Shirley Moore
Oak Ridge National Laboratory
Wolfgang Windl
The Ohio State University
11:30
30m
Talk
The Influence of HPCToolkit and Score-P on Hardware Performance Counters
SEPS
Jan-Patrick Lehr
Graduate School of Computational Engineering, TU Darmstadt
Christian Iwainsky
Competence Center for High-Performance Computing in Hessian, TU Darmstadt
Christian Bischof
Scientific Computing, TU Darmstadt
10:30 - 12:00
WODA
WODA
at
Cavendish
Chair(s):
Jeff Huang
Texas A&M University
Ben Livshits
Imperial College London, UK
10:30
45m
Talk
Strong Memory Models: 5 Simple Tricks to Beat SC
WODA
Milind Kulkarni
Purdue University
11:15
20m
Talk
Constructing Dynamic Control Flow Graphs from Execution Traces
WODA
Jesse Bartels
Jon Stephens
Saumya Debray
University of Arizona
11:35
20m
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
WODA
Nathalie Oostvogels
Joeri De Koster
Vrije Universiteit Brussel, Belgium
Wolfgang De Meuter
Vrije Universiteit Brussel
10:30 - 12:00
Session 2
NJR
at
Constable
Chair(s):
Crista Lopes
University of California, Irvine
10:30
20m
Talk
Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time
NJR
Harry Xu
University of California, Irvine
File Attached
10:50
20m
Talk
Automated Benchmark Management
NJR
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Ben Hermann
University of Paderborn
File Attached
11:10
20m
Talk
Tool Support for Energy-Aware Programming
NJR
Yu David Liu
State University of New York (SUNY) Binghamton
File Attached
11:30
20m
Talk
Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions
NJR
Michael D. Bond
Ohio State University
11:50
20m
Talk
The Need for a JavaScript Benchmark for Program Analysis
NJR
Cristina Cifuentes
Oracle Labs
François Gauthier
Oracle Labs
File Attached
10:30 - 12:00
Session 2: Generative Approaches
CoCoS
at
Dover
10:30
30m
Talk
Megamodelling with NGA Multimodels
CoCoS
Vadim Zaytsev
Raincode Labs, Belgium
11:00
30m
Talk
Jatte: A Tunable Tree Editor for Integrated DSLs
CoCoS
Alfred Åkesson
Görel Hedin
11:30
30m
Talk
Discussion
CoCoS
10:30 - 12:00
Languages and Semantics
SPLASH-E
at
Kensington
10:30
30m
Talk
(CER) Early Experience with Grace
SPLASH-E
Andrew Black
Portland State University
Kim Bruce
Pomona College
File Attached
11:00
30m
Talk
(CER) Making the Liskov Substitution Principle Happy and Sad
SPLASH-E
Elisa Baniassad
University of British Columbia
File Attached
11:30
30m
Talk
(CSES) Student Understanding of Aliasing and Procedure Calls
SPLASH-E
Preston Tunnell Wilson
Brown University
Kathi Fisler
Brown University
Shriram Krishnamurthi
Brown University, USA
File Attached
10:30 - 12:00
Second session
REBLS
at
Oxford
10:30
30m
Talk
Handling Partial Failures in Distributed Reactive Programming
REBLS
Florian Myter
Vrije Universiteit Brussel, Belgium
Christophe Scholliers
Universiteit Gent, Belgium
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
11:00
30m
Talk
A DSL for Compensable and Interruptible Executions
REBLS
Hiroaki Inoue
Graduate School of Informatics, Kyoto University
Tomoyuki Aotani
Tokyo Institute of Technology
Atsushi Igarashi
Kyoto University, Japan
11:30
30m
Talk
First-class Reactive Programs for CPS
REBLS
Christophe De Troyer
Jens Nicolay
Vrije Universiteit Brussel, Belgium
Wolfgang De Meuter
Vrije Universiteit Brussel
Pre-print
10:30 - 12:00
Session 1: Verification and Language Models
AGERE
at
Prince of Wales
Chair(s):
Joeri De Koster
Vrije Universiteit Brussel, Belgium
10:30
30m
Talk
Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
AGERE
Humberto Rodriguez Avila
Vrije Universiteit Brussel
Joeri De Koster
Vrije Universiteit Brussel, Belgium
Wolfgang De Meuter
Vrije Universiteit Brussel
File Attached
11:00
30m
Talk
Tree Topologies for Causal Message Delivery
AGERE
Sebastian Blessing
Imperial College London
Sylvan Clebsch
Imperial College London
Sophia Drossopoulou
11:30
30m
Talk
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
AGERE
Mehdi Bagherzadeh
Oakland University
Hridesh Rajan
Iowa State University
File Attached
10:30 - 12:00
Staging
GPCE
at
Regency A
Chair(s):
Nada Amin
University of Cambridge
10:30
25m
Talk
Refining Semantics for Multi-stage Programming
GPCE
Rui Ge
University of British Columbia, Canada
Ronald Garcia
University of British Columbia, Canada
DOI
Authorizer link
10:55
25m
Talk
Staging for Generic Programming in Space and Time
GPCE
Georg Ofenbeck
ETH Zurich, Switzerland
Tiark Rompf
Purdue University
Markus Püschel
ETH Zürich
DOI
Authorizer link
11:20
25m
Talk
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
GPCE
Junpei Oishi
University of Tsukuba, Japan
Yukiyoshi Kameyama
University of Tsukuba, Japan
DOI
Authorizer link
11:45
15m
Talk
Code Staging in GNU Guix
Short paper
GPCE
Ludovic Courtès
Inria, France
DOI
Authorizer link
10:30 - 12:00
Parsing
SLE
at
Regency B
Chair(s):
Ralf Laemmel
University of Koblenz-Landau, Germany
10:30
25m
Talk
Type-Safe Modular Parsing
SLE
Haoyuan Zhang
Huang Li
Bruno C. d. S. Oliveira
University of Hong Kong, China
DOI
10:55
25m
Talk
Incremental Packrat Parsing
SLE
Patrick Dubroy
Y Combinator Research, USA
Alessandro Warth
Y Combinator Research, USA
DOI
11:20
25m
Talk
A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
SLE
Kimio Kuramitsu
Yokohama National University, Japan
DOI
11:45
15m
Talk
Red Shift: Procedural Shift-Reduce Parsing
Vision Paper
SLE
Nicolas Laurent
Université Catholique de Louvain, Belgium
DOI
10:30 - 12:00
Domain-specific Languages
Scala
at
Regency C
10:30
30m
Talk
Typesafe Abstractions for Tensor Operations (Short Paper)
Scala
Tongfei Chen
DOI
Pre-print
Media Attached
11:00
30m
Talk
Interactive Development using the Dotty Compiler (Tool Paper)
Scala
Guillaume Martres
EPFL, Switzerland
DOI
Pre-print
Media Attached
11:30
30m
Talk
Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Scala
Lars Kroll
KTH Royal Institute of Technology, Sweden
Paris Carbone
KTH, Sweden
Seif Haridi
DOI
File Attached
10:30 - 12:00
Tools and Environments
PLATEAU
at
Regency D
Chair(s):
Gustavo Soares
Microsoft
10:30
20m
Talk
The Uses of Interactive Explorers for Web APIs
PLATEAU
John Daughtry
Google, Inc.
Andrew Macvean
Google, Inc.
Luke Church
Pre-print
10:50
20m
Talk
One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
PLATEAU
Titus Barik
Microsoft
Chris Parnin
NCSU
Emerson Murphy-Hill
North Carolina State University
Pre-print
11:10
20m
Talk
What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
PLATEAU
Niklas Hollmann
University of Duisburg-Essen, Germany
Thorben Roßenbeck
University of Duisburg-Essen, Germany
Mark Kunze
University of Duisburg-Essen, Germany
Liron Türk
University of Duisburg-Essen, Germany
Stefan Hanenberg
University of Duisburg-Essen
Pre-print
11:30
20m
Talk
Development of a Web Platform for Code Peer-Testing
PLATEAU
Manuel Maarek
Heriot-Watt University
Léon McGregor
Heriot-Watt University
Pre-print
10:30 - 12:00
Discussion Session
NOOL
at
Windsor
10:30
75m
Talk
Panel Discussion: Security in OO languages
NOOL
P:
Cristina Cifuentes
Oracle Labs
Mark Miller
Google Inc.
Jonathan Aldrich
Carnegie Mellon University
Yannis Smaragdakis
University of Athens
12:00 - 13:30
Lunch
Catering
at
Plaza Ballroom
12:00
90m
Lunch
Lunch
Catering
13:30 - 15:00
Session 3: Software concurrency and heterogeneity
SEPS
at
Brighton
Chair(s):
Sébastien Valat
CERN
13:30
30m
Talk
Transactional Actors: Communication in Transactions
SEPS
Janwillem Swalens
Vrije Universiteit Brussel, Belgium
Joeri De Koster
Vrije Universiteit Brussel, Belgium
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
DOI
Pre-print
14:00
20m
Talk
[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
SEPS
Silvana Morita Melo
ICMC/USP
Simone do Rocio Senger de Souza
ICMC/USP
Jeff Carver
University of Alabama
Paulo Sergio Lopes de Souza
ICMC/USP
14:20
20m
Talk
[Position paper] Declaring Lua Data Types for GPU Code Generation
SEPS
Paulo Motta
Motta & SantAnna Pesquisa e Desenvolvimento
14:40
20m
Talk
[Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
SEPS
Matthias Book
University of Iceland
Morris Riedel
Jülich Supercomputing Centre
Helmut Neukirchen
University of Iceland
Markus Götz
Jülich Supercomputing Centre
13:30 - 15:00
WODA
WODA
at
Cavendish
Chair(s):
Jeff Huang
Texas A&M University
Ben Livshits
Imperial College London, UK
13:30
45m
Talk
Finding Bugs and Insights in Semi-structured Data
WODA
Benjamin Zorn
Microsoft Research
14:15
45m
Talk
Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
WODA
Harry Xu
University of California, Irvine
13:30 - 15:00
Session 3
NJR
at
Constable
13:30
90m
Other
NJR discussion; Needs, Requirements, Wishes
NJR
Crista Lopes
University of California, Irvine
Jens Palsberg
University of California, Los Angeles (UCLA)
13:30 - 15:00
Session 3: Debugging
CoCoS
at
Dover
Chair(s):
Yvonne Coady
University of Victoria
13:30
30m
Talk
Survey of Approaches for Assessing Software Energy Consumption
CoCoS
Felix Rieger
Philipps-Universität Marburg
Christoph Bockisch
Philipps-Universität Marburg
14:00
30m
Talk
How Did the Failure Come to Be?
CoCoS
Mohammad R. Azadmanesh
Matthias Hauswirth
Università della Svizzera italiana (USI)
14:30
30m
Talk
Discussion
CoCoS
13:30 - 15:00
Software Engineering
SPLASH-E
at
Kensington
13:30
30m
Talk
(CSES) Open-Source Sofware in Class: Students’ Common Mistakes
SPLASH-E
Zhewei Hu
North Carolina State University
Yang Song
University of North Carolina Wilmington
Edward Gehringer
North Carolina State University
File Attached
14:00
30m
Talk
(CSES) Peer Review in Cybersecurity Education
SPLASH-E
William M. Temple
University of Colorado Boulder
Kathi Fisler
Brown University
File Attached
14:30
30m
Talk
(CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly
SPLASH-E
Sarah Heckman
NC State University
Kathryn Stolee
North Carolina State University
Chris Parnin
NCSU
File Attached
13:30 - 15:00
Third session
REBLS
at
Oxford
13:30
30m
Talk
FRP IoT Modules as a Scala DSL
REBLS
Ben Calus
imec - DistriNet, KU Leuven
Bob Reynders
imec-DistriNet, KU Leuven, Belgium
Dominique Devriese
KU Leuven
Job Noorman
KU Leuven
Frank Piessens
KU Leuven
14:00
30m
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
REBLS
Sam Van den Vonder
Joeri De Koster
Vrije Universiteit Brussel, Belgium
Florian Myter
Vrije Universiteit Brussel, Belgium
Wolfgang De Meuter
Vrije Universiteit Brussel
DOI
Pre-print
14:30
30m
Talk
Verifiable Reactive Software
REBLS
Kevin Baldor
Jianwei Niu
13:30 - 15:00
Session 2: Runtime Environments and Debugging
AGERE
at
Prince of Wales
Chair(s):
Joeri De Koster
Vrije Universiteit Brussel, Belgium
13:30
30m
Talk
Locality-Guided Scheduling in CAF
AGERE
Sebastian Wölke
None
Raphael Hiesgen
Dominik Charousset
Thomas C. Schmidt
HAW Hamburg
File Attached
14:00
30m
Talk
A Principled Approach Towards Debugging Communicating Event-Loops
AGERE
Carmen Torres Lopez
Stefan Marr
University of Kent
Elisa Gonzalez Boix
Vrije Universiteit Brussel
Hanspeter Mössenböck
JKU Linz, Austria
Christophe Scholliers
Universiteit Gent, Belgium
14:30
30m
Talk
Actoverse: A Reversible Debugger for Actors
AGERE
Kazuhiro Shibanai
Tokyo Institute of Technology
Takuo Watanabe
Tokyo Institute of Technology
Link to publication
DOI
13:30 - 15:00
Variability
GPCE
at
Regency A
Chair(s):
Ina Schaefer
Technische Universität Braunschweig
13:30
25m
Talk
A Classification of Variation Control Systems
GPCE
Lukas Linsbauer
Johannes Kepler University Linz
Thorsten Berger
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
Paul Grünbacher
JKU Linz, Austria
DOI
Authorizer link
13:55
25m
Talk
Analyzing the Impact of Natural Language Processing over Feature Location in Models
GPCE
Raúl Lapeña
San Jorge University, Spain
Jaime Font
San Jorge University, Spain
Oscar Pastor
Universitat Politècnica de València, Spain
Carlos Cetina
San Jorge University, Spain
DOI
Authorizer link
14:20
25m
Talk
How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness
Best Paper
GPCE
Wolfram Fenske
University of Magdeburg, Germany
Sandro Schulze
University of Magdeburg, Germany
Gunter Saake
University of Magdeburg, Germany
DOI
Authorizer link
13:30 - 15:00
Textual Models
SLE
at
Regency B
Chair(s):
Anthony Sloane
Macquarie University
13:30
23m
Talk
Towards a Taxonomy of Grammar Smells
SLE
Mats Stijlaart
Universiteit van Amsterdam
Vadim Zaytsev
Raincode Labs, Belgium
DOI
13:53
22m
Talk
Deep Priority Conflicts in the Wild: A Pilot Study
SLE
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
Michael J. Steindorfer
Delft University of Technology
Eelco Visser
Delft University of Technology
DOI
14:16
22m
Talk
Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation
SLE
Robert Bill
Vienna University of Technology
Patrick Neubauer
University of York, UK
Manuel Wimmer
TU Wien
DOI
14:38
22m
Talk
Robust Projectional Editing
SLE
Friedrich Steimann
Fernuniversität
Marcus Frenkel
Fernuni Hagen
Markus Voelter
itemis
DOI
13:30 - 15:00
Language Design
Scala
at
Regency C
Chair(s):
Nada Amin
University of Cambridge
13:30
30m
Talk
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Scala
Lionel Parreaux
EPFL
Amir Shaikhha
EPFL
Christoph E. Koch
EPFL
DOI
Media Attached
14:00
30m
Talk
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Scala
Jonathan Immanuel Brachthäuser
University of Tübingen, Germany
Philipp Schuster
University of Tübingen
DOI
Pre-print
Media Attached
File Attached
13:30 - 15:00
Language, DSL, and Feature Design
PLATEAU
at
Regency D
Chair(s):
Joshua Sunshine
Carnegie Mellon University
13:30
20m
Talk
A User Study to Inform the Design of the Obsidian Blockchain DSL
PLATEAU
Celeste Barnaby
Wesleyan University
Michael Coblenz
Carnegie Mellon University
Tyler Etzel
Eliezer Kanal
Carnegie Mellon University
Joshua Sunshine
Carnegie Mellon University
Brad A. Myers
Carnegie Mellon University
Jonathan Aldrich
Carnegie Mellon University
Pre-print
13:50
15m
Talk
Programming Robot Manipulators with Tangible Blocks
PLATEAU
Yasaman Sefidgar
University of Washington
Maya Cakmak
University of Washington
Pre-print
14:05
20m
Talk
Preliminary Analysis of REST API Style Guidelines
PLATEAU
Lauren Murphy
University of Michigan
Tosin Alliyu
Haverford College
Mary Beth Kery
Carnegie Mellon University
Brad A. Myers
Carnegie Mellon University
Pre-print
14:25
20m
Talk
Sympathy for the Devil: Reified Collection of Runtime Errors
PLATEAU
Tommaso Dal Sasso
Università della Svizzera Italiana
Andrei Chiş
feenk, Switzerland
Andrea Mocci
Universita della Svizzera italiana (USI)
Tudor Gîrba
CompuGroup Medical Schweiz AG
Michele Lanza
Università della Svizzera italiana (USI)
Pre-print
14:45
15m
Talk
Preventing Babel: Rectifying the Trend of Programming Language Divergence
PLATEAU
Alon Amid
UC Berkeley
Borivoje Nikolic
UC Berkeley
Pre-print
13:30 - 15:00
Talks Session 2
NOOL
at
Windsor
13:30
30m
Talk
Integrating Debugging with Continuous Testing
NOOL
Malcolm Stone
Roly Perera
University of Edinburgh, UK / University of Glasgow, UK
14:00
30m
Talk
Algool – Object-Orientation with Algebraic Specification
NOOL
Anya Helene Bagge
University of Bergen
14:30
30m
Talk
Usably Expressing and Enforcing Design in Wyvern
NOOL
Jonathan Aldrich
Carnegie Mellon University
Alex Potanin
Victoria University of Wellington
15:00 - 15:30
Coffee Break
Catering
at
Regency Foyer
15:00
30m
Coffee break
Break
Catering
15:30 - 17:00
Session 4
SEPS
at
Brighton
Chair(s):
Yukinori Sato
Tokyo Institute of Technology
15:30
90m
Talk
Panel discussions: "Open source software and tools for engineering parallel software"
SEPS
Yukinori Sato
Tokyo Institute of Technology
Pablo de Oliveira Castro
University of Versailles, France
Philipp Haller
KTH Royal Institute of Technology
15:30 - 17:00
WODA
WODA
at
Cavendish
Chair(s):
Jeff Huang
Texas A&M University
Ben Livshits
Imperial College London, UK
15:30
30m
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff Huang
Texas A&M University
16:00
30m
Talk
Better Program Analysis Through Heap Profiling
WODA
Neville Grech
16:30
30m
Talk
Can Analysis be Too Precise?
WODA
Sam Guyer
Tufts University
15:30 - 17:00
Session 4: Wrap-Up
CoCoS
at
Dover
Chair(s):
Christoph Bockisch
Philipps-Universität Marburg
15:30
30m
Talk
Lightning Talks
CoCoS
16:00
30m
Other
Break-out groups
CoCoS
16:30
30m
Talk
Wrap-Up
CoCoS
15:30 - 17:00
Fourth session
REBLS
at
Oxford
15:30 - 17:00
Keynote + Discussion/Panel
AGERE
at
Prince of Wales
15:30
60m
Talk
AGERE! Keynote: Actors for Big Data: Applications and Open Problems
Keynote
AGERE
Gul Agha
16:30
30m
Talk
Discussion/Panel
AGERE
15:30 - 17:00
Types
GPCE
at
Regency A
Chair(s):
Shigeru Chiba
University of Tokyo, Japan
15:30
25m
Talk
Type Qualifiers as Composable Language Extensions
GPCE
Travis Carlson
University of Minnesota, USA
Eric Van Wyk
University of Minnesota, USA
DOI
Authorizer link
15:55
25m
Talk
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
GPCE
Andrea Rosà
University of Lugano, Switzerland
Eduardo Rosales
University of Lugano, Switzerland
Walter Binder
University of Lugano, Switzerland
DOI
Authorizer link
16:20
25m
Talk
Rewriting for Sound and Complete Union, Intersection and Negation Types
GPCE
David J. Pearce
Victoria University of Wellington, New Zealand
DOI
Authorizer link
15:30 - 17:00
DSLs
SLE
at
Regency B
Chair(s):
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
25m
Talk
Debugging with Domain-Specific Events via Macros
SLE
Xiangqi Li
University of Utah
Matthew Flatt
University of Utah
DOI
15:55
25m
Talk
A Chrestomathy of DSL implementations
SLE
Simon Schauss
University of Koblenz-Landau
Ralf Laemmel
University of Koblenz-Landau, Germany
Johannes Härtel
University of Koblenz-Landau, Germany
Marcel Heinz
University of Koblenz-Landau, Germany
Kevin Klein
University of Koblenz-Landau
Lukas Härtel
University of Koblenz-Landau, Germany
Thorsten Berger
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI
16:20
25m
Talk
A Requirements Engineering Approach for Usability-Driven DSL Development
SLE
Ankica Barisic
NOVA-LINCS - Universidade Nova de Lisboa
Dominique Blouin
LTCI Lab, Telecom ParisTech, Université Paris-Saclay
Vasco Amaral
NOVA-LINCS, FCT/UNL
Miguel Goulao
NOVA-LINCS, FCT/UNL
DOI
16:45
25m
Talk
Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
SLE
Marco Brambilla
Politecnico di Milano
Jordi Cabot
ICREA - UOC
Javier Luis Cánovas Izquierdo
IN3 - UOC
Andrea Mauri
Politecnico di Milano, Italy
DOI
15:30 - 17:00
Unconference
Scala
at
Regency C
Chair(s):
Jonathan Immanuel Brachthäuser
University of Tübingen, Germany
15:30
90m
Talk
Unconference
Scala
15:30 - 17:00
Insights into Programmer Thought Processes and Experience
PLATEAU
at
Regency D
Chair(s):
Sarah E. Chasins
University of California, Berkeley
15:30
20m
Talk
Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories
PLATEAU
Mohammad reza
Matthias Hauswirth
Università della Svizzera italiana (USI)
Pre-print
15:50
15m
Talk
Modeling Programming Problem Solving Through Interactive Worked Examples
PLATEAU
Dastyni Loksa
University of Washington
Amy Ko
University of Washington
Pre-print
16:05
20m
Talk
OpenMP or Pthreads: Which is Better for Beginners?
PLATEAU
Pedro Bruel
University of São Paulo
Paulo Meirelles
University of São Paulo and University of Brasília
Raphael Cobe
São Paulo State University
Alfredo Goldman
University of São Paulo
Pre-print
16:25
20m
Talk
Can Some Programming Languages Be Considered Harmful?
PLATEAU
Sabine Janssens
StressLabo
Ulrik Pagh Schultz
University of Southern Denmark
Vadim Zaytsev
Raincode Labs, Belgium
Pre-print
16:45
20m
Talk
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
PLATEAU
Adrian Clark
University of Illinois at Urbana-Champaign
Jonathan Wells
University of Illinois at Urbana-Champaign
Angello Astorga
Andrew Xie
Independent
Jalen Coleman-Lands
University of Illinois at Urbana-Champaign
Tao Xie
Pre-print
15:30 - 17:00
Talks Session 3
NOOL
at
Windsor
15:30
30m
Talk
Ivo functions forward and backward
NOOL
Nate Nystrom
Igor Moreno Santos
16:00
30m
Talk
Towards Typing Julia
NOOL
Benjamin Chung
Northeastern University
Paley Li
Northeastern University
16:30
30m
Day closing
Closing thoughts & plans for next year
NOOL
17:30 - 19:30
Poster Reception Monday
Posters
at
Poster Area
Chair(s):
Jonathan Bell
George Mason University
Patrick Lam
University of Waterloo
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson
Imperial College London
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi
MINES ParisTech, France
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury
Tata Consultancy Services Research
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen
Australian National University
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
James Koppel
MIT
Armando Solar-Lezama
MIT CSAIL
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher
Carnegie Mellon University
17:30
2h
Talk
What merge tool should I use?
Posters
Guilherme Miguel Teixeira Rito
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito
Yale University
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona
University of Genova
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson
University of Minnesota, USA
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
Fredrik Kjolstad
MIT CSAIL
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist
Lund University
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
Nathalie Oostvogels
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj
ReactorLabs
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge
University of British Columbia, Canada
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac
Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera
Universidad Simón Bolívar
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos
Uppsala University
Erik Hagersten
Uppsala University
David Black-Schaffer
Uppsala University
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
Neville Grech
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove
IBM Research
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch
University of Salzburg
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
Neville Grech
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani
University of Montreal
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg
Tufts University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
Lionel Parreaux
EPFL
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb
University of California at Berkeley
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
Raphael Hiesgen
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila
FAMAF, UNC / CONICET
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen
Massachusetts Institute of Technology
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen
Aarhus University
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
Peilun Zhang
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin
Independent Researcher
James Koppel
MIT
Angela Chen
Google, Inc
Armando Solar-Lezama
MIT CSAIL
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng
Carnegie Mellon University, USA
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson
Rafiuzzaman Mohammad
University of British Columbia
Karthik Pattabiraman
University of British Columbia
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa
Iowa State University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30 - 19:30
Monday Poster Reception
Social Program
at
Poster Area
17:30
2h
Social Event
Monday Workshop and Poster Reception
Social Program
Gail Murphy
University of British Columbia
Tue 24 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Welcome and Keynote
OCAP
at
Cavendish
Chair(s):
Mark Miller
Google Inc.
08:30
30m
Talk
Welcome
OCAP
09:00
60m
Talk
Keynote by Norm Hardy
OCAP
Norm Hardy
08:30 - 10:00
Session 1
Doctoral Symposium
at
Kensington
08:30
5m
Day opening
Welcome
Doctoral Symposium
08:35
15m
Talk
Lightning Talks
Doctoral Symposium
08:50
30m
Talk
Invited Talk: From PHD to PROF: blind luck or careful planning?
Doctoral Symposium
Jan Vitek
Northeastern University, USA
09:20
40m
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Doctoral Symposium
Germán Ceballos
Uppsala University
08:30 - 10:00
Session 1
PL Mentoring Workshop (PLMW)
at
Prince of Wales
08:00
10m
Day opening
Welcome and Greeting
PL Mentoring Workshop (PLMW)
Barbara Ryder
Virginia Tech
Lori Pollock
University of Delaware, USA
File Attached
08:10
40m
Talk
Research is a social process / What Programming Languages Researchers Do and How
PL Mentoring Workshop (PLMW)
Kathryn S McKinley
Google
File Attached
08:50
40m
Talk
Why do a Ph.D. and how to pick an area?
PL Mentoring Workshop (PLMW)
Yannis Smaragdakis
University of Athens
File Attached
09:30
40m
Talk
The Influence of Programming Languages on Augmenting Human Understanding
PL Mentoring Workshop (PLMW)
Benjamin Zorn
Microsoft Research
Media Attached
File Attached
08:30 - 10:00
Keynote GPCE/SLE Tuesday
GPCE
at
Regency A+B
08:30
15m
Awards
Awards
GPCE
Matthew Flatt
University of Utah
Sebastian Erdweg
TU Delft
08:45
75m
Talk
Keynote: Engineering Meta-Languages for Specifying Software Languages
Keynote
GPCE
Peter D. Mosses
Swansea University
08:30 - 10:00
Keynote GPCE/SLE
SLE
at
Regency A+B
08:30
15m
Day opening
Awards
SLE
Marjan Mernik
University of Maribor
Bernhard Rumpe
RWTH Aachen University, Germany
Laurence Tratt
King's College London
Tanja Mayerhofer
TU Wien
File Attached
08:45
75m
Talk
SLE Keynote: Engineering meta-languages for specifying software languages
Keynote
SLE
Peter D. Mosses
Swansea University
DOI
File Attached
08:30 - 09:30
DLS 2017 Invited Talk
VMIL
at
Regency C
Chair(s):
Davide Ancona
University of Genova
08:30
60m
Talk
Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017)
VMIL
Filip Pizlo
Apple
08:30 - 10:00
Session 1
DLS
at
Regency C
Chair(s):
Davide Ancona
University of Genova
08:30
60m
Talk
Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017)
DLS
Filip Pizlo
Apple
09:30
30m
Talk
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
DLS
Stefan Marr
University of Kent
Carmen Torres Lopez
Dominik Aumayr
Elisa Gonzalez Boix
Vrije Universiteit Brussel
Hanspeter Mössenböck
JKU Linz, Austria
DOI
Pre-print
08:30 - 10:00
Spring
LIVE
at
Regency D
08:30
50m
Talk
Keynote: User Interfaces for Live Programming
LIVE
Jun Kato
National Institute of Advanced Industrial Science and Technology, Japan
09:20
20m
Talk
Reifying Programming
LIVE
Jonathan Edwards
Pre-print
Media Attached
09:40
20m
Talk
Live Programming as Gradual Abstraction
LIVE
Sean McDirmid
Independent
Pre-print
Media Attached
08:30 - 10:00
Keynote (Venture Labs, 12th Floor, 555 Hastings)
SAVR
at
Venture Labs
Chair(s):
Yvonne Coady
University of Victoria
08:30
30m
Social Event
Welcome and Hello!
SAVR
09:00
60m
Talk
The Immersive Internet, Karan Singh, University of Toronto
SAVR
10:00 - 10:30
Coffee Break
Catering
at
Regency Foyer
10:00
30m
Coffee break
Break
Catering
10:30 - 12:00
Session 1
OCAP
at
Cavendish
10:30
30m
Talk
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP
Anton Burtsev
University of California, Irvine
David Johnson
University of Utah
Josh Kunz
University of Utah
Eric Eide
University of Utah
Jacobus Van der Merwe
University of Utah
11:00
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin Simpson
Matador Cloud LLC
11:30
30m
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Darya Melicher
Carnegie Mellon University
Yangqingwei Shi
Peking University
Valerie Zhao
Wellesley College
Alex Potanin
Victoria University of Wellington
Jonathan Aldrich
Carnegie Mellon University
10:30 - 12:00
Session 2
Doctoral Symposium
at
Kensington
10:30
40m
Talk
Genetic Improvement in Code Interpreters and Compilers
Doctoral Symposium
Oliver Krauss
University of Applied Sciences Upper Austria
11:10
40m
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Doctoral Symposium
David Leopoldseder
Johannes Kepler University Linz
10:30 - 12:00
Session 2
PL Mentoring Workshop (PLMW)
at
Prince of Wales
10:30
40m
Talk
What to do and who to ask?
PL Mentoring Workshop (PLMW)
Y. Annie Liu
Stony Brook University
File Attached
11:10
60m
Other
Panel of new Ph.D.s
PL Mentoring Workshop (PLMW)
Michael Hilton
Carnegie Mellon University, USA
Kathryn Stolee
North Carolina State University
David Darais
University of Maryland, USA
Annie T.T. Ying
EquitySim
10:30 - 12:00
Performance
GPCE
at
Regency A
Chair(s):
Matthew Flatt
University of Utah
10:30
25m
Talk
Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Best Paper
GPCE
Lionel Parreaux
EPFL
Amir Shaikhha
EPFL
Christoph E. Koch
EPFL
DOI
Authorizer link
Media Attached
10:55
25m
Talk
Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
GPCE
Joseph Caldwell
University of Tokyo, Japan
Shigeru Chiba
University of Tokyo, Japan
DOI
Authorizer link
11:20
25m
Talk
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
GPCE
Arsène Pérard-Gayot
Saarland University, Germany
Martin Weier
Bonn-Rhein-Sieg University of Applied Sciences, Germany
Richard Membarth
DFKI, Germany
Philipp Slusallek
DFKI, Germany
Roland Leißa
Saarland University, Germany
Sebastian Hack
Saarland University, Germany
DOI
Authorizer link
11:45
15m
Talk
Towards Compositional and Generative Tensor Optimizations
Short paper
GPCE
Adilla Susungi
MINES ParisTech, France
Norman A. Rink
TU Dresden, Germany
Jeronimo Castrillon
TU Dresden, Germany
Immo Huismann
TU Dresden, Germany
Albert Cohen
Inria, France / ENS, France
Claude Tadonki
MINES ParisTech, France
Jörg Stiller
TU Dresden, Germany
Jochen Fröhlich
TU Dresden, Germany
DOI
Authorizer link
10:30 - 12:00
Grammars
SLE
at
Regency B
Chair(s):
Bernhard Rumpe
RWTH Aachen University, Germany
10:30
25m
Talk
A Formalisation of Parameterised Reference Attribute Grammars
SLE
Scott Buckley
Macquarie University, Australia
Anthony Sloane
Macquarie University
DOI
10:55
25m
Talk
Concurrent Circular Reference Attribute Grammars
SLE
Jesper Oqvist
Lund University
Görel Hedin
DOI
11:20
25m
Talk
Ensuring Non-interference of Composable Language Extensions
SLE
Ted Kaminski
University of Minnesota
Eric Van Wyk
University of Minnesota, USA
DOI
11:45
15m
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Industrial Paper
SLE
Suman Roychoudhury
Tata Consultancy Services Research
Sagar Sunkle
Tata Consultancy Services Research
Deepali Kholkar
Tata Consultancy Services Research
Vinay Kulkarni
Tata Consultancy Services Research
DOI
10:30 - 12:00
Session 2
DLS
at
Regency C
Chair(s):
Manuel Serrano
Inria, France
10:30
30m
Talk
Dynamic Atomicity: Optimizing Swift memory management
DLS
David Ungar
Apple, Inc,
David Grove
IBM Research
Hubertus Franke
11:00
30m
Talk
Object equivalence: Revisiting Object Equality Profiling (An Experience Report)
DLS
Alejandro Infante
Alexandre Bergel
University of Chile
11:30
30m
Talk
Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report
DLS
Javier Pimás
Palantir Solutions
Javier Burroni
Jean Baptiste Arnaud
Stefan Marr
University of Kent
DOI
10:30 - 12:00
Summer
LIVE
at
Regency D
10:30
50m
Talk
Keynote: Becoming Alive, Growing Up
LIVE
Luke Church
11:20
20m
Talk
Toward a Live Stepper for Typed Expressions with Holes
LIVE
Cyrus Omar
Carnegie Mellon University
Ian Voysey
Carnegie Mellon University
Matthew Hammer
University of Colorado, Boulder
Pre-print
11:40
20m
Talk
Whatever You Say, Happens: Live Creation of VR/AR Experiences
LIVE
Mike Johnston
Moatboat
Pre-print
Media Attached
10:30 - 12:00
Building and Breaking (Venture Labs, 12th Floor, 555 Hastings)
SAVR
at
Venture Labs
Chair(s):
Derek Jacoby
Qvirt.com
10:30
20m
Talk
Online Debugger Support for Reactive Programming Using Virtual Reality
SAVR
10:50
20m
Talk
Prototyping with Unity for AR & VR
SAVR
11:10
20m
Talk
Immersive Analytics Tool For Creating Graphs and Models
SAVR
11:30
30m
Talk
Panel Discussion I
SAVR
10:30 - 12:00
VMIL
VMIL
at
Windsor
Chair(s):
Adam Welc
Huawei America Research Center
10:30
10m
Day opening
Welcome to VMIL
VMIL
Adam Welc
Huawei America Research Center
10:40
40m
Talk
Cross-ISA debugging in meta-circular VMs
VMIL
Christos Kotselidis
The University of Manchester
Andrew Nisbet
The University of Manchester
Foivos Zakkak
Nikos Foutris
11:20
40m
Talk
Accelerate JavaScript Applications by Cross-Compiling to WebAssembly
VMIL
Micha Reiser
Hochschule für Technik Rapperswil
Luc Bläser
Hochschule für Technik Rapperswil
12:00 - 13:30
Lunch
Catering
at
Plaza Ballroom
12:00
90m
Lunch
Lunch
Catering
13:30 - 15:00
Session 2
OCAP
at
Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron Craig
ECS, VUW
Alex Potanin
Victoria University of Wellington
Lindsay Groves
Victoria University of Wellington
Jonathan Aldrich
Carnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias Castegren
Uppsala University
Tobias Wrigstad
Uppsala University
14:30
30m
Talk
Unforgeable Distributed Capabilities
OCAP
Alan Karp
13:30 - 15:00
Session 3
Doctoral Symposium
at
Kensington
13:30
30m
Talk
Invited Talk: From PhD to Fossil: of choice and context, technical and personal
Doctoral Symposium
David Ungar
Apple, Inc,
14:00
40m
Talk
Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs
Doctoral Symposium
Carmen Torres Lopez
13:30 - 15:00
Session 3
PL Mentoring Workshop (PLMW)
at
Prince of Wales
13:30
40m
Talk
My 25 years in OO
PL Mentoring Workshop (PLMW)
Jan Vitek
Northeastern University, USA
File Attached
14:10
40m
Talk
Choosing your mentor and learning to present your ideas clearly
PL Mentoring Workshop (PLMW)
Ana Milanova
Rensselaer Polytechnic Institute
File Attached
13:30 - 15:00
Analysis & Testing
GPCE
at
Regency A
Chair(s):
Jaakko Järvi
University of Turku
13:30
25m
Talk
Four Languages and Lots of Macros: Analyzing Autotools Build Systems
GPCE
Jafar M. Al-Kofahi
Iowa State University, USA
Suresh Kothari
Iowa State University, USA
Christian Kästner
Carnegie Mellon University, USA
DOI
Authorizer link
13:55
25m
Talk
Avoiding Useless Mutants
GPCE
Leonardo Fernandes
Federal University of Pernambuco, Brazil
Márcio Ribeiro
Federal University of Alagoas, Brazil
Luiz Carvalho
Federal University of Alagoas, Brazil
Rohit Gheyi
Federal University of Campina Grande, Brazil
Melina Mongiovi
Federal University of Campina Grande, Brazil
Andre Santos
Ana Cavalcanti
University of York, UK
Fabiano Ferrari
Federal University of São Carlos, Brazil
José Carlos Maldonado
University of São Paulo, Brazil
DOI
Authorizer link
14:20
25m
Talk
Silverchain: A Fluent API Generator
GPCE
Tomoki Nakamaru
University of Tokyo, Japan
Kazuhiro Ichikawa
University of Tokyo, Japan
Tetsuro Yamazaki
University of Tokyo, Japan
Shigeru Chiba
University of Tokyo, Japan
DOI
Authorizer link
14:45
15m
Talk
Parser Generation by Example for Legacy Pattern Languages
Short paper
GPCE
Vadim Zaytsev
Raincode Labs, Belgium
DOI
Authorizer link
13:30 - 15:00
Meta-modelling
SLE
at
Regency B
Chair(s):
Marjan Mernik
University of Maribor
13:30
23m
Talk
Concrete Syntax: A Multi-paradigm Modelling Approach
SLE
Yentl Van Tendeloo
University of Antwerp
Simon Van Mierlo
University of Antwerp
Bart Meyers
University of Antwerp, Belgium
Hans Vangheluwe
University of Antwerp and McGill University
DOI
13:53
23m
Talk
Structural Model Subtyping with OCL Constraints
SLE
Artur Boronat
University of Leicester
DOI
14:16
22m
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SLE
Lechanceux Luhunu
University of Montreal
Eugene Syriani
University of Montreal
DOI
14:38
22m
Talk
Tool Demonstration: A development environment for the Alf language within the MagicDraw UML tool
Tool Demo
SLE
Ed Seidewitz
nMeta LLC
DOI
13:30 - 15:00
Session 3
DLS
at
Regency C
Chair(s):
Davide Ancona
University of Genova
13:30
60m
Talk
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS
Jeremy G. Siek
Indiana University, USA
File Attached
14:30
30m
Talk
Semantics of Asynchronous JavaScript
DLS
Matthew C. Loring
Mark Marron
Microsoft Research
Daan Leijen
Microsoft Research
13:30 - 15:00
Fall
LIVE
at
Regency D
13:30
50m
Other
Lightning Talks
LIVE
Sean McDirmid
Independent
14:20
20m
Talk
Shadama: A Particle Simulation Programming Environment for Everyone
LIVE
Yoshiki Ohshima
HARC / Y Combinator Research
Bert Freudenberg
Dan Amelang
Viewpoints Research Institute
Pre-print
Media Attached
14:40
20m
Talk
Seymour: Live Programming for the Classroom
LIVE
Saketh Kasibatla
HARC / Y Combinator Research
Alessandro Warth
Y Combinator Research, USA
Pre-print
13:30 - 15:00
Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings)
SAVR
at
Venture Labs
Chair(s):
Craig Anslow
Victoria University of Wellington
13:30
20m
Talk
Detecting Spatial Orientation Demands during Virtual Navigation using EEG Brain Sensing
SAVR
13:50
20m
Talk
I Am Afraid: Voice Performance in Virtual Reality
SAVR
14:10
20m
Talk
Rich collaboration systems: Improving online collaboration with multi-modal interactions
SAVR
14:30
30m
Talk
Panel Discussion II
SAVR
13:30 - 15:00
VMIL
VMIL
at
Windsor
13:30
60m
Talk
Keynote: How Should We Train the Next Generation of VM Engineers?
VMIL
Mario Wolczko
Oracle Labs
14:30
40m
Talk
Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations
VMIL
Shijie Xu
University of New Brunswick
David Bremner
University of New Brunswick
Daniel Heidinga
IBM
15:00 - 15:30
Coffee Break
Catering
at
Regency Foyer
15:00
30m
Coffee break
Break
Catering
15:30 - 17:00
Session 3
OCAP
at
Cavendish
15:30
30m
Talk
Specifying Attenuation
OCAP
Shu-Peng Loh
Imperial College London
Sophia Drossopoulou
16:00
60m
Talk
Panel/Discussion
OCAP
15:30 - 17:00
Session 4
Doctoral Symposium
at
Kensington
15:30
40m
Talk
What merge tool should I use?
Doctoral Symposium
Guilherme Cavalcanti
Federal University of Pernambuco, Brazil
16:10
40m
Talk
Combining Visual and Textual Languages for Dyslexia
Doctoral Symposium
Luis Fernando González Alvarán
Politécnico Colombiano Jaime Isaza Cadavid
16:50
10m
Day closing
Closing remarks
Doctoral Symposium
15:30 - 17:00
Session 4
PL Mentoring Workshop (PLMW)
at
Prince of Wales
15:20
40m
Talk
Navigating the process of doing a rewarding Ph.D.
PL Mentoring Workshop (PLMW)
Mayur Naik
University of Pennsylvania
File Attached
16:00
60m
Other
Panel: Industry & Academia
PL Mentoring Workshop (PLMW)
Kathryn S McKinley
Google
Julia Rubin
University of British Columbia
Benjamin Zorn
Microsoft Research
Mayur Naik
University of Pennsylvania
17:00
15m
Day closing
Wrap Up
PL Mentoring Workshop (PLMW)
File Attached
17:15
75m
Social Event
Post-Workshop Reception
PL Mentoring Workshop (PLMW)
15:30 - 17:00
DSLs
GPCE
at
Regency A
Chair(s):
Anthony Sloane
Macquarie University
15:30
25m
Talk
A Haskell Compiler for Signal Transforms
GPCE
Geoffrey Mainland
Drexel University, USA
Jeremy Johnson
Drexel University, USA
DOI
Authorizer link
15:55
25m
Talk
Automatic Generation of Virtual Learning Spaces Driven by CaVa^DSL: An Experience Report
GPCE
Ricardo Giuliani Martini
University of Minho, Portugal
Pedro Rangel Henriques
University of Minho, Portugal
DOI
Authorizer link
16:20
25m
Talk
Rewriting a Shallow DSL using a GHC Compiler Extension
GPCE
Mark Grebe
University of Kansas, USA
David Young
University of Kansas, USA
Andy Gill
University of Kansas, USA
DOI
Authorizer link
15:30 - 17:00
GPL/DSL implementation
SLE
at
Regency B
Chair(s):
Eric Van Wyk
University of Minnesota, USA
15:30
25m
Talk
FlowSpec: Declarative Dataflow Analysis Specification
SLE
Jeff Smits
Delft University of Technology, Netherlands
Eelco Visser
Delft University of Technology
DOI
File Attached
15:55
25m
Talk
Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
SLE
Francesco Di Giacomo
Università Ca' Foscari
Mohamed Abbadi
Hogeschool Rotterdam
Agostino Cortesi
Università Ca' Foscari Venezia
Pieter Spronck
Tilburg University
Giuseppe Maggiore
Hogeschool Rotterdam
DOI
16:20
25m
Talk
Robust Programs with Filtered Iterators
SLE
Jiasi Shen
Massachusetts Institute of Technology
Martin C. Rinard
Massachusetts Institute of Technology
DOI
16:45
25m
Talk
An Introduction to the Software Language Engineering Body of Knowledge
SLE
Vadim Zaytsev
Raincode Labs, Belgium
17:10
10m
Talk
Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
SLE
Rui Pereira
HASLab/INESC TEC & Universidade do Minho
Marco Couto
HASLab/INESC TEC & Universidade do Minho
Francisco Ribeiro
HASLab/INESC TEC & Universidade do Minho
Rui Rua
HASLab/INESC TEC & Universidade do Minho
Jácome Cunha
NOVA-LINCS - Universidade Nova de Lisboa
João Paulo Fernandes
Release/LISP, CISUC
João Saraiva
University of Minho, Portugal
DOI
Media Attached
15:30 - 17:00
Session 4
DLS
at
Regency C
Chair(s):
Marc Feeley
Université de Montréal
15:30
30m
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS
Mallku Soldevila
FAMAF, UNC / CONICET
Beta Ziliani
FAMAF, UNC and CONICET
Bruno Silvestre
Daniel Fridlender
Fabio Mascarenhas
UFRJ
16:00
30m
Talk
The Semantics of Name Resolution in Grace
DLS
Vlad Vergu
TU Delft
Michiel Haisma
TU Delft
Eelco Visser
Delft University of Technology
DOI
15:30 - 17:00
Winter
LIVE
at
Regency D
15:30
20m
Talk
ZenSheet: a live programming environment for reactive computing
LIVE
Enzo Alda
Lakebolt Research
Monica Figuera
Universidad Simón Bolívar
Media Attached
File Attached
15:50
20m
Talk
Anansi: a Tracing Interpreter
LIVE
Scott Kovach
Pre-print
Media Attached
16:10
50m
Other
Closing Discussion
LIVE
Sean McDirmid
Independent
15:30 - 17:00
Bits versus Atoms! (Venture Labs, 12th Floor, 555 Hastings)
SAVR
at
Venture Labs
Chair(s):
Florian Myter
Vrije Universiteit Brussel, Belgium
15:30
20m
Talk
Swivel-Chair: Evaluating Seated Full-Rotational Interfaces for Virtual Reality Navigation
SAVR
15:50
20m
Talk
Monocle - Physical to Digital
SAVR
16:10
20m
Talk
What we can Learn Observing the Observer Observing the User in Public VR Contexts
SAVR
16:30
28m
Talk
Panel Discussion III
SAVR
16:58
1m
Talk
Lightening Talk: A Virtual Reality Experience Demonstration: The Gold Rush in British Columbia
SAVR
16:59
1m
Talk
Lightening Talk: Virtual reality for tsunami emergency training in Port Alberni
SAVR
15:30 - 17:00
VMIL
VMIL
at
Windsor
Chair(s):
Adam Welc
Huawei America Research Center
15:30
90m
Other
Panel - The future of language runtimes
VMIL
Tony Hosking
Australian National University / Data61
Mario Wolczko
Oracle Labs
David Grove
IBM Research
18:00 - 20:00
Dinner
GPCE
at
Rogue Kitchen & Wetbar
18:00
2h
Social Event
Dinner (registration add-on)
GPCE
18:00 - 20:00
Dinner
SLE
at
Rogue Kitchen & Wetbar
18:00
2h
Dinner
Dinner (registration add-on)
SLE
Wed 25 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Keynote Wednesday
Keynotes
at
Regency C
08:30
10m
Day opening
Welcome to SPLASH 2017
Keynotes
P:
Gail Murphy
University of British Columbia
08:40
10m
Awards
OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award
Keynotes
Yannis Smaragdakis
University of Athens
O:
Jonathan Aldrich
Carnegie Mellon University
08:50
70m
Talk
SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspective
Keynote
Keynotes
Chris Granger
Kodowa
10:00 - 10:30
Coffee Break
Catering
at
Regency Foyer
10:00
30m
Coffee break
Break
Catering
10:30 - 12:00
Types
OOPSLA
at
Regency A
Chair(s):
Kim Bruce
Pomona College
10:30
22m
Talk
SAVI Objects: Sharing and Virtuality Incorporated
OOPSLA
Izzat El Hajj
University of Illinois at Urbana-Champaign, USA
Thomas B. Jablin
University of Illinois at Urbana-Champaign, USA / Multicoreware, USA
Dejan Milojicic
Hewlett Packard Labs, USA
Wen-mei Hwu
University of Illinois at Urbana-Champaign, USA
DOI
10:52
22m
Talk
A Simple Soundness Proof for Dependent Object Types
OOPSLA
Marianna Rapoport
University of Waterloo, Canada
Ifaz Kabir
University of Waterloo, Canada
Paul He
University of Waterloo, Canada
Ondřej Lhoták
University of Waterloo, Canada
DOI
11:15
22m
Talk
Unifying Typing and Subtyping
OOPSLA
Yanpeng Yang
University of Hong Kong, China
Bruno C. d. S. Oliveira
University of Hong Kong, China
DOI
11:37
22m
Talk
Fast and Precise Type Checking for JavaScript
OOPSLA
Avik Chaudhuri
Facebook, USA
Panagiotis Vekris
University of California at San Diego, USA
Sam Goldman
Facebook, USA
Marshall Roch
Facebook, USA
Gabriel Levi
Facebook, USA
DOI
10:30 - 12:00
Language Design
Onward! Papers
at
Regency B
Chair(s):
Zachary Tatlock
University of Washington, Seattle
10:30
30m
Talk
Can We Crowdsource Language Design?
Onward! Papers
Preston Tunnell Wilson
Brown University
Justin Pombrio
Brown University, USA
Shriram Krishnamurthi
Brown University, USA
11:00
30m
Talk
Assessing User Preferences in Programming Language Design
Onward! Papers
Roger Chamberlain
Washington University in St. Louis
11:30
30m
Talk
Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Onward! Papers
Friedrich Steimann
Fernuniversität
10:30 - 12:00
Performance
OOPSLA
at
Regency C
Chair(s):
Kathryn S McKinley
Google
10:30
22m
Talk
A Volatile-by-Default JVM for Server Applications
OOPSLA
Lun Liu
University of California at Los Angeles, USA
Todd Millstein
University of California, Los Angeles
Madan Musuvathi
Microsoft Research
DOI
10:52
22m
Talk
Static Placement of Computation on Heterogeneous Devices
OOPSLA
Gabriel Poesia
Federal University of Minas Gerais, Brazil
Breno Campos Ferreira Guimarães
Federal University of Minas Gerais, Brazil
Fabrício Ferracioli
LG Electronics, Brazil
Fernando Magno Quintão Pereira
UFMG
DOI
11:15
22m
Talk
Skip Blocks: Reusing Execution History to Accelerate Web Scripts
OOPSLA
Sarah E. Chasins
University of California, Berkeley
Rastislav Bodík
University of Washington
DOI
11:37
22m
Talk
Virtual Machine Warmup Blows Hot and Cold
OOPSLA
Edd Barrett
King's College London
CF Bolz-Tereick
Rebecca Killick
Department of Mathematics and Statistics, University of Lancaster
Sarah Mount
King's College London
Laurence Tratt
King's College London
DOI
10:30 - 12:00
Programming Models
SPLASH-I
at
Regency D
Chair(s):
Gail Murphy
University of British Columbia
10:30
30m
Talk
Direct Manipulation Programming Systems
SPLASH-I
Ravi Chugh
University of Chicago
11:00
30m
Talk
Toward Scalable Semantic Big Data
SPLASH-I
Julian Dolby
IBM Thomas J. Watson Research Center
11:30
30m
Talk
Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming
SPLASH-I
Michael Tingley
12:00 - 13:30
Lunch
Catering
at
Plaza Ballroom
12:00
90m
Lunch
Lunch
Catering
13:30 - 15:00
Gradual Types and Memory
OOPSLA
at
Regency A
Chair(s):
Jennifer B. Sartor
Vrije Universiteit Brussel
13:30
22m
Talk
Sound Gradual Typing: Only Mostly Dead
OOPSLA
Spenser Andrew Bauman
Indiana University, USA
Sam Tobin-Hochstadt
Indiana University
Jeremy G. Siek
Indiana University, USA
CF Bolz-Tereick
DOI
13:52
22m
Talk
Sound Gradual Typing Is Nominally Alive and Well
OOPSLA
Fabian Muehlboeck
Cornell University
Ross Tate
Cornell University
DOI
14:15
22m
Talk
The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
OOPSLA
Gregor Richards
University of Waterloo
Ellen Arteca
University of Waterloo, Canada
Alexi Turcotte
University of Waterloo
DOI
14:37
22m
Talk
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
OOPSLA
Tomoharu Ugawa
Kochi University of Technology, Japan
Tatsuya Abe
Chiba Institute of Technology, Japan
Toshiyuki Maeda
Chiba Institute of Technology, Japan
DOI
13:30 - 15:00
Program Generation and Synthesis
Onward! Papers
at
Regency B
Chair(s):
Emina Torlak
University of Washington
13:30
30m
Talk
Generating Chat Bots from Web API Specifications
Onward! Papers
Mandana Vaziri
IBM Research
Louis Mandel
IBM Research
Avraham Shinnar
IBM Research
Jerome Simeon
IBM Research
Martin Hirzel
IBM Research
14:00
30m
Talk
ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Onward! Papers
Edmund Lam
University of Colorado Boulder
Peilun Zhang
Bor-Yuh Evan Chang
University of Colorado Boulder
14:30
30m
Talk
Unbounded Superoptimization
Onward! Papers
Abhinav Jangda
University of Massachusetts, Amherst
Greta Yorsh
Queen Mary University of London
13:30 - 15:00
Tools
OOPSLA
at
Regency C
Chair(s):
Joshua Sunshine
Carnegie Mellon University
13:30
22m
Talk
Effective Interactive Resolution of Static Analysis Alarms
OOPSLA
Xin Zhang
Massachusetts Institute of Technology, USA
Radu Grigore
University of Kent
Xujie Si
University of Pennsylvania
Mayur Naik
University of Pennsylvania
DOI
13:52
22m
Talk
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
OOPSLA
Eric Seidel
University of California at San Diego, USA
Huma Sibghat
University of California at San Diego, USA
Kamalika Chaudhuri
University of California at San Diego, USA
Westley Weimer
University of Virginia, USA
Ranjit Jhala
University of California at San Diego, USA
DOI
14:15
22m
Talk
Abridging Source Code
OOPSLA
Binhang Yuan
Rice University, USA
Vijayaraghavan Murali
Rice University, USA
Chris Jermaine
Rice University
DOI
14:37
22m
Talk
Evaluating and Improving Semistructured Merge
OOPSLA
Guilherme Cavalcanti
Federal University of Pernambuco, Brazil
Paulo Borba
Federal University of Pernambuco, Brazil
Paola Accioly
Federal University of Pernambuco, Brazil
DOI
13:30 - 15:00
Security
SPLASH-I
at
Regency D
Chair(s):
Karim Ali
University of Alberta
13:30
30m
Talk
Browser Performance Woes: Past, Present, and Future
SPLASH-I
Ben Livshits
Imperial College London, UK
14:00
30m
Talk
It's Time for Secure Languages
SPLASH-I
Cristina Cifuentes
Oracle Labs
14:30
30m
Talk
Preventing Information Leaks by Construction
SPLASH-I
Jean Yang
Carnegie Mellon University
15:00 - 15:30
Coffee Break
Catering
at
Regency Foyer
15:00
30m
Coffee break
Break
Catering
15:30 - 17:22
Synthesis
OOPSLA
at
Regency A
Chair(s):
Jonathan Edwards
15:30
22m
Talk
Model-Assisted Machine-Code Synthesis
OOPSLA
Venkatesh Srinivasan
University of Wisconsin - Madison
Ara Vartanian
University of Wisconsin-Madison, USA
Thomas Reps
University of Wisconsin - Madison and GrammaTech, Inc.
DOI
15:52
22m
Talk
Synthesis of Data Completion Scripts using Finite Tree Automata
OOPSLA
Xinyu Wang
UT Austin
Işıl Dillig
UT Austin
Rishabh Singh
Microsoft Research
DOI
16:14
22m
Talk
SQLizer: Query Synthesis from Natural Language
OOPSLA
Navid Yaghmazadeh
University of Texas, Austin
Yuepeng Wang
University of Texas at Austin
Işıl Dillig
UT Austin
Thomas Dillig
DOI
16:37
22m
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
OOPSLA
Mark Santolucito
Yale University
Ennan Zhai
Yale University, USA
Rahul Dhodapkar
MongoDB, USA
Aaron Shim
Microsoft, USA
Ruzica Piskac
Yale University
DOI
16:59
22m
Talk
Natural Synthesis of Provably-Correct Data-Structure Manipulations
OOPSLA
Xiaokang Qiu
Purdue University
Armando Solar-Lezama
MIT CSAIL
DOI
15:30 - 17:00
Essays
Onward! Essays
at
Regency B
Chair(s):
Robert Biddle
Carleton University
15:30
45m
Talk
Some Were Meant For C: The endurance of an unmanageable language
Onward! Essays
Stephen Kell
University of Cambridge
16:15
45m
Talk
Concept Analysis in Programming Language Research: Done Well It Is All Right
Onward! Essays
A:
Antti-Juhani Kaijanaho
University of Jyväskylä
DOI
Pre-print
15:30 - 17:00
Dynamic Analysis
OOPSLA
at
Regency C
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
15:30
22m
Talk
Practical Initialization Race Detection for JavaScript Web Applications
OOPSLA
Christoffer Quist Adamsen
Aarhus University
Anders Møller
Aarhus University
Frank Tip
Northeastern University
DOI
15:52
22m
Talk
Instrumentation Bias for Dynamic Data Race Detection
OOPSLA
Benjamin P. Wood
Wellesley College
Man Cao
Ohio State University
Michael D. Bond
Ohio State University
Dan Grossman
University of Washington
DOI
16:15
22m
Talk
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
OOPSLA
Nachshon Cohen
EPFL, Switzerland
Michal Friedman
James Larus
EPFL
DOI
16:37
22m
Talk
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
OOPSLA
Neville Grech
George Fourtounis
University of Athens
Adrian Francalanza
University of Malta
Yannis Smaragdakis
University of Athens
DOI
15:30 - 17:00
Panel: Language Evolution
SPLASH-I
at
Regency D
15:30
90m
Talk
Panel: 50 Years of Language Evolution: From Simula’67 to the Future
Panel
SPLASH-I
Steven D. Fraser
Lera Boroditsky
UC San Diego
Robert Gentleman
23andme
Chris Granger
Kodowa
Sumit Gulwani
Microsoft Research
Crista Lopes
University of California, Irvine
17:30 - 19:30
Poster Reception Wednesday
Posters
at
Poster Area
Chair(s):
Jonathan Bell
George Mason University
Patrick Lam
University of Waterloo
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito
Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera
Universidad Simón Bolívar
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng
Carnegie Mellon University, USA
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson
University of Minnesota, USA
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila
FAMAF, UNC / CONICET
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
Neville Grech
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac
Yale University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
Lionel Parreaux
EPFL
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
James Koppel
MIT
Armando Solar-Lezama
MIT CSAIL
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
Neville Grech
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi
MINES ParisTech, France
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson
Rafiuzzaman Mohammad
University of British Columbia
Karthik Pattabiraman
University of British Columbia
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist
Lund University
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani
University of Montreal
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona
University of Genova
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
Nathalie Oostvogels
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg
Tufts University
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj
ReactorLabs
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove
IBM Research
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos
Uppsala University
Erik Hagersten
Uppsala University
David Black-Schaffer
Uppsala University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch
University of Salzburg
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge
University of British Columbia, Canada
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa
Iowa State University
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin
Independent Researcher
James Koppel
MIT
Angela Chen
Google, Inc
Armando Solar-Lezama
MIT CSAIL
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher
Carnegie Mellon University
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb
University of California at Berkeley
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen
Australian National University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen
Aarhus University
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
Fredrik Kjolstad
MIT CSAIL
17:30
2h
Talk
What merge tool should I use?
Posters
Guilherme Miguel Teixeira Rito
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen
Massachusetts Institute of Technology
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson
Imperial College London
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
Raphael Hiesgen
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
Peilun Zhang
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury
Tata Consultancy Services Research
17:30 - 19:30
Wednesday Poster Reception
Social Program
at
Poster Area
17:30
2h
Social Event
Wednesday Poster Reception
Social Program
Gail Murphy
University of British Columbia
17:30 - 19:30
SRC 1st Round: Posters
Student Research Competition
at
Poster Area
Chair(s):
Shan Shan Huang
LogicBlox, Inc.
Jennifer B. Sartor
Vrije Universiteit Brussel
17:30
2h
Talk
What merge tool should I use?
Student Research Competition
Guilherme Cavalcanti
Federal University of Pernambuco, Brazil
17:30
2h
Talk
Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java
Student Research Competition
Haochen Xie
Nagoya University
17:30
2h
Talk
How to Efficiently Process 2^100 Different Lists
Student Research Competition
Lukas Lazarek
17:30
2h
Talk
Automatic Testing of Interactive JavaScript Debuggers
Student Research Competition
Daniel Lehmann
TU Darmstadt
17:30
2h
Talk
Abstracting Resource Effects
Student Research Competition
Valerie Zhao
Wellesley College
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Student Research Competition
Germán Ceballos
Uppsala University
17:30
2h
Talk
Genetic Improvement in Code Interpreters and Compilers
Student Research Competition
Oliver Krauss
University of Applied Sciences Upper Austria
17:30
2h
Talk
How Are Programming ƒQuestions from Women Received on Stack Overflow? A Case Study of Peer Parity
Student Research Competition
Savannah Morgan
17:30
2h
Talk
Framework support for Usability evaluation of Domain-Specific Languages
Student Research Competition
Ankica Barisic
NOVA-LINCS - Universidade Nova de Lisboa
17:30
2h
Talk
Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior
Student Research Competition
Nicholas Lewchenko
17:30
2h
Talk
Devirtualization in LLVM
Student Research Competition
Piotr Padlewski
17:30
2h
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Student Research Competition
David Leopoldseder
Johannes Kepler University Linz
17:30
2h
Talk
Verifying the Proxy Design Pattern Using Object Propositions
Student Research Competition
Nistor Ligia
Carnegie Mellon University
17:30
2h
Talk
ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
Student Research Competition
Monica Figuera
Universidad Simón Bolívar
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Keynote Thursday
Keynotes
at
Regency C
08:30
15m
Awards
OOPSLA Awards
Keynotes
P:
Jonathan Aldrich
Carnegie Mellon University
08:45
75m
Talk
SPLASH 2017 Keynote: Objects in the Age of Data
Keynote
Keynotes
Crista Lopes
University of California, Irvine
10:00 - 10:30
Coffee Break
Catering
at
Regency Foyer
10:00
30m
Coffee break
Break
Catering
10:30 - 12:00
Types and Language Design
OOPSLA
at
Regency A
Chair(s):
Mario Wolczko
Oracle Labs
10:30
22m
Talk
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
OOPSLA
Yizhou Zhang
Cornell University
Andrew Myers
DOI
10:52
22m
Talk
Static Stages for Heterogeneous Programming
OOPSLA
Adrian Sampson
Cornell University
Kathryn S McKinley
Google
Todd Mytkowicz
Microsoft Research
DOI
Pre-print
11:15
22m
Talk
Orca: GC and Type System Co-Design for Actor Languages
OOPSLA
Sylvan Clebsch
Imperial College London
Juliana Franco
Imperial College London
Sophia Drossopoulou
Albert Mingkun Yang
Tobias Wrigstad
Uppsala University
Jan Vitek
Northeastern University, USA
DOI
11:37
22m
Talk
Monadic Composition for Deterministic, Parallel Batch Processing
OOPSLA
Ryan Scott
Indiana University
Omar Navarro-Leija
University of Pennsylvania, USA
Ryan R. Newton
Indiana University
Joseph Devietti
University of Pennsylvania
DOI
10:30 - 12:00
Essay Panel
Onward! Essays
at
Regency B
Chair(s):
Robert Biddle
Carleton University
10:30
90m
Other
Panel: How can our publication models best serve our research?
Onward! Essays
Mary Shaw
Carnegie Mellon University
P:
Crista Lopes
University of California, Irvine
Matthias Hauswirth
Università della Svizzera italiana (USI)
P:
Philippe Kruchten
University of British Columbia
10:30 - 12:00
Optimizing Compilation and Verification
OOPSLA
at
Regency C
Chair(s):
Gregor Richards
University of Waterloo
10:30
22m
Talk
The Tensor Algebra Compiler
OOPSLA
Fredrik Kjolstad
MIT CSAIL
Shoaib Kamil
Adobe
Stephen Chou
MIT CSAIL
David Lugato
CEA, France
Saman Amarasinghe
MIT
DOI
10:52
22m
Talk
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
OOPSLA
Laith Sakka
Purdue University
Kirshanthan Sundararajah
Purdue University
Milind Kulkarni
Purdue University
DOI
11:15
22m
Talk
Verifying Spatial Properties of Array Computations
OOPSLA
Dominic Orchard
University of Kent, UK
Mistral Contrastin
Matthew Danish
University of Cambridge, UK
Andrew Rice
University of Cambridge, UK
DOI
11:37
22m
Talk
GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
OOPSLA
Yufei Ding
North Carolina State University
Xipeng Shen
North Carolina State University
DOI
10:30 - 12:00
Optimization & Networks
SPLASH-I
at
Regency D
Chair(s):
Eleni Stroulia
University of Alberta
10:30
30m
Talk
HHVM: Efficient and Scalable PHP/Hack Execution
SPLASH-I
Guilherme Ottoni
11:00
30m
Talk
Performance Analysis and Optimization of C++ Standard Libraries
SPLASH-I
Aditya Kumar
Samsung
Sebastian Pop
Samsung Research America
11:30
30m
Talk
Verifying Network Data Planes
SPLASH-I
Nate Foster
Cornell University
12:00 - 13:30
Lunch
Catering
at
Plaza Ballroom
12:00
90m
Lunch
Lunch
Catering
13:30 - 15:00
Mining Software Repositories and Parsing
OOPSLA
at
Regency A
Chair(s):
Wolfgang De Meuter
Vrije Universiteit Brussel
13:30
22m
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
OOPSLA
Samantha Syeda Khairunnesa
Iowa State University
Hoan Anh Nguyen
Iowa State University, USA
Tien N. Nguyen
University of Texas at Dallas
Hridesh Rajan
Iowa State University
DOI
13:52
22m
Talk
DéjàVu: A Map of Code Duplicates on GitHub
OOPSLA
Crista Lopes
University of California, Irvine
Petr Maj
ReactorLabs
Pedro Martins
University of California at Irvine, USA
Vaibhav Saini
University of California at Irvine, USA
Di Yang
University of California at Irvine, USA
Jakub Zitny
Czech Technical University, Czechia
Hitesh Sajnani
Microsoft
Jan Vitek
Northeastern University, USA
DOI
14:15
22m
Talk
Understanding the Use of Lambda Expressions in Java
OOPSLA
Davood Mazinanian
Concordia University, Canada
Ameya Ketkar
Oregon State University, USA
Nikolaos Tsantalis
Concordia University, Canada
Danny Dig
School of EECS at Oregon State University
DOI
14:37
22m
Talk
Restricting Grammars with Tree Automata
OOPSLA
Michael D. Adams
University of Utah, USA
Matthew Might
University of Utah, USA
DOI
13:30 - 15:00
Programming Models
Onward! Papers
at
Regency B
Chair(s):
Karim Ali
University of Alberta
13:30
30m
Talk
The Serverless Trilemma: Function Composition for Serverless Computing
Onward! Papers
Ioana Baldini
IBM T.J. Watson Research
Perry Cheng
IBM Research
Stephen J Fink
IBM
Nick Mitchell
Vinod Muthusamy
IBM T.J. Watson Research
Rodric Rabbah
IBM Research
Philippe Suter
Two Sigma
Olivier Tardieu
IBM Research
14:00
30m
Talk
Encoding the building blocks of communication
Onward! Papers
Aleksandar Prokopec
Oracle Labs
14:30
30m
Talk
IoTa: A Calculus for Internet of Things Automation
Onward! Papers
Julie L. Newcomb
University of California at Berkeley
Satish Chandra
Jean-Baptiste Jeannin
Carnegie Mellon University
Cole Schlesinger
Samsung Research America
Manu Sridharan
Uber
13:30 - 15:00
Verification
OOPSLA
at
Regency C
Chair(s):
Jonathan Edwards
13:30
22m
Talk
Seam: Provably Safe Local Edits on Graphs
OOPSLA
Manolis Papadakis
Stanford University, USA
Gilbert Louis Bernstein
Stanford University, USA
Rahul Sharma
Microsoft Research
Alex Aiken
Stanford University
Pat Hanrahan
Stanford University, USA
DOI
13:52
22m
Talk
TiML: A Functional Language for Practical Complexity Analysis with Invariants
OOPSLA
Peng Wang
Massachusetts Institute of Technology, USA
Di Wang
Peking University, China
Adam Chlipala
Massachusetts Institute of Technology, USA
DOI
14:15
22m
Talk
FairSquare: Probabilistic Verification of Program Fairness
OOPSLA
Aws Albarghouthi
University of Wisconsin-Madison
Loris D'Antoni
University of Wisconsin–Madison
Samuel Drews
University of Wisconsin-Madison
Aditya Nori
DOI
14:37
22m
Talk
Reasoning on Divergent Computations with Coaxioms
OOPSLA
Davide Ancona
University of Genova
Francesco Dagnino
Elena Zucca
University of Genova
DOI
13:30 - 15:00
Software Engineering & Education
SPLASH-I
at
Regency D
Chair(s):
Vadim Zaytsev
Raincode Labs, Belgium
13:30
30m
Talk
One if by Lambda, Two if by C: How PL Can Attack Computing Education
SPLASH-I
Kathi Fisler
Brown University
14:00
30m
Talk
Reducing Interruptions at Work with the FlowLight
SPLASH-I
Thomas Fritz
University of British Columbia, University of Zurich
14:30
30m
Talk
Smart Condo: IoT for Social Good
SPLASH-I
Eleni Stroulia
University of Alberta
15:00 - 15:30
Coffee Break
Catering
at
Regency Foyer
15:30 - 17:00
SRC 2nd Round: Presentations
Student Research Competition
at
Prince of Wales
Chair(s):
Shan Shan Huang
LogicBlox, Inc.
Jennifer B. Sartor
Vrije Universiteit Brussel
15:30
15m
Talk
Abstracting Resource Effects
Student Research Competition
Valerie Zhao
Wellesley College
15:45
15m
Talk
Automatic Testing of Interactive JavaScript Debuggers
Student Research Competition
Daniel Lehmann
TU Darmstadt
16:00
15m
Talk
Devirtualization in LLVM
Student Research Competition
Piotr Padlewski
16:15
15m
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Student Research Competition
Germán Ceballos
Uppsala University
16:30
15m
Talk
How to Efficiently Process 2^100 Different Lists
Student Research Competition
Lukas Lazarek
16:45
15m
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Student Research Competition
David Leopoldseder
Johannes Kepler University Linz
15:30 - 17:22
Testing
OOPSLA
at
Regency A
Chair(s):
Christian Hammer
University of Potsdam
15:30
22m
Talk
A Solver-Aided Language for Test Input Generation
OOPSLA
Talia Ringer
University of Washington
Dan Grossman
University of Washington
Daniel Schwartz-Narbonne
Amazon, n.n.
Serdar Tasiran
Amazon, n.n.
DOI
15:52
22m
Talk
Automated Testing of Graphics Shader Compilers
OOPSLA
Alastair F. Donaldson
Imperial College London
Hugues Evrard
Imperial College London, UK
Andrei Lascu
Imperial College London
Paul Thomson
Imperial College London
DOI
16:14
22m
Talk
Bounded Exhaustive Test-Input Generation on GPUs
OOPSLA
Ahmet Celik
University of Texas at Austin, USA
Sreepathi Pai
University of Rochester
Sarfraz Khurshid
University of Texas at Austin
Milos Gligoric
University of Texas at Austin
DOI
16:37
22m
Talk
Transforming Programs and Tests in Tandem for Fault Localization
OOPSLA
Xia Li
University of Texas at Dallas, USA
Lingming Zhang
DOI
16:59
22m
Talk
Type Test Scripts for TypeScript Testing
OOPSLA
Erik Krogh Kristensen
Aarhus University, Denmark
Anders Møller
Aarhus University
DOI
15:30 - 17:00
Verification in Practice
OOPSLA
at
Regency C
Chair(s):
Davide Ancona
University of Genova
15:30
22m
Talk
A Model for Reasoning about JavaScript Promises
OOPSLA
Magnus Madsen
University of Waterloo
Ondřej Lhoták
University of Waterloo, Canada
Frank Tip
Northeastern University
DOI
15:52
22m
Talk
Robust and Compositional Verification of Object Capability Patterns
OOPSLA
David Swasey
MPI-SWS, Germany
Deepak Garg
Max Planck Institute for Software Systems
Derek Dreyer
MPI-SWS
DOI
16:15
22m
Talk
A Verified Messaging System
OOPSLA
William Mansky
Princeton University
Andrew W. Appel
Princeton
Aleksey Nogin
HRL Laboratories, LLC
DOI
16:37
22m
Talk
Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification
OOPSLA
Alastair Reid
Arm Ltd
DOI
15:30 - 17:00
Machine Learning & Data Science
SPLASH-I
at
Regency D
Chair(s):
Cristina Cifuentes
Oracle Labs
15:30
30m
Talk
Bridging the Digital Divide in Data Science
SPLASH-I
Hridesh Rajan
Iowa State University
16:00
30m
Talk
Domain-Specific Symbolic Compilation
SPLASH-I
Rastislav Bodík
University of Washington
16:30
30m
Talk
Training and Tuning Machine-Learning Applications: A View from the Trenches
SPLASH-I
Matthew Arnold
A:
Harold Ossher
IBM Thomas J. Watson Research Center
17:30 - 18:30
Business Meeting and Awards
Keynotes
at
Regency C
17:30
15m
Talk
SPLASH Steering Committee Report
Keynotes
S:
Tony Hosking
Australian National University / Data61
17:45
10m
Talk
SPLASH 2017 General Chairs Report
Keynotes
G:
Gail Murphy
University of British Columbia
17:55
10m
Talk
OOPSLA 2017 Program Chair's Report
Keynotes
O:
Jonathan Aldrich
Carnegie Mellon University
18:05
10m
Talk
Onward! Program Chairs' Report
Keynotes
O:
Emina Torlak
University of Washington
O:
Robert Biddle
Carleton University
18:15
15m
Talk
SIGPLAN Town Hall
Keynotes
Yannis Smaragdakis
University of Athens
18:45 - 22:00
Conference Banquet
Social Program
at
Banquet Location
18:45
3h15m
Social Event
Conference Banquet (Reception Style)
Social Program
Gail Murphy
University of British Columbia
Fri 27 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Keynote Friday
Keynotes
at
Regency C
08:30
10m
Day opening
SPLASH 2018
Keynotes
P:
Jan Vitek
Northeastern University, USA
08:40
5m
Other
Onward! Most Notable Paper Award
Keynotes
TBD
08:45
10m
Awards
Student Awards
Keynotes
Jennifer B. Sartor
Vrije Universiteit Brussel
08:55
65m
Talk
Onward 2017 Keynote: How the languages we speak shape the ways we think
Keynote
Keynotes
Lera Boroditsky
UC San Diego
10:00 - 10:30
Coffee Break
Catering
at
Regency Foyer
10:30 - 12:00
Language Design
OOPSLA
at
Regency A
Chair(s):
Gregor Richards
University of Waterloo
10:30
22m
Talk
Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
OOPSLA
Matthew J. Parkinson
Microsoft Research, UK
Dimitrios Vytiniotis
Microsoft Research, Cambridge
Kapil Vaswani
Microsoft Research
Manuel Costa
Microsoft Research
Pantazis Deligiannis
Microsoft Research
Dylan McDermott
University of Cambridge
Jonathan Balkind
Princeton, USA
Aaron Blankstein
Princeton, USA
DOI
10:52
22m
Talk
Alpaca: Intermittent Execution without Checkpoints
OOPSLA
Kiwan Maeng
Carnegie Mellon University, USA
Alexei Colin
Carnegie Mellon University
Brandon Lucia
Carnegie Mellon University
DOI
11:15
22m
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
OOPSLA
Ennan Zhai
Yale University, USA
Ruzica Piskac
Yale University
Ronghui Gu
Columbia University, USA
Xun Lao
Yale University, USA
Xi Wang
Yale University, USA
DOI
11:37
22m
Talk
Reliable and Automatic Composition of Language Extensions to C
OOPSLA
Ted Kaminski
University of Minnesota
Lucas Kramer
University of Minnesota
Travis Carlson
University of Minnesota, USA
Eric Van Wyk
University of Minnesota, USA
DOI
Pre-print
10:30 - 12:00
Usability and Performance
Onward! Papers
at
Regency B
Chair(s):
Sam Tobin-Hochstadt
Indiana University
10:30
30m
Talk
Error Messages are Classifiers: A Process to Design and Evaluate Error Messages
Onward! Papers
John Wrenn
Brown University
Shriram Krishnamurthi
Brown University, USA
11:00
30m
Talk
You Can Have it All: Abstraction and Good Cache Performance
Onward! Papers
Juliana Franco
Imperial College London
Martin Hagelin
(Dirac)
Tobias Wrigstad
Uppsala University
Sophia Drossopoulou
Susan Eisenbach
Imperial College London
11:30
30m
Talk
Garbology: A Study of How Java Objects Die
Onward! Papers
Raoul Veroy
Tufts University
Sam Guyer
Tufts University
10:30 - 12:00
Static Analysis
OOPSLA
at
Regency C
Chair(s):
Christian Hammer
University of Potsdam
10:30
22m
Talk
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
OOPSLA
Johannes Späth
Fraunhofer IEM
Karim Ali
University of Alberta
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI
10:52
22m
Talk
P/Taint: Unified Points-to and Taint Analysis
OOPSLA
Neville Grech
Yannis Smaragdakis
University of Athens
DOI
11:15
22m
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
OOPSLA
Sehun Jeong
Korea University, South Korea
Minseok Jeon
Korea University, South Korea
Sungdeok (Steve) Cha
Korea University, South Korea
Hakjoo Oh
Korea University
DOI
11:37
22m
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
OOPSLA
Kwonsoo Chae
Korea University
Hakjoo Oh
Korea University
Kihong Heo
University of Pennsylvania, USA
Hongseok Yang
University of Oxford
DOI
10:30 - 12:00
Compilers
SPLASH-I
at
Regency D
Chair(s):
Nate Foster
Cornell University
10:30
30m
Talk
DYOL: Design a Language, Know the Consequences
SPLASH-I
Vadim Zaytsev
Raincode Labs, Belgium
12:00 - 13:30
Lunch
Catering
at
Plaza Ballroom
12:00
90m
Lunch
Lunch
Catering
13:30 - 15:00
Usability and Deadlock
OOPSLA
at
Regency A
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
13:30
22m
Talk
Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
OOPSLA
Tiago Cogumbreiro
Rice University
Rishi Surendran
Rice University, USA
Francisco Martins
LaSIGE, University of Lisbon
Vivek Sarkar
Rice University, USA
Vasco T. Vasconcelos
University of Lisbon, Portugal
Max Grossman
Rice University, USA
DOI
13:52
22m
Talk
Detecting Argument Selection Defects
OOPSLA
Andrew Rice
University of Cambridge, UK
Eddie Aftandilian
Google
Ciera Jaspan
Google
Emily Johnston
Google
Michael Pradel
TU Darmstadt
Yulissa Arroyo-Paredes
Columbia University, USA
DOI
14:15
22m
Talk
How Type Errors Were Fixed and What Students Did?
OOPSLA
Baijun Wu
University of Louisiana at Lafayette, USA
Sheng Chen
ULL Lafayette
DOI
14:37
22m
Talk
Learning User Friendly Type-Error Messages
OOPSLA
Baijun Wu
University of Louisiana at Lafayette, USA
John Peter Campora
ULL Lafayette
Sheng Chen
ULL Lafayette
DOI
13:30 - 15:00
New Languages
Onward! Papers
at
Regency B
Chair(s):
Adrian Sampson
Cornell University
13:30
30m
Talk
Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Onward! Papers
Christopher Hall
Trevor Standley
Stanford
Tobias Höllerer
UCSB
14:00
30m
Talk
Selfie and the Basics
Onward! Papers
Christoph Kirsch
University of Salzburg
14:30
30m
Talk
Systems Level Liveness with AnonSystem
Onward! Papers
Andrew Sorensen
Australian National University
Henry Gardner
The Australian National University
13:30 - 15:00
Distributed Systems
OOPSLA
at
Regency C
Chair(s):
Wolfgang De Meuter
Vrije Universiteit Brussel
13:30
22m
Talk
Geo-Distribution of Actor-Based Services
OOPSLA
Philip A. Bernstein
Microsoft Research
Sebastian Burckhardt
Microsoft Research
Sergey Bykov
Microsoft, n.n.
Natacha Crooks
University of Texas at Austin, USA
Jose Faleiro
Yale University, USA
Gabriel Kliot
Google, n.n.
Alok Kumbhare
Microsoft Research, n.n.
Muntasir Raihan Rahman
Microsoft
Vivek Shah
University of Copenhagen, Denmark
Adriana Szekeres
University of Washington, USA
Jorgen Thelin
Microsoft Research, Redmond
DOI
13:52
22m
Talk
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
OOPSLA
Oded Padon
Tel Aviv University
Giuliano Losa
University of California at Los Angeles, USA
Mooly Sagiv
Tel Aviv University
Sharon Shoham
Tel Aviv university
DOI
14:15
22m
Talk
Verifying Strong Eventual Consistency in Distributed Systems
OOPSLA
Victor B. F. Gomes
University of Cambridge, UK
Martin Kleppmann
University of Cambridge
Dominic P. Mulligan
University of Cambridge
Alastair R. Beresford
University of Cambridge, UK
DOI
14:37
22m
Talk
Verifying Distributed Programs via Canonical Sequentialization
OOPSLA
Alexander Bakst
Klaus v. Gleissenthall
University of California at San Diego, USA
Ranjit Jhala
University of California at San Diego, USA
Rami Gökhan Kıcı
University of California at San Diego, USA
DOI
15:00 - 16:00
Ice Cream Social
Social Program
at
Regency Foyer
15:00
60m
Social Event
Ice Cream Social
Social Program
Gail Murphy
University of British Columbia
Get Calendar (iCal)
iCalendar subscription service for your personal schedule
You first need to have starred events (
) in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Close
Fri 24 Apr 21:10