SPLASH 2015
Fri 23 - Fri 30 October 2015
Pittsburgh, Pennsylvania, United States
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
About
Accommodation
Anti-Harassment Policy
Dining
Downloads
Insider's Guide to Pittsburgh
Maps
Mobile App
Registration
Students
Support Program
Supporters
Travel
Visas
Program
Complete Program
Your Program
Program Overview
SPLASH Proceedings
Fri 23 Oct
Sat 24 Oct
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Thu 29 Oct
Fri 30 Oct
Tracks
SPLASH 2015
Demos
Doctoral Symposium
Keynotes
OOPSLA
OOPSLA Artifacts
Panels
Posters
PLMW
RPG
SPLASH-E
SPLASH-I
Social Events
Student Research Competition
Student Volunteers
Tutorials
Wavefront
Workshops
Co-hosted Conferences
GPCE 2015
Onward! 2015
Onward! 2015
Onward! Essays
Onward! 2015
Onward! Papers
PLoP 2015
SLE 2015
Co-hosted Workshops
AGERE! 2015
DSM 2015
ETX 2015
Future Programming Workshop 2015
MobileDeLi 2015
NOOL 2015
PLATEAU 2015
PROMOTO 2015
Parsing@SLE 2015
REBLS 2015
SEPS 2015
Smart Software Strategies 2015
WODA 2015
Co-hosted Symposiums
DBPL 2015
DLS 2015
Committees
SPLASH 2015
Organizing Committee
Steering Committee
Tracks
Demos
Organizing Committee
Doctoral Symposium
Organizing Committee
OOPSLA
Program Committee
External Review Committee
OOPSLA Artifacts
Organizing Committee
Program Committee
Panels
Organizing Committee
Posters
Organizing Committee
Program Committee
PLMW
Organizing Committee
RPG
Organization
SPLASH-E
Organizing Committee
Program Committee
Steering Committee
SPLASH-I
Organizers
Student Research Competition
Organizing Committee
Program Committee
Student Volunteers
Organizing Committee
Tutorials
Organizing Committee
Wavefront
Organizing Committee
Workshops
Program Committee
Co-hosted Conferences
GPCE 2015
Organizing Committee
Steering Committee
GPCE
Program Committee
Onward! 2015
Organizing Committee
Steering Committee
Onward! Essays
Program Committee
Onward! Papers
Program Committee
PLoP 2015
PLoP
Organizing Committee
SLE 2015
Organizing Committee
Steering Committee
SLE
Program Committee
Co-hosted Workshops
AGERE! 2015
AGERE
Organizing Committee
AGERE
Program Committee
DSM 2015
DSM
Organizing Committee
DSM
Program Committee
ETX 2015
Organizing Committee
Program Committee
ETX
Program Committee
Future Programming Workshop 2015
Future Programming Workshop
Organizing Committee
MobileDeLi 2015
Organizing Committee
Program Committee
MobileDeLi
Organizing Committee
MobileDeLi
Program Committee
NOOL 2015
NOOL
Organizing Committee
NOOL
Program Committee
PLATEAU 2015
Organizing Committee
PLATEAU
Organizing Committee
PLATEAU
Program Committee
PROMOTO 2015
Organizing Committee
PROMOTO
Organizing Committee
PROMOTO
Program Committee
Parsing@SLE 2015
Organizers
Parsing@SLE
Organizers
REBLS 2015
REBLS
Organizing Committee
REBLS
Program Committee
SEPS 2015
SEPS
Organizing Committee
SEPS
Program Committee
Smart Software Strategies 2015
Smart
Organizing Committee
Smart
Program Committee
WODA 2015
WODA
Organizing Committee
WODA
Program Committee
Co-hosted Symposiums
DBPL 2015
DBPL
Program Committee
DLS 2015
DLS
Program Committee
Search
Other Editions
Series
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2014
SPLASH 2013
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2015
(
series
) /
Sheraton Station Square Hotel
/
Room information: Grand Station 3
Venue
Sheraton Station Square Hotel
Room name
Grand Station 3
Floor
1
Room number
Capacity
0
Additional information
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 26 Oct
splash2015-tutorials
13:30 - 15:00:
Tutorials
- Tutorial 1 at
Grand Station 3
splash2015-tutorials
1445862600000
13:30 - 15:00
Talk
Symbolic Techniques for Software Debugging and Repair
Abhik Roychoudhury
,
Satish Chandra
Tue 27 Oct
dls2015
08:30 - 10:00:
DLS
- Session 1, Language Design at
Grand Station 3
dls2015
1445931000000
08:30 - 08:40
Day opening
Welcome and Introduction
dls2015
1445931600000
08:40 - 09:40
Talk
DLS Keynote: Declare Your Language
Eelco Visser
Link to publication
DOI
Media Attached
dls2015
1445935200000
09:40 - 10:00
Talk
From APIs to Languages: Generalising Method Names
James Noble
,
Michael Homer
,
Timothy Jones
Pre-print
dls2015
10:30 - 12:00:
DLS
- Session 2, Formalization, Semantics, and Static Analysis at
Grand Station 3
dls2015
1445938200000
10:30 - 10:52
Talk
A Formalization of Typed Lua
Andre Murbach Maidl
,
Fabio Mascarenhas
,
Roberto Ierusalimschy
Media Attached
dls2015
1445939550000
10:52 - 11:15
Talk
Gradual Certified Programming in Coq
Éric Tanter
,
Nicolas Tabareau
dls2015
1445940900000
11:15 - 11:37
Talk
Message Safety in Dart
Erik Ernst
,
Mathias Schwarz
,
Fabio Strocco
,
Anders Møller
dls2015
1445942250000
11:37 - 12:00
Talk
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Steven Lyde
,
Matthew Might
,
William E. Byrd
dls2015
13:30 - 15:00:
DLS
- Session 3, Compilation at
Grand Station 3
dls2015
1445949000000
13:30 - 13:52
Talk
Compiling for Multi-Language Task Migration
Marc Feeley
dls2015
1445950350000
13:52 - 14:15
Talk
High-Performance Cross-Language Interoperability in a Multi-Language Runtime
Matthias Grimmer
,
Chris Seaton
,
Roland Schatz
,
Thomas Wuerthinger
,
Hanspeter Mössenböck
dls2015
1445951700000
14:15 - 14:37
Talk
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder
,
Lukas Stadler
,
Christian Wimmer
,
Hanspeter Mössenböck
dls2015
1445953050000
14:37 - 15:00
Talk
Language Independent Storage Strategies for Tracing JIT based VMs
Tim Felgentreff
,
Tobias Pape
,
Robert Hirschfeld
,
Carl Friedrich Bolz-Tereick
,
Anton Gulenko
dls2015
15:30 - 17:30:
DLS
- Session 4, Empirical Studies at
Grand Station 3
dls2015
1445956200000
15:30 - 15:54
Talk
Measuring Polymorphism in Python Programs
Beatrice Åkerblom
,
Tobias Wrigstad
dls2015
1445957640000
15:54 - 16:18
Talk
Tracking Down Performance Variation Against Source Code Evolution
Juan Pablo Sandoval Alcocer
,
Alexandre Bergel
dls2015
1445959080000
16:18 - 16:42
Talk
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Madhukar Kedlaya
,
Behnam Robatmili
,
Ben Hardekopf
dls2015
1445960520000
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
Lars Fischer
,
Stefan Hanenberg
dls2015
1445961960000
17:06 - 17:30
Talk
Access Control to Reflection with Object Ownership
Camille Teruel
,
Stéphane Ducasse
,
Damien Cassou
,
Marcus Denker
Mon 26 Oct 2015
Room
13:00
30
14:00
30
15:00
30
Grand Station 3
Tutorials
Tutorial 1
13:30 - 15:00
Tue 27 Oct 2015
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
Grand Station 3
DLS
Session 1, Language Design
08:30 - 10:00
DLS
Session 2, Formalization, Semantics, and Static Analysis
10:30 - 12:00
DLS
Session 3, Compilation
13:30 - 15:00
DLS
Session 4, Empirical Studies
15:30 - 17:30
Mon 26 Oct 2015
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Grand Station 3
SPLASH 2015 Tutorials
Symbolic Techniques for Software Debugging and Repair
13:30 - 15:00
Tue 27 Oct 2015
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
Grand Station 3
DLS 2015
Welcome and Introduction
08:30 - 08:40
DLS 2015
DLS Keynote: Declare Your Language
08:40 - 09:40
DLS 2015
From APIs to Languages: Generalising Method Names
09:40 - 10:00
DLS 2015
A Formalization of Typed Lua
10:30 - 10:52
DLS 2015
Gradual Certified Programming in Coq
10:52 - 11:15
DLS 2015
Message Safety in Dart
11:15 - 11:37
DLS 2015
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
11:37 - 12:00
DLS 2015
Compiling for Multi-Language Task Migration
13:30 - 13:52
DLS 2015
High-Performance Cross-Language Interoperability in a Multi-Language Ru ...
13:52 - 14:15
DLS 2015
Java-to-JavaScript Translation via Structured Control Flow Reconstructi ...
14:15 - 14:37
DLS 2015
Language Independent Storage Strategies for Tracing JIT based VMs
14:37 - 15:00
DLS 2015
Measuring Polymorphism in Python Programs
15:30 - 15:54
DLS 2015
Tracking Down Performance Variation Against Source Code Evolution
15:54 - 16:18
DLS 2015
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
16:18 - 16:42
DLS 2015
An Empirical Investigation of the Effects of Type Systems and Code Comp ...
16:42 - 17:06
DLS 2015
Access Control to Reflection with Object Ownership
17:06 - 17:30
x
Sat 21 Apr 06:11