SPLASH 2017 Program

Markedly: a cartographic approach for mapping eDSL implementation costs

Stefan Marr

09:00 - 09:30
Talk

Matthew Ahrens, Karl Cronburg, Jeanne-Marie Musca

[Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving

09:30 - 10:00
Talk

Less Testing Ink

Yossi Gil

08:30 - 10:00: PX/17.2 - Session 1 at Prince of Wales

08:30 - 10:00
Talk

Steven Tanimoto

Link to publication

08:30 - 10:00: DSLDI 2017 - Session 1 at Regency A
Chair(s): Lindsey Kuper, Eric Walkingshaw

09:00 - 09:10
Day opening

Lindsey Kuper, Eric Walkingshaw

09:10 - 10:00
Talk

Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk)

Ronald Garcia

08:30 - 10:00: Parsing@SLE 2017 - Session 1 at Oxford
Chair(s): Eric Van Wyk

08:45 - 09:00
Day opening

Eric Van Wyk, Jurgen Vinju

09:00 - 09:30
Talk

Block Level Parallelism in Parsing Block Structured Languages

Abhinav Jangda

09:30 - 10:00
Talk

Parsing techniques for graph analysis

Ekaterina Verbitskaia, Semyon Grigorev

10:00 - 10:30: Catering - Coffee Break at Regency Foyer

10:00 - 10:30
Coffee break

Hop.js: JavaScript Multitier Programming ⭐️

10:30 - 12:00: Meta 2017 - Code Generation at Regency B
Chair(s): Stefan Marr

10:30 - 11:30
Talk

Manuel Serrano

11:30 - 12:00
Talk

Toward Abstract Interpretation of Program Transformations

Sven Keidel, Sebastian Erdweg

FOSD Keynote: Managing Features in Cloned Variants

10:30 - 12:00: FOSD 2017 - FOSD Keynote at Windsor

10:30 - 11:00
Day opening

Welcome to FOSD 2017

11:00 - 12:00
Talk

Julia Rubin

10:30 - 12:00: PX/17.2 - Session 2 at Prince of Wales

10:30 - 11:15
Talk

Designing a Live Development Experience for Web Components

Jens Lincke, Stefan Ramson, Patrick Rein, Robert Hirschfeld, Marcel Taeumel, Tim Felgentreff

Incremental Coverage of Legacy Software Languages

11:15 - 12:00
Talk

Substance and Style: domain-specific languages for mathematical diagrams

10:30 - 12:00: DSLDI 2017 - Session 2 at Regency A
Chair(s): Nada Amin

10:30 - 10:52
Talk

Wode Ni, Katherine Ye, Joshua Sunshine, Jonathan Aldrich, Keenan Crane

Debugging Domain-Specific Languages Defined with Macros

10:52 - 11:15
Talk

Xiangqi Li, Matthew Flatt

DSL Design for Reinforcement Learning Agents

11:15 - 11:37
Talk

Christopher Simpkins, Spencer Rugaber, Charles Isbell, Jr.

Tangent: automatic differentiation using source code transformation in Python

11:37 - 12:00
Talk

Bart van Merriënboer, Alexander B. Wiltschko

A Modular SGLR Parsing Architecture for Systematic Performance Optimization

10:30 - 12:00: Parsing@SLE 2017 - Session 2 at Oxford
Chair(s): Jurgen Vinju

10:30 - 11:00
Talk

Jasper Denkers, Luís Eduardo de Souza Amorim, Michael Steindorfer, Eelco Visser

11:00 - 11:30
Talk

System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs

Stephen Hanka, Frank Coyle

11:30 - 12:00
Talk

Parsing extensible type qualifiers in ableC

Travis Carlson, Eric Van Wyk

10:30 - 12:00: Scala 2017 - Types at Regency C
Chair(s): Anthony Sloane

10:30 - 11:00
Talk

Towards Algorithmic Typing for DOT (Short Paper)

Abel Nieto

DOI Pre-print File Attached

11:00 - 11:30
Talk

The Limitations of Type Classes as Subtyped Implicits (Short Paper)

Adelbert Chang

DOI Pre-print

11:30 - 12:00
Talk

Rust-Like Borrowing with 2nd-Class Values (Short Paper)

Leo Osvald, Tiark Rompf

DOI Media Attached

12:00 - 13:30: Catering - Lunch at Plaza Ballroom

12:00 - 13:30
Lunch

A Scala Framework for Supercompilation

13:30 - 15:00: Scala 2017 - Compilation at Regency C
Chair(s): Paolo G. Giarrusso

13:30 - 14:00
Talk

Nate Nystrom

Making Collection Operations Optimal with Aggressive JIT Compilation

14:00 - 14:30
Talk

Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Wuerthinger

ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)

14:30 - 15:00
Talk

Franck Cassez, Anthony Sloane

Reactive Reflection in an FRP Language for Small-Scale Embedded Systems

13:30 - 15:00: Meta 2017 - Runtime Reflection at Regency B
Chair(s): Cyrus Omar

13:30 - 14:00
Talk

Takuo Watanabe

Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes

14:00 - 14:30
Talk

Javier Pimás, Stefan Marr

An Annotation-based API for Supporting Runtime Code Annotation Reading

14:30 - 15:00
Talk

Phyllipe Lima, Eduardo Guerra, Marco Nardes, Andrea Mocci, Gabriele Bavota, Michele Lanza

Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP

13:30 - 15:00: PX/17.2 - Session 3 at Prince of Wales

13:30 - 14:15
Talk

Yoshiki Ohshima, Bert Freudenberg, Dan Amelang

Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools

14:15 - 15:00
Talk

Patrick Rein, Jens Lincke, Stefan Ramson, Toni Mattis, Robert Hirschfeld

MkMod: A Domain Specific Language for developing Linux Kernel Modules

13:30 - 15:00: DSLDI 2017 - Session 3 at Regency A
Chair(s): Eric Walkingshaw

13:30 - 13:52
Talk

Manasij Mukherjee

Bacatá: a generic notebook generator for DSLs

13:52 - 14:15
Talk

Mauricio Verano Merino, Jurgen Vinju, Tijs van der Storm

Yossi Gil, David H. Lorenz, Matan I. Peled

14:15 - 14:37
Talk

Thapl—A Theatrical DSL

Towards Naturalistic EDSLs using Algebraic Effects

14:37 - 15:00
Talk

Jonathan Immanuel Brachthäuser

Link to publication Pre-print Media Attached File Attached

13:30 - 15:00: Parsing@SLE 2017 - Session 3 at Oxford
Chair(s): Eric Van Wyk

14:00 - 14:30
Talk

Declarative Disambiguation with Contextual Scoping

Michael Steindorfer, Luís Eduardo de Souza Amorim

14:30 - 15:00
Talk

Parsing @ IDE

Towards Complete Consistency Checks of Clafer Models

13:30 - 15:00: FOSD 2017 - Talks / Discussion at Windsor

13:30 - 14:00
Talk

Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr

14:00 - 14:30
Talk

Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures

Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer

14:30 - 15:00
Talk

Variational Lists: Comparisons and Design Guidelines

Karl Smeltzer, Martin Erwig

15:00 - 15:30: Catering - Coffee Break at Regency Foyer

15:00 - 15:30
Coffee break

Collapsing Towers of Interpreters ⭐️

15:30 - 17:00: Meta 2017 - Compiling Reflection at Regency B
Chair(s): Stefan Marr

15:30 - 16:30
Talk

Nada Amin

16:30 - 17:00
Day closing

Discussion and Closing

15:30 - 17:00: Scala 2017 - Open-source & Student Talks at Regency C
Chair(s): Guido Salvaneschi

15:30 - 15:52
Talk

Genomic Data Analysis in Scala (Open-Source Talk)

Ryan Williams

Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk)

15:52 - 16:15
Talk

James Decker

Delimited Control in Scala (Student Talk)

16:15 - 16:37
Talk

Nils Jonsson

16:37 - 17:00
Talk

Design of Library Interfaces (Student Talk)

Nils Jonsson

15:30 - 17:00: Parsing@SLE 2017 - Practical Guide to Parsing at Oxford
Chair(s): Jurgen Vinju

15:30 - 17:00
Other

Discussion of SLEBoK Practical Guide to Parsing

Jurgen Vinju

15:30 - 17:00: PX/17.2 - Session 4 at Prince of Wales

15:30 - 16:15
Talk

The Entangled Strands of Time in Software Development

Matthias Hauswirth, Mohammad Reza Azadmanesh

Towards Concept-aware Programming Environments for Guiding Software Modularity

16:15 - 17:00
Talk

Toni Mattis, Patrick Rein, Stefan Ramson, Jens Lincke, Robert Hirschfeld

Property Law as a Programming Language

15:30 - 17:00: DSLDI 2017 - Session 4 at Regency A
Chair(s): Lindsey Kuper

15:30 - 15:52
Talk

Shrutarshi Basu, James Grimmelmann, Nate Foster

Embedding By Normalisation

15:52 - 16:15
Talk

Shayan Najd

Reliable composition of domain-specific language features

16:15 - 16:37
Talk

Ted Kaminski, Eric Van Wyk

Discussion and closing remarks

16:37 - 17:00
Day closing

15:30 - 17:00: FOSD 2017 - Talks / Discussion at Windsor

15:30 - 16:00
Talk

Feature Oriented Programming in Groovy

Guilherme Assis, Eduardo Figueiredo, Gustavo Vale

16:00 - 16:30
Talk

Towards a Development Process for Maturing Delta-Oriented Software Product Lines

Sven Schuster, Christoph Seidl, Ina Schaefer

16:30 - 17:00
Talk

AGERE! Keynote: Advanced Features of the Orleans Programming FrameworkKeynote

Eric Walkingshaw

Mon 23 Oct

08:30 - 10:00: AGERE 2017 - Introduction + Keynote at Prince of Wales

08:45 - 09:00
Talk

Welcome and Introduction

09:00 - 10:00
Talk

Philip A. Bernstein

PLATEAU Keynote: Usability Design Space in Programming by Examples

08:30 - 10:00: PLATEAU 2017 - Introduction and Keynote at Regency D

08:30 - 09:00
Day opening

Welcome and Introduction

09:00 - 10:00
Talk

Sumit Gulwani

08:30 - 10:00: SLE - Keynote GPCE/SLE at Regency A+B

08:30 - 08:45
Day opening

Opening

Benoit Combemale, Marjan Mernik, Bernhard Rumpe

GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny DigKeynote

08:45 - 10:00
Talk

Danny Dig

08:30 - 10:00: GPCE 2017 - Keynote GPCE/SLE Monday at Regency A+B

08:30 - 08:45
Day opening

Opening

Matthew Flatt, Sebastian Erdweg

08:45 - 10:00
Talk

Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote

Danny Dig

08:30 - 10:00: Scala 2017 - Keynote Monday at Regency C
Chair(s): Ondřej Lhoták

08:45 - 09:00
Day opening

Opening - Day 2

09:00 - 10:00
Talk

The Hack Programming Language

Dwayne Reeves

08:30 - 10:00: REBELS - Keynote: Sebastian Burckhardt at Oxford

08:30 - 10:00
Talk

Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services

Sebastian Burckhardt

08:30 - 10:00: SEPS 2017 - Session 1 at Brighton
Chair(s): Yukinori Sato

08:45 - 09:00
Talk

Welcome and opening

09:00 - 10:00
Talk

SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages

Philipp Haller

Welcome and Overview of NJR

08:30 - 10:00: NJR 2017 - Session 1 at Constable
Chair(s): Jens Palsberg

08:30 - 09:00
Talk

Crista Lopes, Jens Palsberg

09:00 - 09:20
Talk

Benchmarking for Program Analysis

Cristina Cifuentes, Karim Ali, Yannis Smaragdakis

Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud

09:20 - 09:40
Talk

Jonathan Bell

XCorpus, An Executable Corpus of Java Programs

09:40 - 10:00
Talk

Jens Dietrich

08:30 - 10:00: CoCoS 2017 - Session 1: Keynote at Dover

08:30 - 09:00
Day opening

Keynote: Program Comprehension - Who, How, What, and Why

09:00 - 10:00
Talk

Reid Holmes

08:30 - 10:00: NOOL 2017 - Talks Session 1 at Windsor

08:45 - 09:00
Day opening

Objectifying a Metaprogramming Language

09:00 - 09:30
Talk

(CER) Mastery Learning-Like Teaching with Achievements

08:30 - 10:00: SPLASH-E - Tools and Techniques at Kensington
Chair(s): Joe Gibbs Politz

08:30 - 09:00
Talk

Tobias Wrigstad, Elias Castegren

(CSES) Assessing the Usability of a Novel System for Programming Education

09:00 - 09:30
Talk

Giovanni Vincenti, Scott Hilberg, James Braman, Michael Satzinger, Lily Cao

(CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups

09:30 - 10:00
Talk

Aybuke Gul Turker, Christine Corbett Moran

Forget the Garbagemen, We Need a Plumber

08:30 - 10:00: WODA 2017 - WODA at Cavendish
Chair(s): Jeff Huang, Ben Livshits

08:30 - 09:15
Talk

Emery Berger

09:15 - 10:00
Talk

Pushing Predictive Data Race Detection to the Limit

Michael Bond

10:00 - 10:30: Catering - Coffee Break at Regency Foyer

10:00 - 10:30
Coffee break

Panel Discussion: Security in OO languages

10:30 - 12:00: NOOL 2017 - Discussion Session at Windsor

10:30 - 11:45
Talk

Cristina Cifuentes, Mark Miller, Jonathan Aldrich, Yannis Smaragdakis

10:30 - 12:00: Scala 2017 - Domain-specific Languages at Regency C

10:30 - 11:00
Talk

Typesafe Abstractions for Tensor Operations (Short Paper)

Tongfei Chen

DOI Pre-print Media Attached

11:00 - 11:30
Talk

Interactive Development using the Dotty Compiler (Tool Paper)

Guillaume Martres

DOI Pre-print Media Attached

11:30 - 12:00
Talk

Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)

Lars Kroll, Paris Carbone, Seif Haridi

DOI File Attached

10:30 - 12:00: SPLASH-E - Languages and Semantics at Kensington

10:30 - 11:00
Talk

(CER) Early Experience with Grace

Andrew Black, Kim Bruce

(CER) Making the Liskov Substitution Principle Happy and Sad

11:00 - 11:30
Talk

Elisa Baniassad

(CSES) Student Understanding of Aliasing and Procedure Calls

11:30 - 12:00
Talk

Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi

Type-Safe Modular Parsing

10:30 - 12:00: SLE - Parsing at Regency B
Chair(s): Ralf Lämmel

10:30 - 10:55
Talk

Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira

Incremental Packrat Parsing

10:55 - 11:20
Talk

Patrick Dubroy, Alessandro Warth

A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing

11:20 - 11:45
Talk

Kimio Kuramitsu

Red Shift: Procedural Shift-Reduce ParsingVision Paper

11:45 - 12:00
Talk

Nicolas Laurent

Handling Partial Failures in Distributed Reactive Programming

10:30 - 12:00: REBELS - Second session at Oxford

10:30 - 11:00
Talk

Florian Myter, Christophe Scholliers, Wolfgang De Meuter

A DSL for Compensable and Interruptible Executions

11:00 - 11:30
Talk

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

11:30 - 12:00
Talk

First-class Reactive Programs for CPS

Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter

Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors

10:30 - 12:00: AGERE 2017 - Session 1: Verification and Language Models at Prince of Wales
Chair(s): Joeri De Koster

10:30 - 11:00
Talk

Humberto Rodriguez Avila, Joeri De Koster, Wolfgang De Meuter

Tree Topologies for Causal Message Delivery

11:00 - 11:30
Talk

Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou

11:30 - 12:00
Talk

Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency

Mehdi Bagherzadeh, Hridesh Rajan

Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time

10:30 - 12:00: NJR 2017 - Session 2 at Constable
Chair(s): Crista Lopes

10:30 - 10:50
Talk

Harry Xu

Automated Benchmark Management

10:50 - 11:10
Talk

Eric Bodden, Ben Hermann

Tool Support for Energy-Aware Programming

11:10 - 11:30
Talk

Yu David Liu

Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions

11:30 - 11:50
Talk

Michael Bond

11:50 - 12:10
Talk

The Need for a JavaScript Benchmark for Program Analysis

Cristina Cifuentes, François Gauthier

Megamodelling with NGA Multimodels

10:30 - 12:00: CoCoS 2017 - Session 2: Generative Approaches at Dover

10:30 - 11:00
Talk

Jatte: A Tunable Tree Editor for Integrated DSLs

11:00 - 11:30
Talk

Alfred Åkesson, Görel Hedin

11:30 - 12:00
Talk

Discussion

10:30 - 12:00: SEPS 2017 - Session2: Software performance engineering at Brighton
Chair(s): Pablo de Oliveira Castro

10:30 - 11:00
Talk

MALT, A Malloc Tracker

Sébastien Valat, Andres S. Charif-Rubial, William Jalby

11:00 - 11:30
Talk

Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software

Philip C. Roth, Hongzhang Shan, David Riegner, Nikolas Antolin, Sarat Sreepathi, Leonid Oliker, Samuel Williams, Shirley Moore, Wolfgang Windl

11:30 - 12:00
Talk

The Influence of HPCToolkit and Score-P on Hardware Performance Counters

Jan-Patrick Lehr, Christian Iwainsky, Christian Bischof

10:30 - 12:00: GPCE 2017 - Staging at Regency A
Chair(s): Nada Amin

10:30 - 10:55
Talk

Refining Semantics for Multi-stage Programming

Rui Ge, Ronald Garcia

Staging for Generic Programming in Space and Time

10:55 - 11:20
Talk

Georg Ofenbeck, Tiark Rompf, Markus Püschel

Staging with Control: Type-Safe Multi-stage Programming with Control Operators

11:20 - 11:45
Talk

Junpei Oishi, Yukiyoshi Kameyama

Code Staging in GNU GuixShort paper

11:45 - 12:00
Talk

Ludovic Courtès

The Uses of Interactive Explorers for Web APIs

10:30 - 12:00: PLATEAU 2017 - Tools and Environments at Regency D
Chair(s): Gustavo Soares

10:30 - 10:50
Talk

John Daughtry, Andrew Macvean, Luke Church

One λ at a time: What do we know about presenting human-friendly output from program analysis tools?

10:50 - 11:10
Talk

Titus Barik, Chris Parnin, Emerson Murphy-Hill

What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment

11:10 - 11:30
Talk

Niklas Hollmann, Thorben Roßenbeck, Mark Kunze, Liron Türk, Stefan Hanenberg

Development of a Web Platform for Code Peer-Testing

11:30 - 11:50
Talk

Manuel Maarek, Léon McGregor

Strong Memory Models: 5 Simple Tricks to Beat SC

10:30 - 12:00: WODA 2017 - WODA at Cavendish
Chair(s): Jeff Huang, Ben Livshits

10:30 - 11:15
Talk

Milind Kulkarni

11:15 - 11:35
Talk

Constructing Dynamic Control Flow Graphs from Execution Traces

Jesse Bartels, Jon Stephens, Saumya Debray

11:35 - 11:55
Talk

Dynamic Verification of Inter-parameter Constraints in Web Applications

Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter

12:00 - 13:30: Catering - Lunch at Plaza Ballroom

12:00 - 13:30
Lunch

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

13:30 - 15:00: Scala 2017 - Language Design at Regency C
Chair(s): Nada Amin

13:30 - 14:00
Talk

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch

DOI Media Attached

14:00 - 14:30
Talk

Effekt: Extensible Algebraic Effects in Scala (Short Paper)

Jonathan Immanuel Brachthäuser, Philipp Schuster

DOI Pre-print Media Attached File Attached

13:30 - 15:00: PLATEAU 2017 - Language, DSL, and Feature Design at Regency D
Chair(s): Joshua Sunshine

13:30 - 13:50
Talk

A User Study to Inform the Design of the Obsidian Blockchain DSL

Celeste Barnaby, Michael Coblenz, Tyler Etzel, Eliezer Kanal, Joshua Sunshine, Brad Myers, Jonathan Aldrich

Programming Robot Manipulators with Tangible Blocks

13:50 - 14:05
Talk

Yasaman Sefidgar, Maya Cakmak

Preliminary Analysis of REST API Style Guidelines

14:05 - 14:25
Talk

Lauren Murphy, Tosin Alliyu, Mary Beth Kery, Brad Myers

Sympathy for the Devil: Reified Collection of Runtime Errors

14:25 - 14:45
Talk

Tommaso Dal Sasso, Andrei Chiş, Andrea Mocci, Tudor Gîrba, Michele Lanza

Preventing Babel: Rectifying the Trend of Programming Language Divergence

14:45 - 15:00
Talk

Alon Amid, Borivoje Nikolic

Locality-Guided Scheduling in CAF

13:30 - 15:00: AGERE 2017 - Session 2: Runtime Environments and Debugging at Prince of Wales
Chair(s): Joeri De Koster

13:30 - 14:00
Talk

Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, Thomas C. Schmidt

A Principled Approach Towards Debugging Communicating Event-Loops

14:00 - 14:30
Talk

Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Hanspeter Mössenböck, Christophe Scholliers

14:30 - 15:00
Talk

Actoverse: A Reversible Debugger for Actors

Kazuhiro Shibanai, Takuo Watanabe

NJR discussion; Needs, Requirements, Wishes

13:30 - 15:00: NJR 2017 - Session 3 at Constable

13:30 - 15:00
Other

Crista Lopes, Jens Palsberg

13:30 - 15:00: CoCoS 2017 - Session 3: Debugging at Dover
Chair(s): Yvonne Coady

13:30 - 14:00
Talk

Survey of Approaches for Assessing Software Energy Consumption

Felix Rieger, Christoph Bockisch

14:00 - 14:30
Talk

How Did the Failure Come to Be?

Mohammad R. Azadmanesh, Matthias Hauswirth

14:30 - 15:00
Talk

Discussion

13:30 - 15:00: SEPS 2017 - Session 3: Software concurrency and heterogeneity at Brighton
Chair(s): Sébastien Valat

13:30 - 14:00
Talk

Transactional Actors: Communication in Transactions

Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter

Link to publication DOI Pre-print

14:00 - 14:20
Talk

[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques

Silvana Morita Melo, Simone do Rocio Senger de Souza, Jeff Carver, Paulo Sergio Lopes de Souza

14:20 - 14:40
Talk

[Position paper] Declaring Lua Data Types for GPU Code Generation

Paulo Motta

14:40 - 15:00
Talk

[Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room

Matthias Book, Morris Riedel, Helmut Neukirchen, Markus Götz

13:30 - 15:00: SPLASH-E - Software Engineering at Kensington

13:30 - 14:00
Talk

(CSES) Open-Source Sofware in Class: Students’ Common Mistakes

Zhewei Hu, Yang Song, Edward Gehringer

(CSES) Peer Review in Cybersecurity Education

14:00 - 14:30
Talk

William M. Temple, Kathi Fisler

(CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly

14:30 - 15:00
Talk

Sarah Heckman, Kathryn Stolee, Chris Parnin

Integrating Debugging with Continuous Testing

13:30 - 15:00: NOOL 2017 - Talks Session 2 at Windsor

13:30 - 14:00
Talk

Malcolm Stone, Roly Perera

14:00 - 14:30
Talk

Algool – Object-Orientation with Algebraic Specification

Anya Helene Bagge

14:30 - 15:00
Talk

Usably Expressing and Enforcing Design in Wyvern

Jonathan Aldrich, Alex Potanin

13:30 - 15:00: SLE - Textual Models at Regency B
Chair(s): Anthony Sloane

13:30 - 13:53
Talk

Towards a Taxonomy of Grammar Smells

Mats Stijlaart, Vadim Zaytsev

Deep Priority Conflicts in the Wild: A Pilot Study

13:53 - 14:15
Talk

Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser

Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation

14:16 - 14:38
Talk

Robert Bill, Patrick Neubauer, Manuel Wimmer

Robust Projectional Editing

14:38 - 15:00
Talk

Friedrich Steimann, Marcus Frenkel, Markus Voelter

FRP IoT Modules as a Scala DSL

13:30 - 15:00: REBELS - Third session at Oxford

13:30 - 14:00
Talk

Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens

14:00 - 14:30
Talk

Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

Sam Van den Vonder, Joeri De Koster, Florian Myter, Wolfgang De Meuter

DOI Pre-print

14:30 - 15:00
Talk

Verifiable Reactive Software

Kevin Baldor, Jianwei Niu

13:30 - 15:00: GPCE 2017 - Variability at Regency A
Chair(s): Ina Schaefer

13:30 - 13:55
Talk

A Classification of Variation Control Systems

Lukas Linsbauer, Thorsten Berger, Paul Grünbacher

Analyzing the Impact of Natural Language Processing over Feature Location in Models

13:55 - 14:20
Talk

Raúl Lapeña, Jaime Font, Óscar Pastor, Carlos Cetina

How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper

14:20 - 14:45
Talk

Wolfram Fenske, Sandro Schulze, Gunter Saake

Finding Bugs and Insights in Semi-structured Data

13:30 - 15:00: WODA 2017 - WODA at Cavendish
Chair(s): Ben Livshits, Jeff Huang

13:30 - 14:15
Talk

Benjamin Zorn

14:15 - 15:00
Talk

Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability

Harry Xu

15:00 - 15:30: Catering - Coffee Break at Regency Foyer

15:00 - 15:30
Coffee break

Debugging with Domain-Specific Events via Macros

15:30 - 17:00: SLE - DSLs at Regency B
Chair(s): Jurgen Vinju

15:30 - 15:55
Talk

Xiangqi Li, Matthew Flatt

A Chrestomathy of DSL implementations

15:55 - 16:20
Talk

Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger

A Requirements Engineering Approach for Usability-Driven DSL Development

16:20 - 16:45
Talk

Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao

Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages

16:45 - 17:10
Talk

Marco Brambilla, Jordi Cabot, Javier Luis Cánovas Izquierdo, Andrea Mauri

Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories

15:30 - 17:00: REBELS - Fourth session at Oxford

15:30 - 17:00: PLATEAU 2017 - Insights into Programmer Thought Processes and Experience at Regency D
Chair(s): Sarah Chasins

15:30 - 15:50
Talk

Mohammad reza, Matthias Hauswirth

Modeling Programming Problem Solving Through Interactive Worked Examples

15:50 - 16:05
Talk

Dastyni Loksa, Andrew J. Ko

OpenMP or Pthreads: Which is Better for Beginners?

16:05 - 16:25
Talk

Pedro Bruel, Paulo Meirelles, Raphael Cobe, Alfredo Goldman

Can Some Programming Languages Be Considered Harmful?

16:25 - 16:45
Talk

Sabine Janssens, Ulrik Schultz, Vadim Zaytsev

Preliminary Analysis of Contestant Performance for a Code Hunt Contest

16:45 - 17:05
Talk

Adrian Clark, Jonathan Wells, Angello Astorga, Andrew Xie, Jalen Coleman-Lands, Tao Xie

AGERE! Keynote: Actors for Big Data: Applications and Open ProblemsKeynote

15:30 - 17:00: AGERE 2017 - Keynote + Discussion/Panel at Prince of Wales

15:30 - 16:30
Talk

Gul Agha

16:30 - 17:00
Talk

Discussion/Panel

15:30 - 17:00: SEPS 2017 - Session 4 at Brighton
Chair(s): Yukinori Sato

15:30 - 17:00
Talk

Panel discussions: "Open source software and tools for engineering parallel software"

Yukinori Sato, Pablo de Oliveira Castro, Philipp Haller

15:30 - 17:00: CoCoS 2017 - Session 4: Wrap-Up at Dover
Chair(s): Christoph Bockisch

15:30 - 16:00
Talk

Ivo functions forward and backward

16:00 - 16:30
Other

Break-out groups

16:30 - 17:00
Talk

Wrap-Up

15:30 - 17:00: NOOL 2017 - Talks Session 3 at Windsor

15:30 - 16:00
Talk

Nate Nystrom, Igor Moreno Santos

16:00 - 16:30
Talk

Towards Typing Julia

Benjamin Chung, Paley Li

16:30 - 17:00
Day closing

Closing thoughts & plans for next year

15:30 - 17:00: GPCE 2017 - Types at Regency A
Chair(s): Shigeru Chiba

15:30 - 15:55
Talk

Type Qualifiers as Composable Language Extensions

Travis Carlson, Eric Van Wyk

Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM

15:55 - 16:20
Talk

Andrea Rosà, Eduardo Rosales, Walter Binder

Rewriting for Sound and Complete Union, Intersection and Negation Types

16:20 - 16:45
Talk

David Pearce

Model Checking with Maximal Causality Reduction

15:30 - 17:00: Scala 2017 - Unconference at Regency C
Chair(s): Jonathan Immanuel Brachthäuser

15:30 - 17:00
Talk

Unconference

15:30 - 17:00: WODA 2017 - WODA at Cavendish
Chair(s): Jeff Huang, Ben Livshits

15:30 - 16:00
Talk

Jeff Huang

16:00 - 16:30
Talk

Better Program Analysis Through Heap Profiling

Neville Grech

16:30 - 17:00
Talk

Can Analysis be Too Precise?

Sam Guyer

17:30 - 19:30: Social Program - Monday Poster Reception at Poster Area

17:30 - 19:30
Social Event

Monday Workshop and Poster Reception

Gail Murphy

17:30 - 19:30: Posters - Poster Reception Monday at Poster Area
Chair(s): Jonathan Bell, Patrick Lam

17:30 - 19:30
Talk

Automated Testing of Graphics Shader Compilers

Alastair Donaldson

17:30 - 19:30
Talk

Towards Compositional and Generative Tensor Optimizations

Adilla Susungi

17:30 - 19:30
Talk

A Domain-Specific Controlled English Language for Automated Regulatory Compliance

Suman Roychoudhury

17:30 - 19:30
Talk

Systems Level Liveness with Extempore

Andrew Sorensen

17:30 - 19:30
Talk

Incremental Parametric Syntax for Multi-Language Transformation

James Koppel, Armando Solar-Lezama

17:30 - 19:30
Talk

Using Object Capabilities and Effects to Build an Authority-Safe Module System

Darya Melicher

17:30 - 19:30
Talk

What merge tool should I use?

Guilherme Miguel Teixeira Rito

17:30 - 19:30
Talk

Synthesizing Configuration File Specifications with Association Rule Learning

Mark Santolucito

17:30 - 19:30
Talk

Reasoning on Divergent Computations with Coaxioms

Davide Ancona

17:30 - 19:30
Talk

Reliable and Automatic Composition of Language Extensions to C

Travis Carlson

17:30 - 19:30
Talk

Towards a Taxonomy of Grammar Smells

The Tensor Algebra Compiler

17:30 - 19:30
Talk

Fredrik Kjolstad

17:30 - 19:30
Talk

Concurrent Circular Reference Attribute Grammars

Jesper Oqvist

17:30 - 19:30
Talk

Dynamic Verification of Inter-parameter Constraints in Web Applications

Nathalie Oostvogels

17:30 - 19:30
Talk

DéjàVu: A Map of Code Duplicates on GitHub

Petr Maj

17:30 - 19:30
Talk

Refining Semantics for Multi-stage Programming

Rui Ge

17:30 - 19:30
Talk

An Auditing Language for Preventing Correlated Failures in the Cloud

Ruzica Piskac

17:30 - 19:30
Talk

ZenSheet Studio: a visual environment for functional reactive computing

Monica Figuera

17:30 - 19:30
Talk

How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System

Germán Ceballos, Erik Hagersten, David Black-Schaffer

17:30 - 19:30
Talk

Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots

Neville Grech

17:30 - 19:30
Talk

Dynamic Atomicity: Optimizing Swift Memory Management

David Grove

17:30 - 19:30
Talk

Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages

Hakjoo Oh

17:30 - 19:30
Talk

Selfie and the Basics

Christoph Kirsch

17:30 - 19:30
Talk

P/Taint: Unified Points-To and Information Flow Analysis

Neville Grech

17:30 - 19:30
Talk

Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools

Eugene Syriani

17:30 - 19:30
Talk

Markedly: a cartographic approach for mapping eDSL implementation costs

Karl Cronburg

17:30 - 19:30
Talk

Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations

Lionel Parreaux

17:30 - 19:30
Talk

Iota: A Calculus for Internet of Things Automation

Julie L. Newcomb

17:30 - 19:30
Talk

Locality-Guided Scheduling in CAF

Raphael Hiesgen

17:30 - 19:30
Talk

Decoding Lua: Formal Semantics for the Developer and the Semanticist

Mallku Ernesto Soldevila Raffa

17:30 - 19:30
Talk

Robust Programs with Filtered Iterators

Jiasi Shen

17:30 - 19:30
Talk

Data-Driven Context-Sensitivity for Points-to Analysis

Hakjoo Oh

17:30 - 19:30
Talk

Practical Initialization Race Detection for JavaScript Web Applications

Christoffer Quist Adamsen

17:30 - 19:30
Talk

ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps

Peilun Zhang

17:30 - 19:30
Talk

QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge

Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama

17:30 - 19:30
Talk

Alpaca: Intermittent Execution Without Checkpoints

Kiwan Maeng

17:30 - 19:30
Talk

SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems

Julien Gascon-Samson, Rafiuzzaman Mohammad, Karthik Pattabiraman

17:30 - 19:30
Talk

Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining

Samantha Syeda Khairunnesa

17:30 - 19:30
Talk

DYOL: Design a Language, Know the Consequences

Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017)

Tue 24 Oct

08:30 - 09:30: VMIL 2017 - DLS 2017 Invited Talk at Regency C
Chair(s): Davide Ancona

08:30 - 09:30
Talk

Filip Pizlo

08:30 - 10:00: SAVR 2017 - Keynote (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs
Chair(s): Yvonne Coady

08:30 - 09:00
Social Event

Welcome and Hello!

09:00 - 10:00
Talk

The Immersive Internet, Karan Singh, University of Toronto

08:30 - 10:00: SLE - Keynote GPCE/SLE at Regency A+B

08:30 - 08:45
Day opening

Awards

Marjan Mernik, Bernhard Rumpe, Laurence Tratt, Tanja Mayerhofer

SLE Keynote: Engineering meta-languages for specifying software languagesKeynote

08:45 - 10:00
Talk

Peter D. Mosses

DOI File Attached

08:30 - 10:00: GPCE 2017 - Keynote GPCE/SLE Tuesday at Regency A+B

08:30 - 08:45
Awards

Awards

Matthew Flatt, Sebastian Erdweg

08:45 - 10:00
Talk

Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote

Peter D. Mosses

08:30 - 10:00: PL Mentoring Workshop (PLMW) - Session 1 at Prince of Wales

08:00 - 08:10
Day opening

Welcome and Greeting

Barbara Ryder, Lori Pollock

Research is a social process / What Programming Languages Researchers Do and How

08:10 - 08:50
Talk

Kathryn S McKinley

Why do a Ph.D. and how to pick an area?

08:50 - 09:30
Talk

Yannis Smaragdakis

The Influence of Programming Languages on Augmenting Human Understanding

09:30 - 10:10
Talk

Benjamin Zorn

Media Attached File Attached

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

08:30 - 08:35
Day opening

08:35 - 08:50
Talk

Invited Talk: From PHD to PROF: blind luck or careful planning?

08:50 - 09:20
Talk

Jan Vitek

09:20 - 10:00
Talk

How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System

Germán Ceballos

08:30 - 10:00: DLS 2017 - Session 1 at Regency C
Chair(s): Davide Ancona

08:30 - 09:30
Talk

Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017)

Filip Pizlo

09:30 - 10:00
Talk

A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools

Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, Hanspeter Mössenböck

DOI Pre-print

08:30 - 10:00: LIVE 2017 - Spring at Regency D

08:30 - 09:20
Talk

Keynote: User Interfaces for Live Programming

Jun Kato

09:20 - 09:40
Talk

Reifying Programming

Jonathan Edwards

Live Programming as Gradual Abstraction

09:40 - 10:00
Talk

Sean McDirmid

08:30 - 10:00: OCAP 2017 - Welcome and Keynote at Cavendish
Chair(s): Mark Miller

08:30 - 09:00
Talk

09:00 - 10:00
Talk

Keynote by Norm Hardy

Norm Hardy

10:00 - 10:30: Catering - Coffee Break at Regency Foyer

10:00 - 10:30
Coffee break

Online Debugger Support for Reactive Programming Using Virtual Reality

10:30 - 12:00: SAVR 2017 - Building and Breaking (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs
Chair(s): Derek Jacoby

10:30 - 10:50
Talk

10:50 - 11:10
Talk

Prototyping with Unity for AR & VR

11:10 - 11:30
Talk

Immersive Analytics Tool For Creating Graphs and Models

11:30 - 12:00
Talk

Panel Discussion I

10:30 - 12:00: SLE - Grammars at Regency B
Chair(s): Bernhard Rumpe

10:30 - 10:55
Talk

A Formalisation of Parameterised Reference Attribute Grammars

Scott Buckley, Anthony Sloane

Concurrent Circular Reference Attribute Grammars

10:55 - 11:20
Talk

Jesper Oqvist, Görel Hedin

Ensuring Non-interference of Composable Language Extensions

11:20 - 11:45
Talk

Ted Kaminski, Eric Van Wyk

A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial Paper

11:45 - 12:00
Talk

Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni

Quoted Staged Rewriting: A Practical Approach to Library-Defined OptimizationsBest Paper

10:30 - 12:00: GPCE 2017 - Performance at Regency A
Chair(s): Matthew Flatt

10:30 - 10:55
Talk

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch

DOI Authorizer link Media Attached

10:55 - 11:20
Talk

Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms

Joseph Caldwell, Shigeru Chiba

RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms

11:20 - 11:45
Talk

Arsène Pérard-Gayot, Martin Weier, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack

Towards Compositional and Generative Tensor OptimizationsShort paper

11:45 - 12:00
Talk

Adilla Susungi, Norman A. Rink, Jeronimo Castrillon, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, Jochen Fröhlich

CapNet: Security and Least Authority in a Capability-Enabled Cloud

10:30 - 12:00: OCAP 2017 - Session 1 at Cavendish

10:30 - 11:00
Talk

Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus Van der Merwe

11:00 - 11:30
Talk

Monte: A Spiritual Successor to E

Corbin Simpson

11:30 - 12:00
Talk

Using Object Capabilities and Effects to Build an Authority-Safe Module System

Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich

10:30 - 12:00: PL Mentoring Workshop (PLMW) - Session 2 at Prince of Wales

10:30 - 11:10
Talk

What to do and who to ask?

Y. Annie Liu

Michael Hilton, Kathryn Stolee, David Darais, Annie T.T. Ying

11:10 - 12:10
Other

Panel of new Ph.D.s

10:30 - 12:00: Doctoral Symposium - Session 2 at Kensington

10:30 - 11:10
Talk

Genetic Improvement in Code Interpreters and Compilers

Oliver Krauss

11:10 - 11:50
Talk

Simulation-based Code Duplication for Enhancing Compiler Optimizations

David Leopoldseder

10:30 - 12:00: DLS 2017 - Session 2 at Regency C
Chair(s): Manuel Serrano

10:30 - 11:00
Talk

Dynamic Atomicity: Optimizing Swift memory management

David Ungar, David Grove, Hubertus Franke

11:00 - 11:30
Talk

Object equivalence: Revisiting Object Equality Profiling (An Experience Report)

Alejandro Infante, Alexandre Bergel

11:30 - 12:00
Talk

Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report

Javier Pimás, Javier Burroni, Jean Baptiste Arnaud, Stefan Marr

Keynote: Becoming Alive, Growing Up

10:30 - 12:00: LIVE 2017 - Summer at Regency D

10:30 - 11:20
Talk

Luke Church

11:20 - 11:40
Talk

Toward a Live Stepper for Typed Expressions with Holes

Cyrus Omar, Ian Voysey, Matthew Hammer

Whatever You Say, Happens: Live Creation of VR/AR Experiences

11:40 - 12:00
Talk

Mike Johnston

Cross-ISA debugging in meta-circular VMs

10:30 - 12:00: VMIL 2017 - VMIL at Windsor
Chair(s): Adam Welc

10:30 - 10:40
Day opening

Welcome to VMIL

Adam Welc

10:40 - 11:20
Talk

Christos Kotselidis, Andy Nisbet, Foivos S. Zakkak, Nikos Foutris

11:20 - 12:00
Talk

Accelerate JavaScript Applications by Cross-Compiling to WebAssembly

Micha Reiser, Luc Bläser

12:00 - 13:30: Catering - Lunch at Plaza Ballroom

12:00 - 13:30
Lunch

Four Languages and Lots of Macros: Analyzing Autotools Build Systems

13:30 - 15:00: GPCE 2017 - Analysis & Testing at Regency A
Chair(s): Jaakko Järvi

13:30 - 13:55
Talk

Jafar M. Al-Kofahi, Suresh Kothari, Christian Kästner

13:55 - 14:20
Talk

Avoiding Useless Mutants

Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, Andre Santos, Ana Cavalcanti, Fabiano Ferrari, José Carlos Maldonado

Silverchain: A Fluent API Generator

14:20 - 14:45
Talk

Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, Shigeru Chiba

Parser Generation by Example for Legacy Pattern LanguagesShort paper

14:45 - 15:00
Talk

13:30 - 15:00: LIVE 2017 - Fall at Regency D

13:30 - 14:20
Other

Shadama: A Particle Simulation Programming Environment for Everyone

Sean McDirmid

14:20 - 14:40
Talk

Yoshiki Ohshima, Bert Freudenberg, Dan Amelang

Seymour: Live Programming for the Classroom

14:40 - 15:00
Talk

Saketh Kasibatla, Alessandro Warth

Concrete Syntax: A Multi-paradigm Modelling Approach

13:30 - 15:00: SLE - Meta-modelling at Regency B
Chair(s): Marjan Mernik

13:30 - 13:53
Talk

Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe

Structural Model Subtyping with OCL Constraints

13:53 - 14:16
Talk

Artur Boronat

Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools

14:16 - 14:38
Talk

Lechanceux Luhunu, Eugene Syriani

Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo

14:38 - 15:00
Talk

Ed Seidewitz

Detecting Spatial Orientation Demands during Virtual Navigation using EEG Brain Sensing

13:30 - 15:00: SAVR 2017 - Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs
Chair(s): Craig Anslow

13:30 - 13:50
Talk

13:50 - 14:10
Talk

I Am Afraid: Voice Performance in Virtual Reality

14:10 - 14:30
Talk

Rich collaboration systems: Improving online collaboration with multi-modal interactions

14:30 - 15:00
Talk

Panel Discussion II

13:30 - 15:00: OCAP 2017 - Session 2 at Cavendish

13:30 - 14:00
Talk

Capabilities and Effects

Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich

Reference Capabilities for Concurrency & Scalability: an Experience Report

14:00 - 14:30
Talk

Elias Castegren, Tobias Wrigstad

14:30 - 15:00
Talk

Unforgeable Distributed Capabilities

Alan Karp

13:30 - 15:00: PL Mentoring Workshop (PLMW) - Session 3 at Prince of Wales

13:30 - 14:10
Talk

My 25 years in OO

Jan Vitek

Choosing your mentor and learning to present your ideas clearly

14:10 - 14:50
Talk

Ana Milanova

Invited Talk: From PhD to Fossil: of choice and context, technical and personal

13:30 - 15:00: Doctoral Symposium - Session 3 at Kensington

13:30 - 14:00
Talk

David Ungar

14:00 - 14:40
Talk

Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs

Carmen Torres Lopez

13:30 - 15:00: DLS 2017 - Session 3 at Regency C
Chair(s): Davide Ancona

13:30 - 14:30
Talk

Invited talk: Challenges and Progress Toward Efficient Gradual Typing

Jeremy G. Siek

Semantics of Asynchronous JavaScript

14:30 - 15:00
Talk

Matthew C. Loring, Mark Marron, Daan Leijen

13:30 - 15:00: VMIL 2017 - VMIL at Windsor

13:30 - 14:30
Talk

Keynote: How Should We Train the Next Generation of VM Engineers?

Mario Wolczko

14:30 - 15:10
Talk

Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations

Shijie Xu, David Bremner, Daniel Heidinga

15:00 - 15:30: Catering - Coffee Break at Regency Foyer

15:00 - 15:30
Coffee break

Swivel-Chair: Evaluating Seated Full-Rotational Interfaces for Virtual Reality Navigation

15:30 - 17:00: SAVR 2017 - Bits versus Atoms! (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs
Chair(s): Florian Myter

15:30 - 15:50
Talk

15:50 - 16:10
Talk

Monocle - Physical to Digital

16:10 - 16:30
Talk

What we can Learn Observing the Observer Observing the User in Public VR Contexts

16:30 - 16:58
Talk

Panel Discussion III

16:58 - 16:59
Talk

Lightening Talk: A Virtual Reality Experience Demonstration: The Gold Rush in British Columbia

16:59 - 17:00
Talk

Lightening Talk: Virtual reality for tsunami emergency training in Port Alberni

15:30 - 17:00: GPCE 2017 - DSLs at Regency A
Chair(s): Anthony Sloane

15:30 - 15:55
Talk

A Haskell Compiler for Signal Transforms

Geoffrey Mainland, Jeremy Johnson

Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report

15:55 - 16:20
Talk

Ricardo Giuliani Martini, Pedro Rangel Henriques

Rewriting a Shallow DSL using a GHC Compiler Extension

16:20 - 16:45
Talk

Mark Grebe, David Young, Andy Gill

FlowSpec: Declarative Dataflow Analysis Specification

15:30 - 17:00: SLE - GPL/DSL implementation at Regency B
Chair(s): Eric Van Wyk

15:30 - 15:55
Talk

Jeff Smits, Eelco Visser

DOI File Attached

15:55 - 16:20
Talk

Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore

Robust Programs with Filtered Iterators

16:20 - 16:45
Talk

Jiasi Shen, Martin Rinard

An Introduction to the Software Language Engineering Body of Knowledge

16:45 - 17:10
Talk

Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?

-
Talk

Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva

DOI Media Attached

15:30 - 17:00: OCAP 2017 - Session 3 at Cavendish

15:30 - 16:00
Talk

Specifying Attenuation

Shu-Peng Loh, Sophia Drossopoulou

16:00 - 17:00
Talk

Panel/Discussion

15:30 - 17:00: PL Mentoring Workshop (PLMW) - Session 4 at Prince of Wales

15:20 - 16:00
Talk

Navigating the process of doing a rewarding Ph.D.

Mayur Naik

Panel: Industry & Academia

16:00 - 17:00
Other

Kathryn S McKinley, Julia Rubin, Benjamin Zorn, Mayur Naik

17:00 - 17:15
Day closing

Wrap Up

What merge tool should I use?

17:15 - 18:30
Social Event

Post-Workshop Reception

15:30 - 17:00: Doctoral Symposium - Session 4 at Kensington

15:30 - 16:10
Talk

Guilherme Cavalcanti

16:10 - 16:50
Talk

Combining Visual and Textual Languages for Dyslexia

Luis Fernando González Alvarán

16:50 - 17:00
Day closing

Closing remarks

15:30 - 17:00: DLS 2017 - Session 4 at Regency C
Chair(s): Marc Feeley

15:30 - 16:00
Talk

Decoding Lua: Formal Semantics for the Developer and the Semanticist

Mallku Ernesto Soldevila Raffa, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas

16:00 - 16:30
Talk

The Semantics of Name Resolution in Grace

Vlad Vergu, Michiel Haisma, Eelco Visser

Panel - The future of language runtimes

15:30 - 17:00: VMIL 2017 - VMIL at Windsor
Chair(s): Adam Welc

15:30 - 17:00
Other

Tony Hosking, Mario Wolczko, David Grove

15:30 - 17:00: LIVE 2017 - Winter at Regency D

15:30 - 15:50
Talk

ZenSheet: a live programming environment for reactive computing

Enzo Alda, Monica Figuera

Media Attached File Attached

15:50 - 16:10
Talk

Anansi: a Tracing Interpreter

Scott Kovach

Dinner (registration add-on)

16:10 - 17:00
Other

Closing Discussion

Sean McDirmid

18:00 - 20:00: SLE - Dinner at Rogue Kitchen & Wetbar

18:00 - 20:00
Dinner

18:00 - 20:00: GPCE 2017 - Dinner at Rogue Kitchen & Wetbar

18:00 - 20:00
Social Event

Dinner (registration add-on)

Wed 25 Oct

08:30 - 10:00: Keynotes - Keynote Wednesday at Regency C

08:30 - 08:40
Day opening

Welcome to SPLASH 2017

Gail Murphy

08:40 - 08:50
Awards

OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award

Yannis Smaragdakis, Jonathan Aldrich

08:50 - 10:00
Talk

SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspectiveKeynote

Chris Granger

10:00 - 10:30: Catering - Coffee Break at Regency Foyer

10:00 - 10:30
Coffee break

Can We Crowdsource Language Design?

10:30 - 12:00: Onward! Papers - Language Design at Regency B
Chair(s): Zachary Tatlock

10:30 - 11:00
Talk

Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi

11:00 - 11:30
Talk

Assessing User Preferences in Programming Language Design

Roger Chamberlain

11:30 - 12:00
Talk

Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages

Friedrich Steimann

10:30 - 12:00: OOPSLA - Performance at Regency C
Chair(s): Kathryn S McKinley

10:30 - 10:52
Talk

A Volatile-by-Default JVM for Server Applications

Lun Liu, Todd Millstein, Madan Musuvathi

Static Placement of Computation on Heterogeneous Devices

10:52 - 11:15
Talk

Gabriel Poesia, Breno Campos, Fabrício Ferracioli, Fernando Magno Quintão Pereira

Skip Blocks: Reusing Execution History to Accelerate Web Scripts

11:15 - 11:37
Talk

Sarah Chasins, Rastislav Bodik

Virtual Machine Warmup Blows Hot and Cold

11:37 - 12:00
Talk

Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, Laurence Tratt

Direct Manipulation Programming Systems

10:30 - 12:00: SPLASH-I - Programming Models at Regency D
Chair(s): Gail Murphy

10:30 - 11:00
Talk

Ravi Chugh

11:00 - 11:30
Talk

Toward Scalable Semantic Big Data

Julian Dolby

11:30 - 12:00
Talk

Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming

Michael Tingley

10:30 - 12:00: OOPSLA - Types at Regency A
Chair(s): Kim Bruce

10:30 - 10:52
Talk

SAVI Objects: Sharing and Virtuality Incorporated

Izzat El Hajj, Thomas B. Jablin, Dejan Milojicic, Wen-mei Hwu

A Simple Soundness Proof for Dependent Object Types

10:52 - 11:15
Talk

Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták

Unifying Typing and Subtyping

11:15 - 11:37
Talk

Yanpeng Yang, Bruno C. d. S. Oliveira

Fast and Precise Type Checking for JavaScript

11:37 - 12:00
Talk

Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi

12:00 - 13:30: Catering - Lunch at Plaza Ballroom

12:00 - 13:30
Lunch

Sound Gradual Typing: Only Mostly Dead

13:30 - 15:00: OOPSLA - Gradual Types and Memory at Regency A
Chair(s): Jennifer B. Sartor

13:30 - 13:52
Talk

Spenser Andrew Bauman, Sam Tobin-Hochstadt, Jeremy G. Siek, Carl Friedrich Bolz-Tereick