Program - SPLASH 2017

Write a Blog >>

Sun 22 - Fri 27 October 2017 Vancouver, Canada

Filter

Sun 22 Oct

08:30 - 10:00: Scala 2017 - Keynote Sunday at Room 7

08:45 - 09:00
Day opening

Opening - Day 1

09:00 - 10:00
Talk

Spark and Scala

10:30 - 12:00: FOSD 2017 - FOSD Keynote at Room 6

10:30 - 10:40
Day opening

Welcome to FOSD 2017

10:40 - 12:00
Talk

FOSD Keynote: Managing Features in Cloned Variants

10:30 - 12:00: Meta 2017 - Invited Talks at Room 3

10:30 - 12:00
Talk

Collapsing Towers of Interpreters

10:30 - 12:00: Scala 2017 - Types at Room 7

10:30 - 11:00
Talk

Towards Algorithmic Typing for DOT (Short Paper)

11:00 - 11:30
Talk

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

11:30 - 12:00
Talk

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

Leo Osvald, Tiark Rompf

13:30 - 15:00: Scala 2017 - Compilation at Room 7

13:30 - 14:00
Talk

A Scala Framework for Supercompilation

14:00 - 14:30
Talk

Making Collection Operations Optimal with Aggressive JIT Compilation

Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Wuerthinger

14:30 - 15:00
Talk

ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)

Franck Cassez, Anthony Sloane

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

15:30 - 17:00: Scala 2017 - Open-source & Student Talks at Room 7

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

Mon 23 Oct

08:30 - 10:00: SLE - Keynote GPCE/SLE at Room 9

08:30 - 08:45
Day opening

Benoit Combemale, Marjan Mernik, Bernhard Rumpe

08:45 - 10:00
Talk

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

08:30 - 10:00: GPCE 2017 - Keynote GPCE/SLE Monday at Room 8

08:30 - 10:00
Talk

Keynote: The Landscape of Refactoring Research in the Last Decade

08:30 - 10:00: Scala 2017 - Keynote Monday at Room 7

08:45 - 09:00
Day opening

Opening - Day 2

09:00 - 10:00
Talk

The Hack Programming Language

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

08:30 - 09:00
Day opening

09:00 - 10:00
Talk

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

08:30 - 09:00
Talk

(CER) Mastery Learning-Like Teaching with Achievements

Tobias Wrigstad, Elias Castegren

09:00 - 09:30
Talk

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

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

09:30 - 10:00
Talk

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

Aybuke Gul Turker, Christine Corbett Moran

10:30 - 12:00: Scala 2017 - Domain-specific Languages at Room 7

10:30 - 11:00
Talk

Typesafe Abstractions for Tensor Operations (Short Paper)

11:00 - 11:30
Talk

Interactive Development using the Dotty Compiler (Tool Paper)

Guillaume Martres

11:30 - 12:00
Talk

Modular Remote Communication Protocol Interpreters (Tool Paper)

Julien Richard-Foy, Wojciech Pituła

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

10:30 - 11:00
Talk

(CER) Early Experience with Grace

Andrew Black, Kim Bruce

11:00 - 11:30
Talk

(CER) Making the Liskov Substitution Principle Happy and Sad

Elisa Baniassad

11:30 - 12:00
Talk

(CSES) Student Understanding of Aliasing and Procedure Calls

Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi

10:30 - 12:00: SLE - Parsing at Room 9

10:30 - 10:55
Talk

Type-Safe Modular Parsing

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

10:55 - 11:20
Talk

Incremental Packrat Parsing

Patrick Dubroy, Alessandro Warth

11:20 - 11:45
Talk

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

Kimio Kuramitsu

11:45 - 12:00
Talk

Red Shift: Procedural Shift-Reduce ParsingVision Paper

Nicolas Laurent

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

10:30 - 11:00
Talk

Megamodelling with NGA Multimodels

11:00 - 11:30
Talk

Jatte: A Tunable Tree Editor for Integrated DSLs

Alfred Åkesson, Görel Hedin

11:30 - 12:00
Talk

10:30 - 12:00: GPCE 2017 - Staging at Room 8

10:30 - 10:55
Talk

Refining Semantics for Multi-stage Programming

Rui Ge, Ronald Garcia

10:55 - 11:20
Talk

Staging for Generic Programming in Space and Time

Georg Ofenbeck, Tiark Rompf, Markus Püschel

11:20 - 11:45
Talk

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

Junpei Oishi, Yukiyoshi Kameyama

11:45 - 12:00
Talk

Code Staging in GNU GuixShort paper

Ludovic Courtès

13:30 - 15:00: Scala 2017 - Language Design at Room 7

13:30 - 14:00
Talk

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Lionel Parreaux, Amir Shaikhha, Christoph Koch

14:00 - 14:30
Talk

Effekt: Extensible Algebraic Effects in Scala (Short Paper)

Jonathan Immanuel Brachthäuser, Philipp Schuster

14:30 - 15:00
Talk

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

Lars Kroll, Paris Carbone, Seif Haridi

13:30 - 15:00: CoCoS 2017 - Session 3: Debugging at Room 1
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

13:30 - 15:00: SPLASH-E - Software Engineering at Room 2

13:30 - 14:00
Talk

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

Zhewei Hu, Yang Song, Edward Gehringer

14:00 - 14:30
Talk

(CSES) Peer Review in Cybersecurity Education

William M. Temple, Kathi Fisler

14:30 - 15:00
Talk

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

Sarah Heckman, Kathryn Stolee, Chris Parnin

13:30 - 15:00: SLE - Textual Models at Room 9

13:30 - 13:53
Talk

Towards a Taxonomy of Grammar Smells

Mats Stijlaart, Vadim Zaytsev

13:53 - 14:15
Talk

Deep Priority Conflicts in the Wild — A Pilot Study

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

14:16 - 14:38
Talk

Virtual Textual Model Composition for Supporting Maintenance and Aspect-Orientation

Robert Bill, Patrick Neubauer, Manuel Wimmer

14:38 - 15:00
Talk

Robust Projectional Editing

Friedrich Steimann, Marcus Frenkel, Markus Voelter

13:30 - 15:00: GPCE 2017 - Variability at Room 8

13:30 - 13:55
Talk

A Classification of Variation Control Systems

Lukas Linsbauer, Thorsten Berger, Paul Grünbacher

13:55 - 14:20
Talk

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

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

14:20 - 14:45
Talk

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

Wolfram Fenske, Sandro Schulze, Gunter Saake

15:30 - 17:00: SLE - DSLs at Room 9

15:30 - 15:55
Talk

Debugging with Domain-Specific Events

Xiangqi Li, Matthew Flatt

15:55 - 16:20
Talk

A Chrestomathy of DSL implementations

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

16:20 - 16:45
Talk

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao

16:45 - 17:10
Talk

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

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

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

15:30 - 16:00
Talk

Lightning Talks

16:00 - 16:30
Other

Break-out groups

16:30 - 17:00
Talk

15:30 - 17:00: Scala 2017 - Session 6 at Room 7

15:30 - 17:00: GPCE 2017 - Types at Room 8

15:30 - 15:55
Talk

Type qualifiers as composable language extensions

Travis Carlson, Eric Van Wyk

15:55 - 16:20
Talk

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

Andrea Rosà, Eduardo Rosales, Walter Binder

16:20 - 16:45
Talk

Rewriting for Sound and Complete Union, Intersection and Negation Types

Tue 24 Oct

08:30 - 10:00: SAVR 2017 - Keynote at Room 7
Chair(s): Yvonne Coady

08:30 - 09:00
Social Event

Welcome and Hello!

09:00 - 10:00
Talk

Karan Singh, University of Toronto

08:30 - 10:00: SLE - Keynote GPCE/SLE at Room 9

08:30 - 08:45
Day opening

Marjan Mernik, Bernhard Rumpe, Laurence Tratt, Tanja Mayerhofer

08:45 - 10:00
Talk

SLE Keynote: Engineering meta-languages for specifying software languagesKeynote

Peter D. Mosses

08:30 - 10:00: GPCE 2017 - Keynote GPCE/SLE Tuesday at Room 8

08:30 - 10:00
Talk

Keynote: Engineering Meta-Languages for Specifying Software Languages

Peter D. Mosses

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

08:30 - 09:30
Talk

Invited talk: The JavaScriptCore Virtual Machine

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

08:30 - 10:00: PL Mentoring Workshop (PLMW) - Session 1 at Room 4

08:00 - 08:10
Day opening

Welcome and Greeting

Barbara Ryder, Lori Pollock

08:10 - 08:50
Talk

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

Kathryn S McKinley

08:50 - 09:30
Talk

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

Yannis Smaragdakis

09:30 - 10:10
Talk

The Influence of Programming Languages on Augmenting Human Understanding

08:30 - 10:00: LIVE 2017 - Spring at Room 2

08:30 - 09:20
Other

09:20 - 09:40
Talk

Reifying Programming

Jonathan Edwards

09:40 - 10:00
Talk

Live Programming as Gradual Abstraction

10:30 - 12:00: SAVR 2017 - Building and Breaking at Room 7
Chair(s): Derek Jacoby

10:30 - 10:50
Talk

Online Debugger Support for Reactive Programming Using Virtual Reality

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 Room 9

10:30 - 10:55
Talk

A Formalisation of Parameterised Reference Attribute Grammars

Scott Buckley, Anthony Sloane

10:55 - 11:20
Talk

Concurrent Circular Reference Attribute Grammars

Jesper Oqvist, Görel Hedin

11:20 - 11:45
Talk

Ensuring Non-interference of Composable Language Extensions

Ted Kaminski, Eric Van Wyk

11:45 - 12:00
Talk

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

Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni

10:30 - 12:00: GPCE 2017 - Performance at Room 8

10:30 - 10:55
Talk

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

Lionel Parreaux, Amir Shaikhha, Christoph Koch

10:55 - 11:20
Talk

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

Joseph Caldwell, Shigeru Chiba

11:20 - 11:45
Talk

RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms

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

11:45 - 12:00
Talk

Towards Compositional and Generative Tensor OptimizationsShort paper

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

10:30 - 12:00: DLS 2017 - Session 2 at Room 5

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

10:30 - 12:00: PL Mentoring Workshop (PLMW) - Session 2 at Room 4

10:30 - 11:10
Talk

What to do and who to ask?

11:10 - 12:10
Other

Panel of new Ph.D.s

Michael Hilton, Kathryn Stolee, Shiyi Wei, Annie T.T. Ying

10:30 - 12:00: LIVE 2017 - Summer at Room 2

10:30 - 11:20
Other

11:20 - 11:40
Talk

Toward a Live Stepper for Typed Expressions with Holes

Cyrus Omar, Ian Voysey, Matthew Hammer

11:40 - 12:00
Talk

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

13:30 - 15:00: GPCE 2017 - Analysis & Testing at Room 8

13:30 - 13:55
Talk

Four Languages and Lots of Macros: Analyzing Autotools Build Systems

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, André L. Santos, Ana Cavalcanti, Fabiano Ferrari, José Carlos Maldonado

14:20 - 14:45
Talk

Silverchain: A fluent API generator

Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, Shigeru Chiba

14:45 - 15:00
Talk

Parser Generation by Example for Legacy Pattern LanguagesShort paper

13:30 - 15:00: LIVE 2017 - Fall at Room 2

13:30 - 14:20
Other

Lightning Talks

14:20 - 14:40
Talk

Shadama: A Particle Simulation Programming Environment for Everyone

Yoshiki Ohshima, Bert Freudenberg, Dan Amelang

14:40 - 15:00
Talk

Seymour: Live Programming for the Classroom

Saketh Kasibatla, Alessandro Warth

13:30 - 15:00: SLE - Meta-modelling at Room 9

13:30 - 13:53
Talk

Concrete Syntax: A Multi-Paradigm Approach

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

13:53 - 14:16
Talk

Structural Model Subtyping with OCL Constraints

14:16 - 14:38
Talk

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

Lechanceux Luhunu, Eugene Syriani

14:38 - 15:00
Talk

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

13:30 - 15:00: SAVR 2017 - Sensing and Sharing at Room 7
Chair(s): Craig Anslow

13:30 - 13:50
Talk

Detecting Spatial Orientation Demands during Virtual Navigation using EEG Brain Sensing

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: PL Mentoring Workshop (PLMW) - Session 3 at Room 4

13:30 - 14:10
Talk

My 25 years in OO

14:10 - 14:50
Talk

Choosing your mentor and learning to present your ideas clearly

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

13:30 - 14:30
Talk

Invited talk: Challenges and Progress Toward Efficient Gradual Typing

14:30 - 15:00
Talk

Semantics of Asynchronous JavaScript

Matthew C. Loring, Mark Marron, Daan Leijen

15:30 - 17:00: SAVR 2017 - Bits versus Atoms! at Room 7

15:30 - 15:50
Talk

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

15:50 - 16:10
Talk

Monocle - Physical to Digital

16:10 - 16:30
Talk

People Watching People in VR: Testing the User-Test

16:30 - 17:00
Talk

Panel Discussion III

15:30 - 17:00: GPCE 2017 - DSLs at Room 8

15:30 - 15:55
Talk

A Haskell Compiler for Signal Transforms

Geoffrey Mainland, Jeremy Johnson

15:55 - 16:20
Talk

Automatic Generation of Virtual Learning Spaces Driven by CaVa DSL: An Experience Report

Ricardo Giuliani Martini, Pedro Rangel Henriques

16:20 - 16:45
Talk

Rewriting a shallow DSL using a GHC compiler extension

Mark Grebe, David Young, Andy Gill

15:30 - 17:00: SLE - GPL/DSL implementation at Room 9

15:30 - 15:55
Talk

FlowSpec: Declarative Dataflow Analysis Specification

Jeff Smits, Eelco Visser

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

16:20 - 16:45
Talk

Robust Programs with Filtered Iterators

Jiasi Shen, Martin Rinard

16:45 - 17:10
Talk

Energy Efficiency across Programming Languages: How does energy, time, and memory relate?

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

15:30 - 17:00: PL Mentoring Workshop (PLMW) - Session 4 at Room 4

15:20 - 16:00
Talk

Navigating the process of doing a rewarding Ph.D.

16:00 - 17:00
Other

Panel: Industry & Academia

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

17:00 - 17:10
Day closing

17:10 - 18:30
Social Event

Evening Activity

15:30 - 17:00: DLS 2017 - Session 4 at Room 5

15:30 - 16:00
Talk

The Semantics of Name Resolution in Grace

Vlad Vergu, Michiel Haisma, Eelco Visser

16:00 - 16:30
Talk

Decoding Lua: Formal Semantics for the Developer and the Semanticist

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

15:30 - 17:00: LIVE 2017 - Winter at Room 2

15:30 - 15:50
Talk

ZenSheet: a live programming environment for reactive computing

Enzo Alda, Monica Figuera

15:50 - 16:10
Talk

16:10 - 17:00
Other

Wed 25 Oct

08:30 - 10:00: Keynotes and Awards - Keynote Wednesday at Regency A+B

08:30 - 08:40
Day opening

Welcome to SPLASH 2017

08:40 - 08:45
Awards

OOPSLA 10-Year Most Influential Paper Award

08:45 - 10:00
Talk

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

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

10:00 - 10:30
Coffee break

10:30 - 12:00: Onward! Papers - Language Design at Regency C

10:30 - 11:00
Talk

Can We Crowdsource Language Design?

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 B

10:30 - 10:52
Talk

A Volatile-by-Default JVM for Server Applications

Lun Liu, Todd Millstein, Madan Musuvathi

10:52 - 11:15
Talk

Static Placement of Computation on Heterogeneous Devices

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

11:15 - 11:37
Talk

Skip Blocks: Reusing Execution History to Accelerate Web Scripts

Sarah Chasins, Rastislav Bodik

11:37 - 12:00
Talk

Virtual Machine Warmup Blows Hot and Cold

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

10:30 - 12:00: SPLASH-I - Programming Models at Regency D

10:30 - 11:00
Talk

Direct Manipulation Programming Systems

11:00 - 11:30
Talk

Toward Scalable Semantic Big Data

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

10:30 - 10:52
Talk

SAVI Objects: Sharing and Virtuality Incorporated

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

10:52 - 11:15
Talk

A Simple Soundness Proof for Dependent Object Types

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

11:15 - 11:37
Talk

Unifying Typing and Subtyping

Yanpeng Yang, Bruno C. d. S. Oliveira

11:37 - 12:00
Talk

Fast and Precise Type Checking for JavaScript

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

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

12:00 - 13:30
Lunch

13:30 - 15:00: OOPSLA - Gradual Types and Memory at Regency A

13:30 - 13:52
Talk

Sound Gradual Typing: Only Mostly Dead

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

13:52 - 14:15
Talk

Sound Gradual Typing Is Nominally Alive and Well

Fabian Muehlboeck, Ross Tate

14:15 - 14:37
Talk

The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing

Gregor Richards, Ellen Arteca, Alexi Turcotte

14:37 - 15:00
Talk

Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models

Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda

13:30 - 15:00: Onward! Papers - Program Generation and Synthesis at Regency C

13:30 - 14:00
Talk

Generating Chat Bots from Web API Specifications

Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jerome Simeon, Martin Hirzel

14:00 - 14:30
Talk

ChimpCheck: Property-based Randomized Test Generation for Interactive Apps

Edmund Lam, Peilun Zhang, Bor-Yuh Evan Chang

14:30 - 15:00
Talk

Unbounded Superoptimization

Abhinav Jangda, Greta Yorsh

13:30 - 15:00: SPLASH-I - Security at Regency D

13:30 - 14:00
Talk

Browser Performance Woes: Past, Present, and Future

14:00 - 14:30
Talk

It's Time for Secure Languages

Cristina Cifuentes

14:30 - 15:00
Talk

Preventing Information Leaks by Construction

13:30 - 15:00: OOPSLA - Tools at Regency B

13:30 - 13:52
Talk

Effective Interactive Resolution of Static Analysis Alarms

Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik

13:52 - 14:15
Talk

Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis

Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala

14:15 - 14:37
Talk

Abridging Source Code

Binhang Yuan, Vijayaraghavan Murali, Chris Jermaine

14:37 - 15:00
Talk

Evaluating and Improving Semistructured Merge

Guilherme Cavalcanti, Paulo Borba, Paola Accioly

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

15:00 - 15:30
Coffee break

15:30 - 17:00: OOPSLA - Dynamic Analysis at Regency B

15:30 - 15:52
Talk

Practical Initialization Race Detection for JavaScript Web Applications

Christoffer Quist Adamsen, Anders Møller, Frank Tip

15:52 - 16:15
Talk

Instrumentation Bias for Dynamic Data Race Detection

Benjamin P. Wood, Man Cao, Michael Bond, Dan Grossman

16:15 - 16:37
Talk

Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols

Nachshon Cohen, Michal Friedman, Jim Larus

16:37 - 17:00
Talk

Heaps Don't Lie: Countering Unsoundness with Heap Snapshots

Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

15:30 - 17:00: Onward! Essays - Essays at Regency C
Chair(s): Robert Biddle

15:30 - 16:15
Talk

Some Were Meant For C: The endurance of an unmanageable language

16:15 - 17:00
Talk

Concept Analysis in Programming Language Research: Done Well It Is All Right

Antti-Juhani Kaijanaho

15:30 - 17:00: SPLASH-I - Panel: Language Evolution at Regency D

15:30 - 17:00
Talk

Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel

Steven D. Fraser

15:30 - 17:22: OOPSLA - Synthesis at Regency A

15:30 - 15:52
Talk

Model-Assisted Machine-Code Synthesis

Venkatesh Srinivasan, Ara Vartanian, Thomas Reps

15:52 - 16:14
Talk

Synthesis of Data Completion Scripts using Finite Tree Automata

Xinyu Wang, Isil Dillig, Rishabh Singh

16:14 - 16:37
Talk

SQLizer: Query Synthesis from Natural Language

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

16:37 - 16:59
Talk

Synthesizing Configuration File Specifications with Association Rule Learning

Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac

16:59 - 17:22
Talk

Natural Synthesis of Provably-Correct Data-Structure Manipulations

Xiaokang Qiu, Armando Solar-Lezama

17:30 - 19:30: Student Research Competition - SRC 1st Round: Posters at Poster Area
Chair(s): Shan Shan Huang, Jennifer B. Sartor

17:30 - 19:30
Talk

What merge tool should I use?

Guilherme Cavalcanti

17:30 - 19:30
Talk

Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java

17:30 - 19:30
Talk

How to Efficiently Process 2^100 Different Lists

17:30 - 19:30
Talk

Automatic Testing of Interactive JavaScript Debuggers

17:30 - 19:30
Talk

Abstracting Resource Effects

17:30 - 19:30
Talk

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

Germán Ceballos

17:30 - 19:30
Talk

Genetic Improvement in Code Interpreters and Compilers

17:30 - 19:30
Talk

How Are Programming Questions from Women Received on Stack Overflow? A Case Study of Peer Parity

Savannah Morgan

17:30 - 19:30
Talk

Framework support for Usability evaluation of Domain-Specific Languages

17:30 - 19:30
Talk

Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior

Nicholas Lewchenko

17:30 - 19:30
Talk

Devirtualization in LLVM

Piotr Padlewski

17:30 - 19:30
Talk

Simulation-based Code Duplication for Enhancing Compiler Optimizations

David Leopoldseder

17:30 - 19:30
Talk

Verifying the Proxy Design Pattern Using Object Propositions

17:30 - 19:30
Talk

ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing

Thu 26 Oct

08:30 - 10:00: Keynotes and Awards - Keynote Thursday at Regency A+B

08:30 - 08:45
Awards

Jonathan Aldrich

08:45 - 10:00
Talk

SPLASH 2017 Keynote: Objects in the Age of DataKeynote

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

10:00 - 10:30
Coffee break

10:30 - 12:00: Onward! Essays - Essay Panel at Regency C
Chair(s): Robert Biddle

10:30 - 12:00
Other

Panel: How can our publication models best serve our research?

Mary Shaw, Crista Lopes, Matthias Hauswirth, Philippe Kruchten

10:30 - 12:00: SPLASH-I - Optimization & Networks at Regency D

10:30 - 11:00
Talk

HHVM: Efficient and Scalable PHP/Hack Execution

Guilherme Ottoni

11:00 - 11:30
Talk

Performance Analysis and Optimization of C++ Standard Libraries

Aditya Kumar, Sebastian Pop

11:30 - 12:00
Talk

Software Defined Networks

10:30 - 12:00: OOPSLA - Optimizing Compilation at Regency B

10:30 - 10:52
Talk

The Tensor Algebra Compiler

Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, Saman Amarasinghe

10:52 - 11:15
Talk

TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals

Laith Sakka, Kirshanthan Sundararajah, Milind Kulkarni

11:15 - 11:37
Talk

Verifying Spatial Properties of Array Computations

Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice

11:37 - 12:00
Talk

GLORE: Generalized Loop Redundancy Elimination upon LER-Notation

Yufei Ding, Xipeng Shen

10:30 - 12:00: OOPSLA - Types and Language Design at Regency A

10:30 - 10:52
Talk

Familia: Unifying Interfaces, Type Classes, and Family Polymorphism

Yizhou Zhang, Andrew Myers

10:52 - 11:15
Talk

Static Stages for Heterogeneous Programming

Adrian Sampson, Kathryn S McKinley, Todd Mytkowicz

11:15 - 11:37
Talk

Orca: GC and Type System Co-Design for Actor Languages

Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek

11:37 - 12:00
Talk

Monadic Composition for Deterministic, Parallel Batch Processing

Ryan Scott, Omar Navarro-Leija, Ryan R. Newton, Joseph Devietti

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

12:00 - 13:30
Lunch

13:30 - 15:00: OOPSLA - Mining Software Repositories and Parsing at Regency B

13:30 - 13:52
Talk

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

Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien Nguyen, Hridesh Rajan

13:52 - 14:15
Talk

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

Crista Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek

14:15 - 14:37
Talk

Understanding the Use of Lambda Expressions in Java

Davood Mazinanian, Ameya Ketkar, Nikolaos Tsantalis, Danny Dig

14:37 - 15:00
Talk

Restricting Grammars with Tree Automata

Michael D. Adams, Matthew Might

13:30 - 15:00: Onward! Papers - Programming Models at Regency C

13:30 - 14:00
Talk

The Serverless Trilemma: Function Composition for Serverless Computing

Ioana Baldini, Perry Cheng, Stephen J Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu

14:00 - 14:30
Talk

Encoding the building blocks of communication

Aleksandar Prokopec

14:30 - 15:00
Talk

IoTa: A Calculus for Internet of Things Automation

Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan

13:30 - 15:00: SPLASH-I - Software Engineering & Education at Regency D

13:30 - 14:00
Talk

One if by Lambda, Two if by C: How PL Can Attack Computing Education

14:00 - 14:30
Talk

Reducing Interruptions at Work with the FlowLight

14:30 - 15:00
Talk

Smart Condo: IoT for Social Good

13:30 - 15:00: OOPSLA - Verification at Regency A

13:30 - 13:52
Talk

Seam: Provably Safe Local Edits on Graphs

Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan

13:52 - 14:15
Talk

TiML: A Functional Language for Practical Complexity Analysis with Invariants

Peng Wang, Di Wang, Adam Chlipala

14:15 - 14:37
Talk

FairSquare: Probabilistic Verification of Program Fairness

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori

14:37 - 15:00
Talk

Reasoning on Divergent Computations with Coaxioms

Davide Ancona, Francesco Dagnino, Elena Zucca

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

15:30 - 17:00: SPLASH-I - Machine Learning & Data Science at Regency D

15:30 - 16:00
Talk

Bridging the Digital Divide in Data Science

16:00 - 16:30
Talk

Domain-Specific Symbolic Compilation

Rastislav Bodik

16:30 - 17:00
Talk

Training and Tuning Machine-Learning Applications: A View from the Trenches

Matthew Arnold, Harold Ossher

15:30 - 17:00: Student Research Competition - SRC 2nd Round: Presentations at Regency C
Chair(s): Jennifer B. Sartor, Shan Shan Huang

15:30 - 17:22: OOPSLA - Testing at Regency A

15:30 - 15:52
Talk

A Solver-Aided Language for Test Input Generation

Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran

15:52 - 16:14
Talk

Automated Testing of Graphics Shader Compilers

Alastair Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson

16:14 - 16:37
Talk

Bounded Exhaustive Test-Input Generation on GPUs

Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric

16:37 - 16:59
Talk

Transforming Programs and Tests in Tandem for Fault Localization

Xia Li, Lingming Zhang

16:59 - 17:22
Talk

Type Test Scripts for TypeScript Testing

Erik Krogh Kristensen, Anders Møller

15:30 - 17:00: OOPSLA - Verification in Practice at Regency B

15:30 - 15:52
Talk

A Model for Reasoning about JavaScript Promises

Magnus Madsen, Ondřej Lhoták, Frank Tip

15:52 - 16:15
Talk

Robust and Compositional Verification of Object Capability Patterns

David Swasey, Deepak Garg, Derek Dreyer

16:15 - 16:37
Talk

A Verified Messaging System

William Mansky, Andrew Appel, Aleksey Nogin

16:37 - 17:00
Talk

Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification

18:00 - 22:00: Social Program - Conference Banquet at Banquet Location

18:00 - 22:00
Social Event

Conference Banquet (Reception Style)

Fri 27 Oct

08:30 - 10:00: Keynotes and Awards - Keynote Friday at Regency A+B

08:30 - 08:40
Day opening

08:40 - 08:45
Other

Onward! Most Notable Paper Award

08:45 - 08:55
Awards

Jennifer B. Sartor

08:55 - 10:00
Talk

Onward 2017 Keynote: How the languages we speak shape the ways we thinkKeynote

Lera Boroditsky

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

10:30 - 12:00: SPLASH-I - Compilers at Regency D

10:30 - 11:00
Talk

DYOL: Design a Language, Know the Consequences

10:30 - 12:00: OOPSLA - Language Design at Regency A

10:30 - 10:52
Talk

Project Snowflake: Non-blocking Safe Manual Memory Management for .NET

Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Jonathan Balkind, Aaron Blankstein

10:52 - 11:15
Talk

Alpaca: Intermittent Execution without Checkpoints

Kiwan Maeng, Alexei Colin, Brandon Lucia

11:15 - 11:37
Talk

An Auditing Language for Preventing Correlated Failures in the Cloud

Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, Xi Wang

11:37 - 12:00
Talk

Reliable and Automatic Composition of Language Extensions to C

Ted Kaminski, Lucas Kramer, Travis Carlson, Eric Van Wyk

10:30 - 12:00: OOPSLA - Static Analysis at Regency B

10:30 - 10:52
Talk

IDEal: Efficient and Precise Alias-Aware Dataflow Analysis

Johannes Späth, Karim Ali, Eric Bodden

10:52 - 11:15
Talk

P/Taint: Unified Points-to and Taint Analysis

Neville Grech, Yannis Smaragdakis

11:15 - 11:37
Talk

Data-Driven Context-Sensitivity for Points-to Analysis

Sehun Jeong, Minseok Jeon, Sungdeok Cha, Hakjoo Oh

11:37 - 12:00
Talk

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

Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang

10:30 - 12:00: Onward! Papers - Usability and Performance at Regency C

10:30 - 11:00
Talk

Error Messages are Classifiers: A Process to Design and Evaluate Error Messages

John Wrenn, Shriram Krishnamurthi

11:00 - 11:30
Talk

You Can Have it All: Abstraction and Good Cache Performance

Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach

11:30 - 12:00
Talk

Garbology: A Study of How Java Objects Die

Raoul Veroy, Sam Guyer

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

12:00 - 13:30
Lunch

13:30 - 15:00: OOPSLA - Distributed Systems at Regency B

13:30 - 13:52
Talk

Geo-Distribution of Actor-Based Services

Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin

13:52 - 14:15
Talk

Paxos Made EPR: Decidable Reasoning about Distributed Protocols

Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham

14:15 - 14:37
Talk

Verifying Strong Eventual Consistency in Distributed Systems

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford

14:37 - 15:00
Talk

Verifying Distributed Programs via Canonical Sequentialization

Alexander Bakst, Klaus v. Gleissenthall, Ranjit Jhala, Rami Gökhan Kıcı

13:30 - 15:00: Onward! Papers - New Languages at Regency C

13:30 - 14:00
Talk

Infra: Structure All the Way Down - Structured Data as a Visual Programming Language

Christopher Hall, Trevor Standley, Tobias Hollerer

14:00 - 14:30
Talk

Selfie and the Basics

Christoph Kirsch

14:30 - 15:00
Talk

Systems Level Liveness with AnonSystem

Andrew Sorensen, Henry Gardner

13:30 - 15:00: OOPSLA - Usability and Deadlock at Regency A

13:30 - 13:52
Talk

Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers

Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman

13:52 - 14:15
Talk

Detecting Argument Selection Defects

Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, Yulissa Arroyo-Paredes

14:15 - 14:37
Talk

How Type Errors Were Fixed and What Students Did?

Baijun Wu, Sheng Chen

14:37 - 15:00
Talk

Learning User Friendly Type-Error Messages

Baijun Wu, John Peter Campora III, Sheng Chen

15:00 - 16:00: Social Program - Ice Cream Social at Regency Foyer

15:00 - 16:00
Social Event

Ice Cream Social

Sun 22 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room 1							DSLDI 2017 08:30 - 10:00																								DSLDI 2017 10:30 - 12:00																																				DSLDI 2017 13:30 - 15:00																								DSLDI 2017 15:30 - 17:00
Room 2							Escaped 2017 08:30 - 10:00																								Escaped 2017 10:30 - 12:00																																				Escaped 2017 13:30 - 15:00																								Escaped 2017 15:30 - 17:00
Room 3							Meta 2017 08:30 - 10:00																								Meta 2017 Invited Talks 10:30 - 12:00																																				Meta 2017 13:30 - 15:00																								Meta 2017 15:30 - 17:00
Room 4							PX/17.2 08:30 - 10:00																								PX/17.2 10:30 - 12:00																																				PX/17.2 13:30 - 15:00																								PX/17.2 15:30 - 17:00
Room 5							Parsing@SLE 2017 08:30 - 10:00																								Parsing@SLE 2017 10:30 - 12:00																																				Parsing@SLE 2017 13:30 - 15:00																								Parsing@SLE 2017 15:30 - 17:00
Room 6							FOSD 2017 08:30 - 10:00																								FOSD 2017 FOSD Keynote 10:30 - 12:00																																				FOSD 2017 Talks / Discussion 13:30 - 15:00																								FOSD 2017 Talks / Discussion 15:30 - 17:00
Room 7							Scala 2017 Keynote Sunday 08:30 - 10:00																								Scala 2017 Types 10:30 - 12:00																																				Scala 2017 Compilation 13:30 - 15:00																								Scala 2017 Open-source & Student Talks 15:30 - 17:00

Mon 23 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Poster Area																																																																	Posters 17:30 - 19:30																														Student Research Competition 17:30 - 19:30
Room 1							CoCoS 2017 Session 1: Keynote 08:30 - 10:00																								CoCoS 2017 Session 2: Generative Approaches 10:30 - 12:00																																				CoCoS 2017 Session 3: Debugging 13:30 - 15:00																								CoCoS 2017 Session 4: Wrap-Up 15:30 - 17:00
Room 10							PLoP 2017 08:30 - 10:00																								PLoP 2017 10:30 - 12:00																																				PLoP 2017 13:30 - 15:00																								PLoP 2017 15:30 - 17:00
Room 11							WODA 2017 08:30 - 10:00																								WODA 2017 10:30 - 12:00																																				WODA 2017 13:30 - 15:00																								WODA 2017 15:30 - 17:00
Room 12							SEPS 2017 08:30 - 10:00																								SEPS 2017 10:30 - 12:00																																				SEPS 2017 13:30 - 15:00																								SEPS 2017 15:30 - 17:00
Room 13							AGERE 2017 08:30 - 10:00																								AGERE 2017 10:30 - 12:00																																				AGERE 2017 13:30 - 15:00																								AGERE 2017 15:30 - 17:00
Room 2							SPLASH-E Tools and Techniques 08:30 - 10:00																								SPLASH-E Languages and Semantics 10:30 - 12:00																																				SPLASH-E Software Engineering 13:30 - 15:00																								SPLASH-E 15:30 - 17:00
Room 3							NJR 2017 08:30 - 10:00																								NJR 2017 10:30 - 12:00																																				NJR 2017 13:30 - 15:00																								NJR 2017 15:30 - 17:00
Room 4							NOOL 2017 08:30 - 10:00																								NOOL 2017 10:30 - 12:00																																				NOOL 2017 13:30 - 15:00																								NOOL 2017 15:30 - 17:00
Room 5							PLATEAU 2017 08:30 - 10:00																								PLATEAU 2017 10:30 - 12:00																																				PLATEAU 2017 13:30 - 15:00																								PLATEAU 2017 15:30 - 17:00
Room 6							REBLS 2017 08:30 - 10:00																								REBLS 2017 10:30 - 12:00																																				REBLS 2017 13:30 - 15:00																								REBLS 2017 15:30 - 17:00
Room 7							Scala 2017 Keynote Monday 08:30 - 10:00																								Scala 2017 Domain-specific Languages 10:30 - 12:00																																				Scala 2017 Language Design 13:30 - 15:00																								Scala 2017 Session 6 15:30 - 17:00
Room 8							GPCE 2017 Keynote GPCE/SLE Monday 08:30 - 10:00																								GPCE 2017 Staging 10:30 - 12:00																																				GPCE 2017 Variability 13:30 - 15:00																								GPCE 2017 Types 15:30 - 17:00
Room 9							SLE Keynote GPCE/SLE 08:30 - 10:00																								SLE Parsing 10:30 - 12:00																																				SLE Textual Models 13:30 - 15:00																								SLE DSLs 15:30 - 17:00

Tue 24 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room 10							PLoP 2017 08:30 - 10:00																								PLoP 2017 10:30 - 12:00																																				PLoP 2017 13:30 - 15:00																								PLoP 2017 15:30 - 17:00
Room 2							LIVE 2017 Spring 08:30 - 10:00																								LIVE 2017 Summer 10:30 - 12:00																																				LIVE 2017 Fall 13:30 - 15:00																								LIVE 2017 Winter 15:30 - 17:00
Room 3							OCAP 2017 08:30 - 10:00																								OCAP 2017 10:30 - 12:00																																				OCAP 2017 13:30 - 15:00																								OCAP 2017 15:30 - 17:00
Room 4							PL Mentoring Workshop (PLMW) Session 1 08:30 - 10:00																								PL Mentoring Workshop (PLMW) Session 2 10:30 - 12:00																																				PL Mentoring Workshop (PLMW) Session 3 13:30 - 15:00																								PL Mentoring Workshop (PLMW) Session 4 15:30 - 17:00
Room 5							DLS 2017 Session 1 08:30 - 10:00																								DLS 2017 Session 2 10:30 - 12:00																																				DLS 2017 Session 3 13:30 - 15:00																								DLS 2017 Session 4 15:30 - 17:00
Room 6							VMIL 2017 08:30 - 10:00																								VMIL 2017 10:30 - 12:00																																				VMIL 2017 13:30 - 15:00																								VMIL 2017 15:30 - 17:00
Room 7							SAVR 2017 Keynote 08:30 - 10:00																								SAVR 2017 Building and Breaking 10:30 - 12:00																																				SAVR 2017 Sensing and Sharing 13:30 - 15:00																								SAVR 2017 Bits versus Atoms! 15:30 - 17:00
Room 8							GPCE 2017 Keynote GPCE/SLE Tuesday 08:30 - 10:00																								GPCE 2017 Performance 10:30 - 12:00																																				GPCE 2017 Analysis & Testing 13:30 - 15:00																								GPCE 2017 DSLs 15:30 - 17:00
Room 9							SLE Keynote GPCE/SLE 08:30 - 10:00																								SLE Grammars 10:30 - 12:00																																				SLE Meta-modelling 13:30 - 15:00																								SLE GPL/DSL implementation 15:30 - 17:00

Wed 25 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Plaza Ballroom																																																	Catering Lunch 12:00 - 13:30
Poster Area																																																																	Posters 17:30 - 19:30																														Student Research Competition SRC 1st Round: Posters 17:30 - 19:30
Regency A																															OOPSLA Types 10:30 - 12:00																																				OOPSLA Gradual Types and Memory 13:30 - 15:00																								OOPSLA Synthesis 15:30 - 17:22
Regency A+B							Keynotes and Awards Keynote Wednesday 08:30 - 10:00
Regency B																															OOPSLA Performance 10:30 - 12:00																																				OOPSLA Tools 13:30 - 15:00																								OOPSLA Dynamic Analysis 15:30 - 17:00
Regency C																															Onward! Papers Language Design 10:30 - 12:00																																				Onward! Papers Program Generation and Synthesis 13:30 - 15:00																								Onward! Essays Essays 15:30 - 17:00
Regency D																															SPLASH-I Programming Models 10:30 - 12:00																																				SPLASH-I Security 13:30 - 15:00																								SPLASH-I Panel: Language Evolution 15:30 - 17:00
Regency Foyer																									Catering Coffee Break 10:00 - 10:30																																																												Catering Coffee Break 15:00 - 15:30
Room 10							PLoP 2017 08:30 - 10:00																								PLoP 2017 10:30 - 12:00																																				PLoP 2017 13:30 - 15:00																								PLoP 2017 15:30 - 17:00

Thu 26 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30
Banquet Location																																																																	Social Program Conference Banquet 18:00 - 22:00
Plaza Ballroom																																																	Catering Lunch 12:00 - 13:30
Regency A																															OOPSLA Types and Language Design 10:30 - 12:00																																				OOPSLA Verification 13:30 - 15:00																								OOPSLA Testing 15:30 - 17:22
Regency A+B							Keynotes and Awards Keynote Thursday 08:30 - 10:00
Regency B																															OOPSLA Optimizing Compilation 10:30 - 12:00																																				OOPSLA Mining Software Repositories and Parsing 13:30 - 15:00																								OOPSLA Verification in Practice 15:30 - 17:00
Regency C																															Onward! Essays Essay Panel 10:30 - 12:00																																				Onward! Papers Programming Models 13:30 - 15:00																								Student Research Competition SRC 2nd Round: Presentations 15:30 - 17:00
Regency D																															SPLASH-I Optimization & Networks 10:30 - 12:00																																				SPLASH-I Software Engineering & Education 13:30 - 15:00																								SPLASH-I Machine Learning & Data Science 15:30 - 17:00
Regency Foyer																									Catering Coffee Break 10:00 - 10:30																																																												Catering Coffee Break 15:00 - 15:30

Fri 27 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Plaza Ballroom																																																	Catering Lunch 12:00 - 13:30
Regency A																															OOPSLA Language Design 10:30 - 12:00																																				OOPSLA Usability and Deadlock 13:30 - 15:00
Regency A+B							Keynotes and Awards Keynote Friday 08:30 - 10:00
Regency B																															OOPSLA Static Analysis 10:30 - 12:00																																				OOPSLA Distributed Systems 13:30 - 15:00
Regency C																															Onward! Papers Usability and Performance 10:30 - 12:00																																				Onward! Papers New Languages 13:30 - 15:00
Regency D																															SPLASH-I Compilers 10:30 - 12:00																																				SPLASH-I 13:30 - 15:00
Regency Foyer																									Catering Coffee Break 10:00 - 10:30																																																												Social Program Ice Cream Social 15:00 - 16:00

Sun 22 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Room 3																															META 2017 Collapsing Towers of Interpreters 10:30 - 12:00
Room 6																															FOSD 2017 Welcome to FOSD 2017 10:30 - 10:40		FOSD 2017 FOSD Keynote: Managing Features in Cloned Variants 10:40 - 12:00
Room 7										Scala 2017 Opening - Day 1 08:45 - 09:00			Scala 2017 Spark and Scala 09:00 - 10:00																		Scala 2017 Towards Algorithmic Typing for DOT (Short Paper) 10:30 - 11:00						Scala 2017 The Limitations of Type Classes as Subtyped Implicits (Short Paper) 11:00 - 11:30						Scala 2017 Rust-Like Borrowing with 2nd-Class Values (Short Paper) 11:30 - 12:00																								Scala 2017 A Scala Framework for Supercompilation 13:30 - 14:00						Scala 2017 Making Collection Operations Optimal with Aggressive JIT Compilation 14:00 - 14:30						Scala 2017 ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) 14:30 - 15:00

Mon 23 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room 1							CoCoS 2017 Welcome 08:30 - 09:00						CoCoS 2017 Keynote 09:00 - 10:00																		CoCoS 2017 Megamodelling with NGA Multimodels 10:30 - 11:00						CoCoS 2017 Jatte: A Tunable Tree Editor for Integrated DSLs 11:00 - 11:30						CoCoS 2017 Discussion 11:30 - 12:00																								CoCoS 2017 Survey of Approaches for Assessing Software Energy Consumption 13:30 - 14:00						CoCoS 2017 How Did the Failure Come to Be? 14:00 - 14:30						CoCoS 2017 Discussion 14:30 - 15:00												CoCoS 2017 Lightning Talks 15:30 - 16:00						CoCoS 2017 Break-out groups 16:00 - 16:30						CoCoS 2017 Wrap-Up 16:30 - 17:00
Room 2							SPLASH 2017 SPLASH-E (CER) Mastery Learning-Like Teaching with Achievements 08:30 - 09:00						SPLASH 2017 SPLASH-E (CSES) Assessing the Usability of a Novel System for Programming Education 09:00 - 09:30						SPLASH 2017 SPLASH-E (CSES) Applied and Adaptive Curriculum in Introductory to Computer Scie ... 09:30 - 10:00												SPLASH 2017 SPLASH-E (CER) Early Experience with Grace 10:30 - 11:00						SPLASH 2017 SPLASH-E (CER) Making the Liskov Substitution Principle Happy and Sad 11:00 - 11:30						SPLASH 2017 SPLASH-E (CSES) Student Understanding of Aliasing and Procedure Calls 11:30 - 12:00																								SPLASH 2017 SPLASH-E (CSES) Open-Source Sofware in Class: Students’ Common Mistakes 13:30 - 14:00						SPLASH 2017 SPLASH-E (CSES) Peer Review in Cybersecurity Education 14:00 - 14:30						SPLASH 2017 SPLASH-E (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, ... 14:30 - 15:00
Room 7										Scala 2017 Opening - Day 2 08:45 - 09:00			Scala 2017 The Hack Programming Language 09:00 - 10:00																		Scala 2017 Typesafe Abstractions for Tensor Operations (Short Paper) 10:30 - 11:00						Scala 2017 Interactive Development using the Dotty Compiler (Tool Paper) 11:00 - 11:30						Scala 2017 Modular Remote Communication Protocol Interpreters (Tool Paper) 11:30 - 12:00																								Scala 2017 Squid: Type-Safe, Hygienic, and Reusable Quasiquotes 13:30 - 14:00						Scala 2017 Effekt: Extensible Algebraic Effects in Scala (Short Paper) 14:00 - 14:30						Scala 2017 Kompics Scala: Narrowing the Gap between Algorithmic Specification and ... 14:30 - 15:00
Room 8							GPCE 2017 Keynote: The Landscape of Refactoring Research in the Last Decade 08:30 - 10:00																								GPCE 2017 Refining Semantics for Multi-stage Programming 10:30 - 10:55					GPCE 2017 Staging for Generic Programming in Space and Time 10:55 - 11:20					GPCE 2017 Staging with Control: Type-Safe Multi-Stage Programming with Control Op ... 11:20 - 11:45					GPCE 2017Short paper Code Staging in GNU Guix 11:45 - 12:00																					GPCE 2017 A Classification of Variation Control Systems 13:30 - 13:55					GPCE 2017 Analyzing the Impact of Natural Language Processing over Feature Locati ... 13:55 - 14:20					GPCE 2017 How Preprocessor Annotations (Do Not) Affect Maintainability: A Case St ... 14:20 - 14:45														GPCE 2017 Type qualifiers as composable language extensions 15:30 - 15:55					GPCE 2017 Accurate Reification of Complete Supertype Information for Dynamic Anal ... 15:55 - 16:20					GPCE 2017 Rewriting for Sound and Complete Union, Intersection and Negation Types 16:20 - 16:45
Room 9							SLE 2017 Opening 08:30 - 08:45			SLE 2017Keynote GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, ... 08:45 - 10:00																					SLE 2017 Type-Safe Modular Parsing 10:30 - 10:55					SLE 2017 Incremental Packrat Parsing 10:55 - 11:20					SLE 2017 A Symbol-based Extension of Parsing Expression Grammars and Context-Sen ... 11:20 - 11:45					SLE 2017Vision Paper Red Shift: Procedural Shift-Reduce Parsing 11:45 - 12:00																					SLE 2017 Towards a Taxonomy of Grammar Smells 13:30 - 13:53					SLE 2017 Deep Priority Conflicts in the Wild — A Pilot Study 13:53 - 14:15				SLE 2017 Virtual Textual Model Composition for Supporting Maintenance and Aspect ... 14:16 - 14:38					SLE 2017 Robust Projectional Editing 14:38 - 15:00										SLE 2017 Debugging with Domain-Specific Events 15:30 - 15:55					SLE 2017 A Chrestomathy of DSL implementations 15:55 - 16:20					SLE 2017 A Requirements Engineering Approach for Usability-Driven DSL Development 16:20 - 16:45					SLE 2017 Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Dom ... 16:45 - 17:10

Tue 24 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
Room 2							LIVE 2017 Keynote 08:30 - 09:20										LIVE 2017 Reifying Programming 09:20 - 09:40				LIVE 2017 Live Programming as Gradual Abstraction 09:40 - 10:00										LIVE 2017 Midnote 10:30 - 11:20										LIVE 2017 Toward a Live Stepper for Typed Expressions with Holes 11:20 - 11:40				LIVE 2017 Whatever You Say, Happens: Live Creation of VR/AR Experiences 11:40 - 12:00																						LIVE 2017 Lightning Talks 13:30 - 14:20										LIVE 2017 Shadama: A Particle Simulation Programming Environment for Everyone 14:20 - 14:40				LIVE 2017 Seymour: Live Programming for the Classroom 14:40 - 15:00										LIVE 2017 ZenSheet: a live programming environment for reactive computing 15:30 - 15:50				LIVE 2017 anansi 15:50 - 16:10				LIVE 2017 Endnote 16:10 - 17:00
Room 4	SPLASH 2017 PL Mentoring Workshop (PLMW) Welcome and Greeting 08:00 - 08:10