Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1Parsing@SLE at Oxford
Chair(s): Eric Van WykUniversity of Minnesota, USA
08:45
15m
Day opening
Welcome
Parsing@SLE
Eric Van WykUniversity of Minnesota, USA, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
09:00
30m
Talk
Block Level Parallelism in Parsing Block Structured Languages
Parsing@SLE
Abhinav JangdaUniversity of Massachusetts, Amherst
09:30
30m
Talk
Parsing techniques for graph analysis
Parsing@SLE
08:30 - 10:00
Session 1DSLDI at Regency A
Chair(s): Lindsey KuperIntel Labs, Eric WalkingshawOregon State University
09:00
10m
Day opening
Welcome
DSLDI
P: Lindsey KuperIntel Labs, P: Eric WalkingshawOregon State University
09:10
50m
Talk
Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk)
DSLDI
K: Ronald GarciaUniversity of British Columbia, Canada
File Attached
08:30 - 10:00
Metaprogramming and Domain Specific LanguagesMETA at Regency B
Chair(s): Sebastian ErdwegTU Delft
08:50
10m
Day opening
Welcome
META
Stefan MarrUniversity of Kent
09:00
30m
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
META
Matthew Ahrens, Karl CronburgTufts University, Jeanne-Marie MuscaTufts University
File Attached
09:30
30m
Talk
Less Testing Ink
META
Yossi GilTechnion—Israel Institute of Technology
08:30 - 10:00
Keynote SundayScala at Regency C
Chair(s): Philipp HallerKTH Royal Institute of Technology
08:45
15m
Day opening
Opening - Day 1
Scala

09:00
60m
Talk
Spark and Scala
Scala
K: Reynold XinDatabricks
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Session 2Parsing@SLE at Oxford
Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
10:30
30m
Talk
A Modular SGLR Parsing Architecture for Systematic Performance Optimization
Parsing@SLE
Jasper DenkersTU Delft, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael SteindorferDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
11:00
30m
Talk
System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs
Parsing@SLE
11:30
30m
Talk
Parsing extensible type qualifiers in ableC
Parsing@SLE
Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA
10:30 - 12:00
10:30
45m
Talk
Designing a Live Development Experience for Web Components
PX/17.2
Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, Marcel TaeumelHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam
Pre-print
11:15
45m
Talk
Incremental Coverage of Legacy Software Languages
PX/17.2
Vadim ZaytsevRaincode Labs, Belgium
Pre-print
10:30 - 12:00
Session 2DSLDI at Regency A
Chair(s): Nada AminUniversity of Cambridge
10:30
22m
Talk
Substance and Style: domain-specific languages for mathematical diagrams
DSLDI
Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University
File Attached
10:52
22m
Talk
Debugging Domain-Specific Languages Defined with Macros
DSLDI
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
11:15
22m
Talk
DSL Design for Reinforcement Learning Agents
DSLDI
Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology
File Attached
11:37
22m
Talk
Tangent: automatic differentiation using source code transformation in Python
DSLDI
Bart van MerriënboerUniversity of Montreal, Alexander B. WiltschkoGoogle Brain
File Attached
10:30 - 12:00
Code GenerationMETA at Regency B
Chair(s): Stefan MarrUniversity of Kent
10:30
60m
Talk
Hop.js: JavaScript Multitier Programming ⭐️
META
Manuel SerranoInria, France
11:30
30m
Talk
Toward Abstract Interpretation of Program Transformations
META
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegTU Delft
DOI
10:30 - 12:00
FOSD KeynoteFOSD at Windsor
10:30
30m
Day opening
Welcome to FOSD 2017
FOSD

11:00
60m
Talk
FOSD Keynote: Managing Features in Cloned Variants
FOSD
K: Julia RubinUniversity of British Columbia
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Session 3Parsing@SLE at Oxford
Chair(s): Eric Van WykUniversity of Minnesota, USA
14:00
30m
Talk
Declarative Disambiguation with Contextual Scoping
Parsing@SLE
Michael SteindorferDelft University of Technology, Netherlands, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands
14:30
30m
Talk
Parsing @ IDE
Parsing@SLE
Vadim ZaytsevRaincode Labs, Belgium
13:30 - 15:00
13:30
45m
Talk
Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP
PX/17.2
Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute
Pre-print
14:15
45m
Talk
Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools
PX/17.2
Patrick ReinHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI
Pre-print
13:30 - 15:00
Session 3DSLDI at Regency A
Chair(s): Eric WalkingshawOregon State University
13:30
22m
Talk
MkMod: A Domain Specific Language for developing Linux Kernel Modules
DSLDI
Manasij MukherjeeChennai Mathematical Institute
File Attached
13:52
22m
Talk
Bacatá: a generic notebook generator for DSLs
DSLDI
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
File Attached
14:15
22m
Talk
Thapl—A Theatrical DSL
DSLDI
Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology
File Attached
14:37
22m
Talk
Towards Naturalistic EDSLs using Algebraic Effects
DSLDI
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
Link to publication Pre-print Media Attached File Attached
13:30 - 15:00
Runtime ReflectionMETA at Regency B
Chair(s): Cyrus OmarCarnegie Mellon University
13:30
30m
Talk
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
META
Takuo WatanabeTokyo Institute of Technology
File Attached
14:00
30m
Talk
Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
META
Javier PimásPalantir Solutions, Stefan MarrUniversity of Kent
File Attached
14:30
30m
Talk
An Annotation-based API for Supporting Runtime Code Annotation Reading
META
Phyllipe LimaINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Marco NardesINPE - National Institute for Space Research, Andrea MocciUniversita della Svizzera italiana (USI), Gabriele BavotaUniversità della Svizzera italiana (USI), Michele LanzaUniversità della Svizzera italiana (USI)
DOI
13:30 - 15:00
CompilationScala at Regency C
Chair(s): Paolo G. GiarrussoUniversity of Tübingen, Germany
13:30
30m
Talk
A Scala Framework for Supercompilation
Scala
DOI
14:00
30m
Talk
Making Collection Operations Optimal with Aggressive JIT Compilation
Scala
Aleksandar ProkopecOracle Labs, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Thomas WuerthingerOracle Labs
DOI
14:30
30m
Talk
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Scala
Franck CassezMacquarie University, Australia, Anthony SloaneMacquarie University
DOI
13:30 - 15:00
Talks / DiscussionFOSD at Windsor
13:30
30m
Talk
Towards Complete Consistency Checks of Clafer Models
FOSD
Markus WeckesserTU Darmstadt, Malte Lochau, Michael RiesfacilityBoss GmbH, Andy SchürrTU Darmstadt
14:00
30m
Talk
Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures
FOSD
Kenny WehlingVolkswagen AG, David WilleTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Ina SchaeferTechnische Universität Braunschweig
14:30
30m
Talk
Variational Lists: Comparisons and Design Guidelines
FOSD
Karl SmeltzerOregon State University, Martin ErwigOregon State University
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Practical Guide to ParsingParsing@SLE at Oxford
Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
90m
Other
Discussion of SLEBoK Practical Guide to Parsing
Parsing@SLE
Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30 - 17:00
15:30
45m
Talk
The Entangled Strands of Time in Software Development
PX/17.2
Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano
Pre-print
16:15
45m
Talk
Towards Concept-aware Programming Environments for Guiding Software Modularity
PX/17.2
Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
Pre-print
15:30 - 17:00
Session 4DSLDI at Regency A
Chair(s): Lindsey KuperIntel Labs
15:30
22m
Talk
Property Law as a Programming Language
DSLDI
Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University
File Attached
15:52
22m
Talk
Embedding By Normalisation
DSLDI
Shayan NajdUniversity of Edinburgh
File Attached
16:15
22m
Talk
Reliable composition of domain-specific language features
DSLDI
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
File Attached
16:37
22m
Day closing
Discussion and closing remarks
DSLDI

15:30 - 17:00
Compiling ReflectionMETA at Regency B
Chair(s): Stefan MarrUniversity of Kent
15:30
60m
Talk
Collapsing Towers of Interpreters ⭐️
META
Nada AminUniversity of Cambridge
16:30
30m
Day closing
Discussion and Closing
META

15:30 - 17:00
Talks / DiscussionFOSD at Windsor
15:30
30m
Talk
Feature Oriented Programming in Groovy
FOSD
Guilherme AssisUFMG, Eduardo FigueiredoUFMG, Gustavo ValeUniversity of Passau
16:00
30m
Talk
Towards a Development Process for Maturing Delta-Oriented Software Product Lines
FOSD
Sven SchusterTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Ina SchaeferTechnische Universität Braunschweig
16:30
30m
Talk
Lightning Talks
FOSD
Eric WalkingshawOregon State University

Conference Day
Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1SEPS at Brighton
Chair(s): Yukinori SatoTokyo Institute of Technology
08:45
15m
Talk
Welcome and opening
SEPS

09:00
60m
Talk
SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages
SEPS
S: Philipp HallerKTH Royal Institute of Technology
Media Attached
08:30 - 10:00
WODAWODA at Cavendish
Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK
08:30
45m
Talk
Forget the Garbagemen, We Need a Plumber
WODA
Emery D. BergerUniversity of Massachusetts, Amherst
09:15
45m
Talk
Pushing Predictive Data Race Detection to the Limit
WODA
Michael D. BondOhio State University
08:30 - 10:00
Session 1NJR at Constable
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
08:30
30m
Talk
Welcome and Overview of NJR
NJR
Crista LopesUniversity of California, Irvine, Jens PalsbergUniversity of California, Los Angeles (UCLA)
09:00
20m
Talk
Benchmarking for Program Analysis
NJR
Cristina CifuentesOracle Labs, Karim AliUniversity of Alberta, Yannis SmaragdakisUniversity of Athens
File Attached
09:20
20m
Talk
Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud
NJR
Jonathan BellGeorge Mason University
File Attached
09:40
20m
Talk
XCorpus, An Executable Corpus of Java Programs
NJR
Jens DietrichMassey University
File Attached
08:30 - 10:00
Session 1: KeynoteCoCoS at Dover
08:30
30m
Day opening
Welcome
CoCoS

09:00
60m
Talk
Keynote: Program Comprehension - Who, How, What, and Why
CoCoS
Reid HolmesUniversity of British Columbia
File Attached
08:30 - 10:00
Tools and TechniquesSPLASH-E at Kensington
Chair(s): Joe Gibbs PolitzUniversity of California, San Diego
08:30
30m
Talk
(CER) Mastery Learning-Like Teaching with Achievements
SPLASH-E
Tobias WrigstadUppsala University, Elias CastegrenUppsala University
File Attached
09:00
30m
Talk
(CSES) Assessing the Usability of a Novel System for Programming Education
SPLASH-E
Giovanni VincentiUniversity of Baltimore, Scott Hilberg, James Braman, Michael SatzingerUniversity of Baltimore, Lily CaoTowson University
File Attached
09:30
30m
Talk
(CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups
SPLASH-E
Aybuke Gul TurkerUniversity of Wisconsin - Madison, Christine Corbett MoranCalifornia Institute of Technology
File Attached
08:30 - 10:00
Keynote: Sebastian BurckhardtREBLS at Oxford
08:30
90m
Talk
Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services
REBLS
Sebastian BurckhardtMicrosoft Research
08:30 - 10:00
Keynote GPCE/SLE MondayGPCE at Regency A+B
08:30
15m
Day opening
Opening
GPCE
Matthew FlattUniversity of Utah, Sebastian ErdwegTU Delft
08:45
75m
Talk
Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote
GPCE
K: Danny DigSchool of EECS at Oregon State University
08:30 - 10:00
Keynote GPCE/SLESLE at Regency A+B
08:30
15m
Day opening
Opening
SLE
Benoit CombemaleUniversity of Rennes 1, Marjan MernikUniversity of Maribor, Bernhard RumpeRWTH Aachen University, Germany
Media Attached
08:45
75m
Talk
GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny DigKeynote
SLE
Danny DigSchool of EECS at Oregon State University
08:30 - 10:00
Keynote MondayScala at Regency C
Chair(s): Ondřej LhotákUniversity of Waterloo, Canada
08:45
15m
Day opening
Opening - Day 2
Scala

09:00
60m
Talk
The Hack Programming Language
Scala
K: Dwayne ReevesFacebook
08:30 - 10:00
Introduction and KeynotePLATEAU at Regency D
08:30
30m
Day opening
Welcome and Introduction
PLATEAU

09:00
60m
Talk
PLATEAU Keynote: Usability Design Space in Programming by Examples
PLATEAU
Sumit GulwaniMicrosoft Research
08:30 - 10:00
Talks Session 1NOOL at Windsor
08:45
15m
Day opening
Welcome
NOOL

09:00
30m
Talk
Objectifying a Metaprogramming Language
NOOL
Vadim ZaytsevRaincode Labs, Belgium
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Session2: Software performance engineeringSEPS at Brighton
Chair(s): Pablo de Oliveira CastroUniversity of Versailles, France
10:30
30m
Talk
MALT, A Malloc Tracker
SEPS
Sébastien ValatCERN, Andres S. Charif-RubialUniversité de Versailles Saint-Quentin, William JalbyUniversité de Versalles
11:00
30m
Talk
Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
SEPS
Philip C. RothOak Ridge National Laboratory, Hongzhang ShanLawrence Berkeley National Laboratory, David RiegnerThe Ohio State University, Nikolas AntolinThe Ohio State University, Sarat SreepathiOak Ridge National Laboratory, Leonid OlikerLawrence Berkeley National Laboratory, Samuel WilliamsLawrence Berkeley National Laboratory, Shirley MooreOak Ridge National Laboratory, Wolfgang WindlThe Ohio State University
11:30
30m
Talk
The Influence of HPCToolkit and Score-P on Hardware Performance Counters
SEPS
Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Christian IwainskyCompetence Center for High-Performance Computing in Hessian, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt
10:30 - 12:00
WODAWODA at Cavendish
Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK
10:30
45m
Talk
Strong Memory Models: 5 Simple Tricks to Beat SC
WODA
Milind KulkarniPurdue University
11:15
20m
Talk
Constructing Dynamic Control Flow Graphs from Execution Traces
WODA
11:35
20m
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
WODA
Nathalie Oostvogels, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
10:30 - 12:00
Session 2NJR at Constable
Chair(s): Crista LopesUniversity of California, Irvine
10:30
20m
Talk
Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time
NJR
Harry XuUniversity of California, Irvine
File Attached
10:50
20m
Talk
Automated Benchmark Management
NJR
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Ben HermannUniversity of Paderborn
File Attached
11:10
20m
Talk
Tool Support for Energy-Aware Programming
NJR
Yu David LiuState University of New York (SUNY) Binghamton
File Attached
11:30
20m
Talk
Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions
NJR
Michael D. BondOhio State University
11:50
20m
Talk
The Need for a JavaScript Benchmark for Program Analysis
NJR
Cristina CifuentesOracle Labs, François GauthierOracle Labs
File Attached
10:30 - 12:00
Session 2: Generative ApproachesCoCoS at Dover
10:30
30m
Talk
Megamodelling with NGA Multimodels
CoCoS
Vadim ZaytsevRaincode Labs, Belgium
11:00
30m
Talk
Jatte: A Tunable Tree Editor for Integrated DSLs
CoCoS
11:30
30m
Talk
Discussion
CoCoS

10:30 - 12:00
Languages and SemanticsSPLASH-E at Kensington
10:30
30m
Talk
(CER) Early Experience with Grace
SPLASH-E
Andrew BlackPortland State University, Kim BrucePomona College
File Attached
11:00
30m
Talk
(CER) Making the Liskov Substitution Principle Happy and Sad
SPLASH-E
Elisa BaniassadUniversity of British Columbia
File Attached
11:30
30m
Talk
(CSES) Student Understanding of Aliasing and Procedure Calls
SPLASH-E
Preston Tunnell WilsonBrown University, Kathi FislerBrown University, Shriram KrishnamurthiBrown University, USA
File Attached
10:30 - 12:00
Second sessionREBLS at Oxford
10:30
30m
Talk
Handling Partial Failures in Distributed Reactive Programming
REBLS
Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
11:00
30m
Talk
A DSL for Compensable and Interruptible Executions
REBLS
Hiroaki InoueGraduate School of Informatics, Kyoto University, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
11:30
30m
Talk
First-class Reactive Programs for CPS
REBLS
Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Pre-print
10:30 - 12:00
Session 1: Verification and Language ModelsAGERE at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
10:30
30m
Talk
Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
AGERE
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
11:00
30m
Talk
Tree Topologies for Causal Message Delivery
AGERE
Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou
11:30
30m
Talk
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
AGERE
Mehdi BagherzadehOakland University, Hridesh RajanIowa State University
File Attached
10:30 - 12:00
StagingGPCE at Regency A
Chair(s): Nada AminUniversity of Cambridge
10:30
25m
Talk
Refining Semantics for Multi-stage Programming
GPCE
Rui GeUniversity of British Columbia, Canada, Ronald GarciaUniversity of British Columbia, Canada
DOI Authorizer link
10:55
25m
Talk
Staging for Generic Programming in Space and Time
GPCE
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, Markus PüschelETH Zürich
DOI Authorizer link
11:20
25m
Talk
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
GPCE
Junpei OishiUniversity of Tsukuba, Japan, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
DOI Authorizer link
11:45
15m
Talk
Code Staging in GNU GuixShort paper
GPCE
Ludovic CourtèsInria, France
DOI Authorizer link
10:30 - 12:00
ParsingSLE at Regency B
Chair(s): Ralf LaemmelUniversity of Koblenz-Landau, Germany
10:30
25m
Talk
Type-Safe Modular ParsingArtifact Evaluation
SLE
Haoyuan Zhang, Huang Li, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
10:55
25m
Talk
Incremental Packrat ParsingArtifact Evaluation
SLE
Patrick DubroyY Combinator Research, USA, Alessandro WarthY Combinator Research, USA
DOI
11:20
25m
Talk
A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
SLE
Kimio KuramitsuYokohama National University, Japan
DOI
11:45
15m
Talk
Red Shift: Procedural Shift-Reduce ParsingVision Paper
SLE
Nicolas LaurentUniversité Catholique de Louvain, Belgium
DOI
10:30 - 12:00
Tools and EnvironmentsPLATEAU at Regency D
Chair(s): Gustavo SoaresMicrosoft
10:30
20m
Talk
The Uses of Interactive Explorers for Web APIs
PLATEAU
John DaughtryGoogle, Inc., Andrew MacveanGoogle, Inc., Luke Church
Pre-print
10:50
20m
Talk
One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
PLATEAU
Titus BarikMicrosoft, Chris ParninNCSU, Emerson Murphy-HillNorth Carolina State University
Pre-print
11:10
20m
Talk
What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
PLATEAU
Niklas HollmannUniversity of Duisburg-Essen, Germany, Thorben RoßenbeckUniversity of Duisburg-Essen, Germany, Mark KunzeUniversity of Duisburg-Essen, Germany, Liron TürkUniversity of Duisburg-Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen
Pre-print
11:30
20m
Talk
Development of a Web Platform for Code Peer-Testing
PLATEAU
Manuel MaarekHeriot-Watt University, Léon McGregorHeriot-Watt University
Pre-print
10:30 - 12:00
Discussion SessionNOOL at Windsor
10:30
75m
Talk
Panel Discussion: Security in OO languages
NOOL
P: Cristina CifuentesOracle Labs, Mark MillerGoogle Inc., Jonathan AldrichCarnegie Mellon University, Yannis SmaragdakisUniversity of Athens
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Session 3: Software concurrency and heterogeneitySEPS at Brighton
Chair(s): Sébastien ValatCERN
13:30
30m
Talk
Transactional Actors: Communication in Transactions
SEPS
Janwillem SwalensVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print
14:00
20m
Talk
[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
SEPS
14:20
20m
Talk
[Position paper] Declaring Lua Data Types for GPU Code Generation
SEPS
Paulo MottaMotta & SantAnna Pesquisa e Desenvolvimento
14:40
20m
Talk
[Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
SEPS
Matthias BookUniversity of Iceland, Morris RiedelJülich Supercomputing Centre, Helmut NeukirchenUniversity of Iceland, Markus GötzJülich Supercomputing Centre
13:30 - 15:00
WODAWODA at Cavendish
Chair(s): Ben LivshitsImperial College London, UK, Jeff HuangTexas A&M University
13:30
45m
Talk
Finding Bugs and Insights in Semi-structured Data
WODA
Benjamin ZornMicrosoft Research
14:15
45m
Talk
Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
WODA
Harry XuUniversity of California, Irvine
13:30 - 15:00
Session 3NJR at Constable
13:30
90m
Other
NJR discussion; Needs, Requirements, Wishes
NJR
Crista LopesUniversity of California, Irvine, Jens PalsbergUniversity of California, Los Angeles (UCLA)
13:30 - 15:00
Session 3: DebuggingCoCoS at Dover
Chair(s): Yvonne CoadyUniversity of Victoria
13:30
30m
Talk
Survey of Approaches for Assessing Software Energy Consumption
CoCoS
Felix RiegerPhilipps-Universität Marburg, Christoph BockischPhilipps-Universität Marburg
14:00
30m
Talk
How Did the Failure Come to Be?
CoCoS
Mohammad R. Azadmanesh, Matthias HauswirthUniversità della Svizzera italiana (USI)
14:30
30m
Talk
Discussion
CoCoS

13:30 - 15:00
Software EngineeringSPLASH-E at Kensington
13:30
30m
Talk
(CSES) Open-Source Sofware in Class: Students’ Common Mistakes
SPLASH-E
Zhewei HuNorth Carolina State University, Yang SongUniversity of North Carolina Wilmington, Edward GehringerNorth Carolina State University
File Attached
14:00
30m
Talk
(CSES) Peer Review in Cybersecurity Education
SPLASH-E
William M. TempleUniversity of Colorado Boulder, Kathi FislerBrown University
File Attached
14:30
30m
Talk
(CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly
SPLASH-E
Sarah HeckmanNC State University, Kathryn StoleeNorth Carolina State University, Chris ParninNCSU
File Attached
13:30 - 15:00
Third sessionREBLS at Oxford
13:30
30m
Talk
FRP IoT Modules as a Scala DSL
REBLS
Ben Calusimec - DistriNet, KU Leuven, Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Dominique DevrieseKU Leuven, Job NoormanKU Leuven, Frank PiessensKU Leuven
14:00
30m
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
REBLS
Sam Van den Vonder, Joeri De KosterVrije Universiteit Brussel, Belgium, Florian MyterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI Pre-print
14:30
30m
Talk
Verifiable Reactive Software
REBLS
13:30 - 15:00
Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
13:30
30m
Talk
Locality-Guided Scheduling in CAF
AGERE
File Attached
14:00
30m
Talk
A Principled Approach Towards Debugging Communicating Event-Loops
AGERE
Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium
14:30
30m
Talk
Actoverse: A Reversible Debugger for Actors
AGERE
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
13:30 - 15:00
VariabilityGPCE at Regency A
Chair(s): Ina SchaeferTechnische Universität Braunschweig
13:30
25m
Talk
A Classification of Variation Control Systems
GPCE
Lukas LinsbauerJohannes Kepler University Linz, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul GrünbacherJKU Linz, Austria
DOI Authorizer link
13:55
25m
Talk
Analyzing the Impact of Natural Language Processing over Feature Location in Models
GPCE
Raúl LapeñaSan Jorge University, Spain, Jaime FontSan Jorge University, Spain, Oscar PastorUniversitat Politècnica de València, Spain, Carlos CetinaSan Jorge University, Spain
DOI Authorizer link
14:20
25m
Talk
How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper
GPCE
Wolfram FenskeUniversity of Magdeburg, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany
DOI Authorizer link
13:30 - 15:00
Textual ModelsSLE at Regency B
Chair(s): Anthony SloaneMacquarie University
13:30
23m
Talk
Towards a Taxonomy of Grammar Smells
SLE
Mats StijlaartUniversiteit van Amsterdam, Vadim ZaytsevRaincode Labs, Belgium
DOI
13:53
22m
Talk
Deep Priority Conflicts in the Wild: A Pilot StudyArtifact Evaluation
SLE
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology
DOI
14:16
22m
Talk
Virtual Textual Model Composition for Supporting Versioning and Aspect-OrientationArtifact Evaluation
SLE
Robert BillVienna University of Technology, Patrick NeubauerUniversity of York, UK, Manuel WimmerTU Wien
DOI
14:38
22m
Talk
Robust Projectional EditingArtifact Evaluation
SLE
Friedrich SteimannFernuniversität, Marcus FrenkelFernuni Hagen, Markus Voelteritemis
DOI
13:30 - 15:00
Language, DSL, and Feature DesignPLATEAU at Regency D
Chair(s): Joshua SunshineCarnegie Mellon University
13:30
20m
Talk
A User Study to Inform the Design of the Obsidian Blockchain DSL
PLATEAU
Celeste BarnabyWesleyan University, Michael CoblenzCarnegie Mellon University, Tyler Etzel, Eliezer KanalCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Pre-print
13:50
15m
Talk
Programming Robot Manipulators with Tangible Blocks
PLATEAU
Yasaman SefidgarUniversity of Washington, Maya CakmakUniversity of Washington
Pre-print
14:05
20m
Talk
Preliminary Analysis of REST API Style Guidelines
PLATEAU
Lauren MurphyUniversity of Michigan, Tosin AlliyuHaverford College, Mary Beth KeryCarnegie Mellon University, Brad A. MyersCarnegie Mellon University
Pre-print
14:25
20m
Talk
Sympathy for the Devil: Reified Collection of Runtime Errors
PLATEAU
Tommaso Dal SassoUniversità della Svizzera Italiana, Andrei Chişfeenk, Switzerland, Andrea MocciUniversita della Svizzera italiana (USI), Tudor GîrbaCompuGroup Medical Schweiz AG, Michele LanzaUniversità della Svizzera italiana (USI)
Pre-print
14:45
15m
Talk
Preventing Babel: Rectifying the Trend of Programming Language Divergence
PLATEAU
Alon AmidUC Berkeley, Borivoje NikolicUC Berkeley
Pre-print
13:30 - 15:00
Talks Session 2NOOL at Windsor
13:30
30m
Talk
Integrating Debugging with Continuous Testing
NOOL
Malcolm Stone, Roly PereraUniversity of Edinburgh, UK / University of Glasgow, UK
14:00
30m
Talk
Algool – Object-Orientation with Algebraic Specification
NOOL
Anya Helene BaggeUniversity of Bergen
14:30
30m
Talk
Usably Expressing and Enforcing Design in Wyvern
NOOL
Jonathan AldrichCarnegie Mellon University, Alex PotaninVictoria University of Wellington
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Session 4SEPS at Brighton
Chair(s): Yukinori SatoTokyo Institute of Technology
15:30
90m
Talk
Panel discussions: "Open source software and tools for engineering parallel software"
SEPS
Yukinori SatoTokyo Institute of Technology, Pablo de Oliveira CastroUniversity of Versailles, France, Philipp HallerKTH Royal Institute of Technology
15:30 - 17:00
WODAWODA at Cavendish
Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK
15:30
30m
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff HuangTexas A&M University
16:00
30m
Talk
Better Program Analysis Through Heap Profiling
WODA
16:30
30m
Talk
Can Analysis be Too Precise?
WODA
Sam GuyerTufts University
15:30 - 17:00
Session 4: Wrap-UpCoCoS at Dover
Chair(s): Christoph BockischPhilipps-Universität Marburg
15:30
30m
Talk
Lightning Talks
CoCoS

16:00
30m
Other
Break-out groups
CoCoS

16:30
30m
Talk
Wrap-Up
CoCoS

15:30 - 17:00
Fourth sessionREBLS at Oxford
15:30 - 17:00
TypesGPCE at Regency A
Chair(s): Shigeru ChibaUniversity of Tokyo, Japan
15:30
25m
Talk
Type Qualifiers as Composable Language Extensions
GPCE
Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA
DOI Authorizer link
15:55
25m
Talk
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
GPCE
Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland
DOI Authorizer link
16:20
25m
Talk
Rewriting for Sound and Complete Union, Intersection and Negation Types
GPCE
David J. PearceVictoria University of Wellington, New Zealand
DOI Authorizer link
15:30 - 17:00
DSLsSLE at Regency B
Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
25m
Talk
Debugging with Domain-Specific Events via MacrosDistinguished PaperArtifact Evaluation
SLE
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
DOI
15:55
25m
Talk
A Chrestomathy of DSL implementations
SLE
Simon SchaussUniversity of Koblenz-Landau, Ralf LaemmelUniversity of Koblenz-Landau, Germany, Johannes HärtelUniversity of Koblenz-Landau, Germany, Marcel HeinzUniversity of Koblenz-Landau, Germany, Kevin KleinUniversity of Koblenz-Landau, Lukas HärtelUniversity of Koblenz-Landau, Germany, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI
16:20
25m
Talk
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentArtifact Evaluation
SLE
Ankica BarisicNOVA-LINCS - Universidade Nova de Lisboa, Dominique BlouinLTCI Lab, Telecom ParisTech, Université Paris-Saclay, Vasco AmaralNOVA-LINCS, FCT/UNL, Miguel GoulaoNOVA-LINCS, FCT/UNL
DOI
16:45
25m
Talk
Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
SLE
Marco BrambillaPolitecnico di Milano, Jordi CabotICREA - UOC, Javier Luis Cánovas IzquierdoIN3 - UOC, Andrea MauriPolitecnico di Milano, Italy
DOI
15:30 - 17:00
UnconferenceScala at Regency C
Chair(s): Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
15:30
90m
Talk
Unconference
Scala

15:30 - 17:00
Insights into Programmer Thought Processes and ExperiencePLATEAU at Regency D
Chair(s): Sarah E. ChasinsUniversity of California, Berkeley
15:30
20m
Talk
Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories
PLATEAU
Mohammad reza, Matthias HauswirthUniversità della Svizzera italiana (USI)
Pre-print
15:50
15m
Talk
Modeling Programming Problem Solving Through Interactive Worked Examples
PLATEAU
Dastyni LoksaUniversity of Washington, Amy KoUniversity of Washington
Pre-print
16:05
20m
Talk
OpenMP or Pthreads: Which is Better for Beginners?
PLATEAU
Pedro BruelUniversity of São Paulo, Paulo MeirellesUniversity of São Paulo and University of Brasília, Raphael CobeSão Paulo State University, Alfredo GoldmanUniversity of São Paulo
Pre-print
16:25
20m
Talk
Can Some Programming Languages Be Considered Harmful?
PLATEAU
Sabine JanssensStressLabo, Ulrik Pagh SchultzUniversity of Southern Denmark, Vadim ZaytsevRaincode Labs, Belgium
Pre-print
16:45
20m
Talk
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
PLATEAU
Adrian ClarkUniversity of Illinois at Urbana-Champaign, Jonathan WellsUniversity of Illinois at Urbana-Champaign, Angello Astorga, Andrew XieIndependent, Jalen Coleman-LandsUniversity of Illinois at Urbana-Champaign, Tao Xie
Pre-print
15:30 - 17:00
Talks Session 3NOOL at Windsor
15:30
30m
Talk
Ivo functions forward and backward
NOOL
16:00
30m
Talk
Towards Typing Julia
NOOL
Benjamin ChungNortheastern University, Paley LiNortheastern University
16:30
30m
Day closing
Closing thoughts & plans for next year
NOOL

17:30 - 19:30
Poster Reception MondayPosters at Poster Area
Chair(s): Jonathan BellGeorge Mason University, Patrick LamUniversity of Waterloo
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. DonaldsonImperial College London
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla SusungiMINES ParisTech, France
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman RoychoudhuryTata Consultancy Services Research
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew SorensenAustralian National University
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya MelicherCarnegie Mellon University
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark SantolucitoYale University
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide AnconaUniversity of Genova
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis CarlsonUniversity of Minnesota, USA
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper OqvistLund University
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr MajReactorLabs
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui GeUniversity of British Columbia, Canada
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica PiskacYale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica FigueraUniversidad Simón Bolívar
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David GroveIBM Research
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo OhKorea University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph KirschUniversity of Salzburg
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene SyrianiUniversity of Montreal
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl CronburgTufts University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. NewcombUniversity of California at Berkeley
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi ShenMassachusetts Institute of Technology
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo OhKorea University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist AdamsenAarhus University
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan MaengCarnegie Mellon University, USA
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda KhairunnesaIowa State University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Monday Poster ReceptionSocial Program at Poster Area
17:30
2h
Social Event
Monday Workshop and Poster Reception
Social Program
Gail MurphyUniversity of British Columbia

Conference Day
Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Welcome and KeynoteOCAP at Cavendish
Chair(s): Mark MillerGoogle Inc.
08:30
30m
Talk
Welcome
OCAP

09:00
60m
Talk
Keynote by Norm Hardy
OCAP
08:30 - 10:00
08:30
5m
Day opening
Welcome
Doctoral Symposium

08:35
15m
Talk
Lightning Talks
Doctoral Symposium

08:50
30m
Talk
Invited Talk: From PHD to PROF: blind luck or careful planning?
Doctoral Symposium
Jan VitekNortheastern University, USA
09:20
40m
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Doctoral Symposium
Germán CeballosUppsala University
08:30 - 10:00
08:00
10m
Day opening
Welcome and Greeting
PL Mentoring Workshop (PLMW)
Barbara RyderVirginia Tech, Lori PollockUniversity of Delaware, USA
File Attached
08:10
40m
Talk
Research is a social process / What Programming Languages Researchers Do and How
PL Mentoring Workshop (PLMW)
File Attached
08:50
40m
Talk
Why do a Ph.D. and how to pick an area?
PL Mentoring Workshop (PLMW)
Yannis SmaragdakisUniversity of Athens
File Attached
09:30
40m
Talk
The Influence of Programming Languages on Augmenting Human Understanding
PL Mentoring Workshop (PLMW)
Benjamin ZornMicrosoft Research
Media Attached File Attached
08:30 - 10:00
Keynote GPCE/SLE TuesdayGPCE at Regency A+B
08:30
15m
Awards
Awards
GPCE
Matthew FlattUniversity of Utah, Sebastian ErdwegTU Delft
08:45
75m
Talk
Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote
GPCE
Peter D. MossesSwansea University
08:30 - 10:00
Keynote GPCE/SLESLE at Regency A+B
08:30
15m
Day opening
Awards
SLE
Marjan MernikUniversity of Maribor, Bernhard RumpeRWTH Aachen University, Germany, Laurence TrattKing's College London, Tanja MayerhoferTU Wien
File Attached
08:45
75m
Talk
SLE Keynote: Engineering meta-languages for specifying software languagesKeynote
SLE
Peter D. MossesSwansea University
DOI File Attached
08:30 - 09:30
DLS 2017 Invited TalkVMIL at Regency C
Chair(s): Davide AnconaUniversity of Genova
08:30
60m
Talk
Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017)
VMIL
08:30 - 10:00
SpringLIVE at Regency D
08:30
50m
Talk
Keynote: User Interfaces for Live Programming
LIVE
Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan
09:20
20m
Talk
Reifying Programming
LIVE
Pre-print Media Attached
09:40
20m
Talk
Live Programming as Gradual Abstraction
LIVE
Sean McDirmidIndependent
Pre-print Media Attached
08:30 - 10:00
Keynote (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs
Chair(s): Yvonne CoadyUniversity of Victoria
08:30
30m
Social Event
Welcome and Hello!
SAVR

09:00
60m
Talk
The Immersive Internet, Karan Singh, University of Toronto
SAVR

10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Session 1OCAP at Cavendish
10:30
30m
Talk
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP
Anton BurtsevUniversity of California, Irvine, David JohnsonUniversity of Utah, Josh KunzUniversity of Utah, Eric EideUniversity of Utah, Jacobus Van der MerweUniversity of Utah
11:00
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin SimpsonMatador Cloud LLC
11:30
30m
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Valerie ZhaoWellesley College, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
10:30 - 12:00
10:30
40m
Talk
Genetic Improvement in Code Interpreters and Compilers
Doctoral Symposium
Oliver KraussUniversity of Applied Sciences Upper Austria
11:10
40m
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Doctoral Symposium
David LeopoldsederJohannes Kepler University Linz
10:30 - 12:00
10:30
40m
Talk
What to do and who to ask?
PL Mentoring Workshop (PLMW)
Y. Annie LiuStony Brook University
File Attached
11:10
60m
Other
Panel of new Ph.D.s
PL Mentoring Workshop (PLMW)
Michael HiltonCarnegie Mellon University, USA, Kathryn StoleeNorth Carolina State University, David DaraisUniversity of Maryland, USA, Annie T.T. YingEquitySim
10:30 - 12:00
PerformanceGPCE at Regency A
Chair(s): Matthew FlattUniversity of Utah
10:30
25m
Talk
Quoted Staged Rewriting: A Practical Approach to Library-Defined OptimizationsBest Paper
GPCE
DOI Authorizer link Media Attached
10:55
25m
Talk
Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
GPCE
Joseph CaldwellUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
11:20
25m
Talk
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
GPCE
Arsène Pérard-GayotSaarland University, Germany, Martin WeierBonn-Rhein-Sieg University of Applied Sciences, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, Roland LeißaSaarland University, Germany, Sebastian HackSaarland University, Germany
DOI Authorizer link
11:45
15m
Talk
Towards Compositional and Generative Tensor OptimizationsShort paper
GPCE
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany, Immo HuismannTU Dresden, Germany, Albert CohenInria, France / ENS, France, Claude TadonkiMINES ParisTech, France, Jörg StillerTU Dresden, Germany, Jochen FröhlichTU Dresden, Germany
DOI Authorizer link
10:30 - 12:00
GrammarsSLE at Regency B
Chair(s): Bernhard RumpeRWTH Aachen University, Germany
10:30
25m
Talk
A Formalisation of Parameterised Reference Attribute GrammarsArtifact Evaluation
SLE
Scott BuckleyMacquarie University, Australia, Anthony SloaneMacquarie University
DOI
10:55
25m
Talk
Concurrent Circular Reference Attribute GrammarsArtifact Evaluation
SLE
Jesper OqvistLund University, Görel Hedin
DOI
11:20
25m
Talk
Ensuring Non-interference of Composable Language Extensions
SLE
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
DOI
11:45
15m
Talk
A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial PaperArtifact Evaluation
SLE
Suman RoychoudhuryTata Consultancy Services Research, Sagar SunkleTata Consultancy Services Research, Deepali KholkarTata Consultancy Services Research, Vinay KulkarniTata Consultancy Services Research
DOI
10:30 - 12:00
Building and Breaking (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs
Chair(s): Derek JacobyQvirt.com
10:30
20m
Talk
Online Debugger Support for Reactive Programming Using Virtual Reality
SAVR

10:50
20m
Talk
Prototyping with Unity for AR & VR
SAVR

11:10
20m
Talk
Immersive Analytics Tool For Creating Graphs and Models
SAVR

11:30
30m
Talk
Panel Discussion I
SAVR

10:30 - 12:00
VMILVMIL at Windsor
Chair(s): Adam WelcHuawei America Research Center
10:30
10m
Day opening
Welcome to VMIL
VMIL
Adam WelcHuawei America Research Center
10:40
40m
Talk
Cross-ISA debugging in meta-circular VMs
VMIL
Christos KotselidisThe University of Manchester, Andrew NisbetThe University of Manchester, Foivos S. Zakkak, Nikos Foutris
11:20
40m
Talk
Accelerate JavaScript Applications by Cross-Compiling to WebAssembly
VMIL
Micha ReiserHochschule für Technik Rapperswil, Luc BläserHochschule für Technik Rapperswil
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Session 2OCAP at Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron CraigECS, VUW, Alex PotaninVictoria University of Wellington, Lindsay GrovesVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
14:30
30m
Talk
Unforgeable Distributed Capabilities
OCAP
13:30 - 15:00
13:30
40m
Talk
My 25 years in OO
PL Mentoring Workshop (PLMW)
Jan VitekNortheastern University, USA
File Attached
14:10
40m
Talk
Choosing your mentor and learning to present your ideas clearly
PL Mentoring Workshop (PLMW)
Ana MilanovaRensselaer Polytechnic Institute
File Attached
13:30 - 15:00
Analysis & TestingGPCE at Regency A
Chair(s): Jaakko JärviUniversity of Bergen
13:30
25m
Talk
Four Languages and Lots of Macros: Analyzing Autotools Build Systems
GPCE
Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KaestnerCarnegie Mellon University, USA
DOI Authorizer link
13:55
25m
Talk
Avoiding Useless Mutants
GPCE
Leonardo FernandesFederal University of Pernambuco, Brazil, Márcio RibeiroFederal University of Alagoas, Brazil, Luiz CarvalhoFederal University of Alagoas, Brazil, Rohit GheyiFederal University of Campina Grande, Brazil, Melina MongioviFederal University of Campina Grande, Brazil, Andre Santos, Ana CavalcantiUniversity of York, UK, Fabiano FerrariFederal University of São Carlos, Brazil, José Carlos MaldonadoUniversity of São Paulo, Brazil
DOI Authorizer link
14:20
25m
Talk
Silverchain: A Fluent API Generator
GPCE
Tomoki NakamaruUniversity of Tokyo, Japan, Kazuhiro IchikawaUniversity of Tokyo, Japan, Tetsuro YamazakiUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
14:45
15m
Talk
Parser Generation by Example for Legacy Pattern LanguagesShort paper
GPCE
Vadim ZaytsevRaincode Labs, Belgium
DOI Authorizer link
13:30 - 15:00
Meta-modellingSLE at Regency B
Chair(s): Marjan MernikUniversity of Maribor
13:30
23m
Talk
Concrete Syntax: A Multi-paradigm Modelling Approach
SLE
Yentl Van TendelooUniversity of Antwerp, Simon Van MierloUniversity of Antwerp, Bart MeyersUniversity of Antwerp, Belgium, Hans VangheluweUniversity of Antwerp and McGill University
DOI
13:53
23m
Talk
Structural Model Subtyping with OCL ConstraintsArtifact Evaluation
SLE
Artur BoronatUniversity of Leicester
DOI
14:16
22m
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SLE
Lechanceux LuhunuUniversity of Montreal, Eugene SyrianiUniversity of Montreal
DOI
14:38
22m
Talk
Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo
SLE
Ed SeidewitznMeta LLC
DOI
13:30 - 15:00
Session 3DLS at Regency C
Chair(s): Davide AnconaUniversity of Genova
13:30
60m
Talk
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS
Jeremy G. SiekIndiana University, USA
File Attached
14:30
30m
Talk
Semantics of Asynchronous JavaScript
DLS
Matthew C. Loring, Mark MarronMicrosoft Research, Daan LeijenMicrosoft Research
13:30 - 15:00
13:30
50m
Other
Lightning Talks
LIVE
Sean McDirmidIndependent
14:20
20m
Talk
Shadama: A Particle Simulation Programming Environment for Everyone
LIVE
Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute
Pre-print Media Attached
14:40
20m
Talk
Seymour: Live Programming for the Classroom
LIVE
Saketh KasibatlaHARC / Y Combinator Research, Alessandro WarthY Combinator Research, USA
Pre-print
13:30 - 15:00
Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs
Chair(s): Craig AnslowVictoria University of Wellington
13:30
20m
Talk
Detecting Spatial Orientation Demands during Virtual Navigation using EEG Brain Sensing
SAVR

13:50
20m
Talk
I Am Afraid: Voice Performance in Virtual Reality
SAVR

14:10
20m
Talk
Rich collaboration systems: Improving online collaboration with multi-modal interactions
SAVR

14:30
30m
Talk
Panel Discussion II
SAVR

15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Session 3OCAP at Cavendish
15:30
30m
Talk
Specifying Attenuation
OCAP
Shu-Peng LohImperial College London, Sophia Drossopoulou
16:00
60m
Talk
Panel/Discussion
OCAP

15:30 - 17:00
15:30
40m
Talk
What merge tool should I use?
Doctoral Symposium
Guilherme CavalcantiFederal University of Pernambuco, Brazil
16:10
40m
Talk
Combining Visual and Textual Languages for Dyslexia
Doctoral Symposium
Luis Fernando González AlvaránPolitécnico Colombiano Jaime Isaza Cadavid
16:50
10m
Day closing
Closing remarks
Doctoral Symposium

15:30 - 17:00
15:20
40m
Talk
Navigating the process of doing a rewarding Ph.D.
PL Mentoring Workshop (PLMW)
Mayur NaikUniversity of Pennsylvania
File Attached
16:00
60m
Other
Panel: Industry & Academia
PL Mentoring Workshop (PLMW)
Kathryn S McKinleyGoogle, Julia RubinUniversity of British Columbia, Benjamin ZornMicrosoft Research, Mayur NaikUniversity of Pennsylvania
17:00
15m
Day closing
Wrap Up
PL Mentoring Workshop (PLMW)

File Attached
17:15
75m
Social Event
Post-Workshop Reception
PL Mentoring Workshop (PLMW)

15:30 - 17:00
DSLsGPCE at Regency A
Chair(s): Anthony SloaneMacquarie University
15:30
25m
Talk
A Haskell Compiler for Signal Transforms
GPCE
Geoffrey MainlandDrexel University, USA, Jeremy JohnsonDrexel University, USA
DOI Authorizer link
15:55
25m
Talk
Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report
GPCE
Ricardo Giuliani MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal
DOI Authorizer link
16:20
25m
Talk
Rewriting a Shallow DSL using a GHC Compiler Extension
GPCE
Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA
DOI Authorizer link
15:30 - 17:00
GPL/DSL implementationSLE at Regency B
Chair(s): Eric Van WykUniversity of Minnesota, USA
15:30
25m
Talk
FlowSpec: Declarative Dataflow Analysis Specification
SLE
Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
DOI File Attached
15:55
25m
Talk
Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
SLE
Francesco Di GiacomoUniversità Ca' Foscari, Mohamed AbbadiHogeschool Rotterdam, Agostino CortesiUniversità Ca' Foscari Venezia, Pieter SpronckTilburg University, Giuseppe MaggioreHogeschool Rotterdam
DOI
16:20
25m
Talk
Robust Programs with Filtered IteratorsArtifact EvaluationDistinguished Artifact
SLE
Jiasi ShenMassachusetts Institute of Technology, Martin C. RinardMassachusetts Institute of Technology
DOI
16:45
25m
Talk
An Introduction to the Software Language Engineering Body of Knowledge
SLE
Vadim ZaytsevRaincode Labs, Belgium
17:10
10m
Talk
Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
SLE
Rui PereiraHASLab/INESC TEC & Universidade do Minho, Marco CoutoHASLab/INESC TEC & Universidade do Minho, Francisco RibeiroHASLab/INESC TEC & Universidade do Minho, Rui RuaHASLab/INESC TEC & Universidade do Minho, Jácome CunhaNOVA-LINCS - Universidade Nova de Lisboa, João Paulo FernandesRelease/LISP, CISUC, João SaraivaUniversity of Minho, Portugal
DOI Media Attached
15:30 - 17:00
Session 4DLS at Regency C
Chair(s): Marc FeeleyUniversité de Montréal
15:30
30m
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS
16:00
30m
Talk
The Semantics of Name Resolution in Grace
DLS
Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology
DOI
15:30 - 17:00
VMILVMIL at Windsor
Chair(s): Adam WelcHuawei America Research Center
15:30
90m
Other
Panel - The future of language runtimes
VMIL
Tony HoskingAustralian National University / Data61, Mario WolczkoOracle Labs, David GroveIBM Research
18:00 - 20:00
18:00
2h
Social Event
Dinner (registration add-on)
GPCE

18:00 - 20:00
18:00
2h
Dinner
Dinner (registration add-on)
SLE

Conference Day
Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote WednesdayKeynotes at Regency C
08:30
10m
Day opening
Welcome to SPLASH 2017
Keynotes
P: Gail MurphyUniversity of British Columbia
08:40
10m
Awards
OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award
Keynotes
Yannis SmaragdakisUniversity of Athens, O: Jonathan AldrichCarnegie Mellon University
08:50
70m
Talk
SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspectiveKeynote
Keynotes
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
TypesOOPSLA at Regency A
Chair(s): Kim BrucePomona College
10:30
22m
Talk
SAVI Objects: Sharing and Virtuality Incorporated
OOPSLA
Izzat El HajjUniversity of Illinois at Urbana-Champaign, USA, Thomas B. JablinUniversity of Illinois at Urbana-Champaign, USA / Multicoreware, USA, Dejan MilojicicHewlett Packard Labs, USA, Wen-mei HwuUniversity of Illinois at Urbana-Champaign, USA
DOI
10:52
22m
Talk
A Simple Soundness Proof for Dependent Object Types
OOPSLA
Marianna RapoportUniversity of Waterloo, Canada, Ifaz KabirUniversity of Waterloo, Canada, Paul HeUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada
DOI
11:15
22m
Talk
Unifying Typing and Subtyping
OOPSLA
Yanpeng YangUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
11:37
22m
Talk
Fast and Precise Type Checking for JavaScript
OOPSLA
Avik ChaudhuriFacebook, USA, Panagiotis VekrisUniversity of California at San Diego, USA, Sam GoldmanFacebook, USA, Marshall RochFacebook, USA, Gabriel LeviFacebook, USA
DOI
10:30 - 12:00
Language DesignOnward! Papers at Regency B
Chair(s): Zachary TatlockUniversity of Washington, Seattle
10:30
30m
Talk
Can We Crowdsource Language Design?
Onward! Papers
Preston Tunnell WilsonBrown University, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
11:00
30m
Talk
Assessing User Preferences in Programming Language Design
Onward! Papers
Roger ChamberlainWashington University in St. Louis
11:30
30m
Talk
Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Onward! Papers
Friedrich SteimannFernuniversität
10:30 - 12:00
PerformanceOOPSLA at Regency C
Chair(s): Kathryn S McKinleyGoogle
10:30
22m
Talk
A Volatile-by-Default JVM for Server Applications
OOPSLA
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
DOI
10:52
22m
Talk
Static Placement of Computation on Heterogeneous Devices
OOPSLA
Gabriel PoesiaFederal University of Minas Gerais, Brazil, Breno CamposFederal University of Minas Gerais, Brazil, Fabrício FerracioliLG Electronics, Brazil, Fernando Magno Quintão PereiraUFMG
DOI
11:15
22m
Talk
Skip Blocks: Reusing Execution History to Accelerate Web Scripts
OOPSLA
Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
DOI
11:37
22m
Talk
Virtual Machine Warmup Blows Hot and Cold
OOPSLA
Edd BarrettKing's College London, Carl Friedrich Bolz-Tereick, Rebecca KillickDepartment of Mathematics and Statistics, University of Lancaster, Sarah MountKing's College London, Laurence TrattKing's College London
DOI
10:30 - 12:00
Programming ModelsSPLASH-I at Regency D
Chair(s): Gail MurphyUniversity of British Columbia
10:30
30m
Talk
Direct Manipulation Programming Systems
SPLASH-I
Ravi ChughUniversity of Chicago
11:00
30m
Talk
Toward Scalable Semantic Big Data
SPLASH-I
Julian DolbyIBM Thomas J. Watson Research Center
11:30
30m
Talk
Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming
SPLASH-I
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Gradual Types and MemoryOOPSLA at Regency A
Chair(s): Jennifer B. SartorVrije Universiteit Brussel
13:30
22m
Talk
Sound Gradual Typing: Only Mostly Dead
OOPSLA
Spenser Andrew BaumanIndiana University, USA, Sam Tobin-HochstadtIndiana University, Jeremy G. SiekIndiana University, USA, Carl Friedrich Bolz-Tereick
DOI
13:52
22m
Talk
Sound Gradual Typing Is Nominally Alive and Well
OOPSLA
Fabian MuehlboeckCornell University, Ross TateCornell University
DOI
14:15
22m
Talk
The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
OOPSLA
Gregor RichardsUniversity of Waterloo, Ellen ArtecaUniversity of Waterloo, Canada, Alexi TurcotteUniversity of Waterloo
DOI
14:37
22m
Talk
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
OOPSLA
Tomoharu UgawaKochi University of Technology, Japan, Tatsuya AbeChiba Institute of Technology, Japan, Toshiyuki MaedaChiba Institute of Technology, Japan
DOI
13:30 - 15:00
Program Generation and SynthesisOnward! Papers at Regency B
Chair(s): Emina TorlakUniversity of Washington
13:30
30m
Talk
Generating Chat Bots from Web API Specifications
Onward! Papers
Mandana VaziriIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonIBM Research, Martin HirzelIBM Research
14:00
30m
Talk
ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Onward! Papers
Edmund LamUniversity of Colorado Boulder, Peilun Zhang, Bor-Yuh Evan ChangUniversity of Colorado Boulder
14:30
30m
Talk
Unbounded Superoptimization
Onward! Papers
Abhinav JangdaUniversity of Massachusetts, Amherst, Greta YorshQueen Mary University of London
13:30 - 15:00
ToolsOOPSLA at Regency C
Chair(s): Joshua SunshineCarnegie Mellon University
13:30
22m
Talk
Effective Interactive Resolution of Static Analysis Alarms
OOPSLA
Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
DOI
13:52
22m
Talk
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
OOPSLA
Eric SeidelUniversity of California at San Diego, USA, Huma SibghatUniversity of California at San Diego, USA, Kamalika ChaudhuriUniversity of California at San Diego, USA, Westley WeimerUniversity of Virginia, USA, Ranjit JhalaUniversity of California at San Diego, USA
DOI
14:15
22m
Talk
Abridging Source Code
OOPSLA
Binhang YuanRice University, USA, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
DOI
14:37
22m
Talk
Evaluating and Improving Semistructured Merge
OOPSLA
Guilherme CavalcantiFederal University of Pernambuco, Brazil, Paulo BorbaFederal University of Pernambuco, Brazil, Paola AcciolyFederal University of Pernambuco, Brazil
DOI
13:30 - 15:00
SecuritySPLASH-I at Regency D
Chair(s): Karim AliUniversity of Alberta
13:30
30m
Talk
Browser Performance Woes: Past, Present, and Future
SPLASH-I
Ben LivshitsImperial College London, UK
14:00
30m
Talk
It's Time for Secure Languages
SPLASH-I
14:30
30m
Talk
Preventing Information Leaks by Construction
SPLASH-I
Jean YangCarnegie Mellon University
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:22
SynthesisOOPSLA at Regency A
Chair(s): Jonathan Edwards
15:30
22m
Talk
Model-Assisted Machine-Code Synthesis
OOPSLA
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Ara VartanianUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
DOI
15:52
22m
Talk
Synthesis of Data Completion Scripts using Finite Tree Automata
OOPSLA
Xinyu WangUT Austin, Isil DilligUT Austin, Rishabh SinghMicrosoft Research
DOI
16:14
22m
Talk
SQLizer: Query Synthesis from Natural Language
OOPSLA
Navid YaghmazadehUniversity of Texas, Austin, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas Dillig
DOI
16:37
22m
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
OOPSLA
Mark SantolucitoYale University, Ennan ZhaiYale University, USA, Rahul DhodapkarMongoDB, USA, Aaron ShimMicrosoft, USA, Ruzica PiskacYale University
DOI
16:59
22m
Talk
Natural Synthesis of Provably-Correct Data-Structure Manipulations
OOPSLA
Xiaokang QiuPurdue University, Armando Solar-LezamaMIT CSAIL
DOI
15:30 - 17:00
EssaysOnward! Essays at Regency B
Chair(s): Robert BiddleCarleton University
15:30
45m
Talk
Some Were Meant For C: The endurance of an unmanageable language
Onward! Essays
Stephen KellUniversity of Cambridge
16:15
45m
Talk
Concept Analysis in Programming Language Research: Done Well It Is All Right
Onward! Essays
A: Antti-Juhani KaijanahoUniversity of Jyväskylä
DOI Pre-print
15:30 - 17:00
Dynamic AnalysisOOPSLA at Regency C
Chair(s): Jonathan AldrichCarnegie Mellon University
15:30
22m
Talk
Practical Initialization Race Detection for JavaScript Web Applications
OOPSLA
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Frank TipNortheastern University
DOI
15:52
22m
Talk
Instrumentation Bias for Dynamic Data Race Detection
OOPSLA
Benjamin P. WoodWellesley College, Man CaoOhio State University, Michael D. BondOhio State University, Dan GrossmanUniversity of Washington
DOI
16:15
22m
Talk
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
OOPSLA
DOI
16:37
22m
Talk
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
OOPSLA
Neville Grech, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
DOI
15:30 - 17:00
Panel: Language EvolutionSPLASH-I at Regency D
15:30
90m
Talk
Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel
SPLASH-I
Steven D. Fraser, Lera BoroditskyUC San Diego, Robert Gentleman23andme, Chris GrangerKodowa, Sumit GulwaniMicrosoft Research, Crista LopesUniversity of California, Irvine
17:30 - 19:30
Poster Reception WednesdayPosters at Poster Area
Chair(s): Patrick LamUniversity of Waterloo, Jonathan BellGeorge Mason University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark SantolucitoYale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica FigueraUniversidad Simón Bolívar
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan MaengCarnegie Mellon University, USA
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis CarlsonUniversity of Minnesota, USA
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica PiskacYale University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla SusungiMINES ParisTech, France
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper OqvistLund University
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene SyrianiUniversity of Montreal
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide AnconaUniversity of Genova
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl CronburgTufts University
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr MajReactorLabs
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David GroveIBM Research
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph KirschUniversity of Salzburg
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui GeUniversity of British Columbia, Canada
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda KhairunnesaIowa State University
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya MelicherCarnegie Mellon University
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. NewcombUniversity of California at Berkeley
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew SorensenAustralian National University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist AdamsenAarhus University
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo OhKorea University
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi ShenMassachusetts Institute of Technology
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. DonaldsonImperial College London
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo OhKorea University
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman RoychoudhuryTata Consultancy Services Research
17:30 - 19:30
Wednesday Poster ReceptionSocial Program at Poster Area
17:30
2h
Social Event
Wednesday Poster Reception
Social Program
Gail MurphyUniversity of British Columbia
17:30 - 19:30
SRC 1st Round: PostersStudent Research Competition at Poster Area
Chair(s): Shan Shan HuangLogicBlox, Inc., Jennifer B. SartorVrije Universiteit Brussel
17:30
2h
Talk
What merge tool should I use?
Student Research Competition
Guilherme CavalcantiFederal University of Pernambuco, Brazil
17:30
2h
Talk
Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java
Student Research Competition
Haochen XieNagoya University
17:30
2h
Talk
How to Efficiently Process 2^100 Different Lists
Student Research Competition
17:30
2h
Talk
Automatic Testing of Interactive JavaScript Debuggers
Student Research Competition
Daniel LehmannTU Darmstadt
17:30
2h
Talk
Abstracting Resource Effects
Student Research Competition
Valerie ZhaoWellesley College
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Student Research Competition
Germán CeballosUppsala University
17:30
2h
Talk
Genetic Improvement in Code Interpreters and Compilers
Student Research Competition
Oliver KraussUniversity of Applied Sciences Upper Austria
17:30
2h
Talk
How Are Programming ƒQuestions from Women Received on Stack Overflow? A Case Study of Peer Parity
Student Research Competition
17:30
2h
Talk
Framework support for Usability evaluation of Domain-Specific Languages
Student Research Competition
Ankica BarisicNOVA-LINCS - Universidade Nova de Lisboa
17:30
2h
Talk
Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior
Student Research Competition
17:30
2h
Talk
Devirtualization in LLVM
Student Research Competition
17:30
2h
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Student Research Competition
David LeopoldsederJohannes Kepler University Linz
17:30
2h
Talk
Verifying the Proxy Design Pattern Using Object Propositions
Student Research Competition
Nistor LigiaCarnegie Mellon University
17:30
2h
Talk
ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
Student Research Competition
Monica FigueraUniversidad Simón Bolívar

Conference Day
Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote ThursdayKeynotes at Regency C
08:30
15m
Awards
OOPSLA Awards
Keynotes
P: Jonathan AldrichCarnegie Mellon University
08:45
75m
Talk
SPLASH 2017 Keynote: Objects in the Age of DataKeynote
Keynotes
Crista LopesUniversity of California, Irvine
10:00 - 10:30
Coffee BreakCatering at Regency Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Types and Language DesignOOPSLA at Regency A
Chair(s): Mario WolczkoOracle Labs
10:30
22m
Talk
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
OOPSLA
Yizhou ZhangCornell University, Andrew C. Myers
DOI
10:52
22m
Talk
Static Stages for Heterogeneous Programming
OOPSLA
Adrian SampsonCornell University, Kathryn S McKinleyGoogle, Todd MytkowiczMicrosoft Research
DOI Pre-print
11:15
22m
Talk
Orca: GC and Type System Co-Design for Actor Languages
OOPSLA
Sylvan ClebschImperial College London, Juliana FrancoImperial College London, Sophia Drossopoulou, Albert Mingkun Yang, Tobias WrigstadUppsala University, Jan VitekNortheastern University, USA
DOI
11:37
22m
Talk
Monadic Composition for Deterministic, Parallel Batch Processing
OOPSLA
Ryan ScottIndiana University, Omar Navarro-LeijaUniversity of Pennsylvania, USA, Ryan R. NewtonIndiana University, Joseph DeviettiUniversity of Pennsylvania
DOI
10:30 - 12:00
Essay PanelOnward! Essays at Regency B
Chair(s): Robert BiddleCarleton University
10:30
90m
Other
Panel: How can our publication models best serve our research?
Onward! Essays
Mary ShawCarnegie Mellon University, P: Crista LopesUniversity of California, Irvine, Matthias HauswirthUniversità della Svizzera italiana (USI), P: Philippe KruchtenUniversity of British Columbia
10:30 - 12:00
Optimizing Compilation and VerificationOOPSLA at Regency C
Chair(s): Gregor RichardsUniversity of Waterloo
10:30
22m
Talk
The Tensor Algebra Compiler
OOPSLA
DOI
10:52
22m
Talk
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
OOPSLA
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
DOI
11:15
22m
Talk
Verifying Spatial Properties of Array Computations
OOPSLA
Dominic OrchardUniversity of Kent, UK, Mistral Contrastin, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK
DOI
11:37
22m
Talk
GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
OOPSLA
Yufei DingNorth Carolina State University, Xipeng ShenNorth Carolina State University
DOI
10:30 - 12:00
Optimization & NetworksSPLASH-I at Regency D
Chair(s): Eleni StrouliaUniversity of Alberta
10:30
30m
Talk
HHVM: Efficient and Scalable PHP/Hack Execution
SPLASH-I
11:00
30m
Talk
Performance Analysis and Optimization of C++ Standard Libraries
SPLASH-I
Aditya KumarSamsung, Sebastian PopSamsung Research America
11:30
30m
Talk
Verifying Network Data Planes
SPLASH-I
Nate FosterCornell University
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Mining Software Repositories and ParsingOOPSLA at Regency A
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
13:30
22m
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
OOPSLA
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University
DOI
13:52
22m
Talk
DéjàVu: A Map of Code Duplicates on GitHub
OOPSLA
Crista LopesUniversity of California, Irvine, Petr MajReactorLabs, Pedro MartinsUniversity of California at Irvine, USA, Vaibhav SainiUniversity of California at Irvine, USA, Di YangUniversity of California at Irvine, USA, Jakub ZitnyCzech Technical University, Czechia, Hitesh SajnaniMicrosoft , Jan VitekNortheastern University, USA
DOI
14:15
22m
Talk
Understanding the Use of Lambda Expressions in Java
OOPSLA
Davood MazinanianConcordia University, Canada, Ameya KetkarOregon State University, USA, Nikolaos TsantalisConcordia University, Canada, Danny DigSchool of EECS at Oregon State University
DOI
14:37
22m
Talk
Restricting Grammars with Tree Automata
OOPSLA
Michael D. AdamsUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
13:30 - 15:00
Programming ModelsOnward! Papers at Regency B
Chair(s): Karim AliUniversity of Alberta
13:30
30m
Talk
The Serverless Trilemma: Function Composition for Serverless Computing
Onward! Papers
Ioana BaldiniIBM T.J. Watson Research, Perry ChengIBM Research, Stephen J FinkIBM, Nick Mitchell, Vinod MuthusamyIBM T.J. Watson Research, Rodric RabbahIBM Research, Philippe SuterTwo Sigma, Olivier TardieuIBM Research
14:00
30m
Talk
Encoding the building blocks of communication
Onward! Papers
14:30
30m
Talk
IoTa: A Calculus for Internet of Things Automation
Onward! Papers
Julie L. NewcombUniversity of California at Berkeley, Satish ChandraFacebook, Jean-Baptiste JeanninCarnegie Mellon University , Cole SchlesingerSamsung Research America, Manu SridharanUber
13:30 - 15:00
VerificationOOPSLA at Regency C
Chair(s): Jonathan Edwards
13:30
22m
Talk
Seam: Provably Safe Local Edits on Graphs
OOPSLA
Manolis PapadakisStanford University, USA, Gilbert Louis BernsteinStanford University, USA, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Pat HanrahanStanford University, USA
DOI
13:52
22m
Talk
TiML: A Functional Language for Practical Complexity Analysis with Invariants
OOPSLA
Peng WangMassachusetts Institute of Technology, USA, Di WangPeking University, China, Adam ChlipalaMassachusetts Institute of Technology, USA
DOI
14:15
22m
Talk
FairSquare: Probabilistic Verification of Program Fairness
OOPSLA
Aws AlbarghouthiUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Samuel DrewsUniversity of Wisconsin-Madison, Aditya Nori
DOI
14:37
22m
Talk
Reasoning on Divergent Computations with Coaxioms
OOPSLA
Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova
DOI
13:30 - 15:00
Software Engineering & EducationSPLASH-I at Regency D
Chair(s): Vadim ZaytsevRaincode Labs, Belgium
13:30
30m
Talk
One if by Lambda, Two if by C: How PL Can Attack Computing Education
SPLASH-I
Kathi FislerBrown University
14:00
30m
Talk
Reducing Interruptions at Work with the FlowLight
SPLASH-I
Thomas FritzUniversity of British Columbia, University of Zurich
14:30
30m
Talk
Smart Condo: IoT for Social Good
SPLASH-I
Eleni StrouliaUniversity of Alberta
15:00 - 15:30
Coffee BreakCatering at Regency Foyer
15:30 - 17:00
SRC 2nd Round: PresentationsStudent Research Competition at Prince of Wales
Chair(s): Jennifer B. SartorVrije Universiteit Brussel, Shan Shan HuangLogicBlox, Inc.
15:30
15m
Talk
Abstracting Resource Effects
Student Research Competition
Valerie ZhaoWellesley College
15:45
15m
Talk