SPLASH 2015
Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
SPLASH 2015 (series) / Sheraton Station Square Hotel /

Room information: Grand Station 3

VenueSheraton Station Square Hotel
Room nameGrand Station 3
Floor1
Additional information

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

13:30 - 15:00: Tutorial 1Tutorials at Grand Station 3
13:30 - 15:00
Talk		Symbolic Techniques for Software Debugging and Repair
Tutorials
Abhik RoychoudhuryNational University of Singapore, Satish ChandraSamsung Research America

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

08:30 - 10:00: Session 1, Language DesignDLS at Grand Station 3
08:30 - 08:40
Day opening		Welcome and Introduction
DLS
08:40 - 09:40
Talk		DLS Keynote: Declare Your Language
DLS
I: Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
09:40 - 10:00
Talk		From APIs to Languages: Generalising Method Names
DLS
James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
Pre-print
10:30 - 12:00: Session 2, Formalization, Semantics, and Static AnalysisDLS at Grand Station 3
10:30 - 10:52
Talk		A Formalization of Typed Lua
DLS
Andre Murbach MaidlPUCPR, Fabio MascarenhasUFRJ, Roberto IerusalimschyPUC-Rio
Media Attached
10:52 - 11:15
Talk		Gradual Certified Programming in Coq
DLS
Éric TanterUniversity of Chile, Chile, Nicolas TabareauInria
11:15 - 11:37
Talk		Message Safety in Dart
DLS
Erik Ernst, Mathias SchwarzUber Aarhus, Fabio StroccoAarhus University, Denmark, Anders MøllerAarhus University
11:37 - 12:00
Talk		Control-Flow Analysis of Dynamic Languages via Pointer Analysis
DLS
Steven Lyde, Matthew MightUniversity of Utah, USA, William E. Byrd
13:30 - 15:00: Session 3, CompilationDLS at Grand Station 3
13:30 - 13:52
Talk		Compiling for Multi-Language Task Migration
DLS
Marc Feeley
13:52 - 14:15
Talk		High-Performance Cross-Language Interoperability in a Multi-Language Runtime
DLS
Matthias GrimmerJohannes Kepler University Linz, Chris SeatonOracle Labs / University of Manchester, Roland SchatzJohannes Kepler University Linz, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz
14:15 - 14:37
Talk		Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
DLS
David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Christian WimmerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz
14:37 - 15:00
Talk		Language Independent Storage Strategies for Tracing JIT based VMs
DLS
Tim FelgentreffHPI, Germany, Tobias PapeHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI, Carl Friedrich Bolz-TereickKing's College London , Anton GulenkoTU Berlin
15:30 - 17:30: Session 4, Empirical StudiesDLS at Grand Station 3
15:30 - 15:54
Talk		Measuring Polymorphism in Python Programs
DLS
Beatrice ÅkerblomStockholm University, Tobias WrigstadUppsala University
15:54 - 16:18
Talk		Tracking Down Performance Variation Against Source Code Evolution
DLS
Juan Pablo Sandoval AlcocerUniversidad Católica Boliviana San Pablo, Alexandre Bergel
16:18 - 16:42
Talk		Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
DLS
Madhukar KedlayaUniversity of California, Santa Barbara, Behnam RobatmiliQualcomm Research, Ben HardekopfUC Santa Barbara
16:42 - 17:06
Talk		An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
DLS
Lars FischerUniversity of Duisburg-Essen, Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen
17:06 - 17:30
Talk		Access Control to Reflection with Object Ownership
DLS
Camille TeruelINRIA, Stéphane DucasseINRIA, France, Damien CassouLille 1 University, Marcus Denker INRIA Lille

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room13:003014:0030
Grand Station 3

Tutorials

Tutorial 1

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 3

DLS

Session 1, Language Design

DLS

Session 2, Formalization, Semantics, and Static Analysis

DLS

Session 3, Compilation

DLS

Session 4, Empirical Studies

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room13:0015304514:00153045
Grand Station 3
SPLASH Tutorials
Symbolic Techniques for Software Debugging and Repair
13:30 - 15:00

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Station 3
DLS
Welcome and Introduction
08:30 - 08:40
DLS
DLS Keynote: Declare Your Language
08:40 - 09:40
DLS
From APIs to Languages: Generalising Method Names
09:40 - 10:00
DLS
A Formalization of Typed Lua
10:30 - 10:52
DLS
Gradual Certified Programming in Coq
10:52 - 11:15
DLS
Message Safety in Dart
11:15 - 11:37
DLS
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
11:37 - 12:00
DLS
Compiling for Multi-Language Task Migration
13:30 - 13:52
DLS
High-Performance Cross-Language Interoperability in a Multi-Language Ru ...
13:52 - 14:15
DLS
Java-to-JavaScript Translation via Structured Control Flow Reconstructi ...
14:15 - 14:37
DLS
Language Independent Storage Strategies for Tracing JIT based VMs
14:37 - 15:00
DLS
Measuring Polymorphism in Python Programs
15:30 - 15:54
DLS
Tracking Down Performance Variation Against Source Code Evolution
15:54 - 16:18
DLS
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
16:18 - 16:42
DLS
An Empirical Investigation of the Effects of Type Systems and Code Comp ...
16:42 - 17:06
DLS
Access Control to Reflection with Object Ownership
17:06 - 17:30