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
Filter by Day
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
GPCE
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
PLoP
PLoP
PLoP
SLE
Workshops
AGERE!
DSM
DSM
DSM
ETX
Future Programming Workshop
MobileDeLi
NOOL
NOOL
NOOL
PLATEAU
PROMOTO
PROMOTO
PROMOTO
Parsing@SLE
Parsing@SLE
Parsing@SLE
REBLS
REBLS
REBLS
SEPS
Smart Software Strategies
Smart Software Strategies
Smart Software Strategies
WODA
WODA
WODA
Co-hosted Symposia
DBPL
DLS
Organization
SPLASH 2015 Committees
Organizing Committee
Steering Committee
Track Committees
Demos
Doctoral Symposium
OOPSLA
Program Committee
External Review Committee
OOPSLA Artifacts
Organizing Committee
Program Committee
Panels
Posters
Organizing Committee
Program Committee
PLMW
RPG
SPLASH-E
Organizing Committee
Program Committee
Steering Committee
SPLASH-I
Student Research Competition
Organizing Committee
Program Committee
Student Volunteers
Tutorials
Wavefront
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Steering Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
PLoP
Organizing Committee
SLE
Organizing Committee
Steering Committee
Program Committee
Workshops
AGERE!
Organizing Committee
Program Committee
DSM
Organizing Committee
Program Committee
ETX
Organizing Committee
Program Committee
Program Committee
Future Programming Workshop
Organizing Committee
MobileDeLi
Organizing Committee
Program Committee
Organizing Committee
Program Committee
NOOL
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Organizing Committee
Program Committee
PROMOTO
Organizing Committee
Organizing Committee
Program Committee
Parsing@SLE
Organizers
Organizers
REBLS
Organizing Committee
Program Committee
SEPS
Organizing Committee
Program Committee
Smart Software Strategies
Organizing Committee
Program Committee
WODA
Organizing Committee
Program Committee
Co-hosted Symposia
DBPL
Program Committee
DLS
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
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 Information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
13:30 - 15:00
Tutorial 1
Tutorials
at
Grand Station 3
13:30
90m
Talk
Symbolic Techniques for Software Debugging and Repair
Tutorials
Abhik Roychoudhury
National University of Singapore
,
Satish Chandra
Samsung Research America
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Session 1, Language Design
DLS
at
Grand Station 3
08:30
10m
Day opening
Welcome and Introduction
DLS
08:40
60m
Talk
DLS Keynote: Declare Your Language
DLS
I:
Eelco Visser
Delft University of Technology
Link to publication
DOI
Media Attached
09:40
20m
Talk
From APIs to Languages: Generalising Method Names
DLS
James Noble
Victoria University of Wellington
,
Michael Homer
Victoria University of Wellington
,
Timothy Jones
Victoria University of Wellington
Pre-print
10:30 - 12:00
Session 2, Formalization, Semantics, and Static Analysis
DLS
at
Grand Station 3
10:30
22m
Talk
A Formalization of Typed Lua
DLS
Andre Murbach Maidl
PUCPR
,
Fabio Mascarenhas
UFRJ
,
Roberto Ierusalimschy
PUC-Rio
Media Attached
10:52
22m
Talk
Gradual Certified Programming in Coq
DLS
Éric Tanter
University of Chile, Chile
,
Nicolas Tabareau
Inria
11:15
22m
Talk
Message Safety in Dart
DLS
Erik Ernst
,
Mathias Schwarz
Uber Aarhus
,
Fabio Strocco
Aarhus University, Denmark
,
Anders Møller
Aarhus University
11:37
22m
Talk
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
DLS
Steven Lyde
,
Matthew Might
University of Utah, USA
,
William E. Byrd
13:30 - 15:00
Session 3, Compilation
DLS
at
Grand Station 3
13:30
22m
Talk
Compiling for Multi-Language Task Migration
DLS
Marc Feeley
13:52
22m
Talk
High-Performance Cross-Language Interoperability in a Multi-Language Runtime
DLS
Matthias Grimmer
Johannes Kepler University Linz
,
Chris Seaton
Oracle Labs / University of Manchester
,
Roland Schatz
Johannes Kepler University Linz
,
Thomas Wuerthinger
Oracle Labs
,
Hanspeter Mössenböck
Johannes Kepler University Linz
14:15
22m
Talk
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
DLS
David Leopoldseder
Johannes Kepler University Linz
,
Lukas Stadler
Oracle Labs
,
Christian Wimmer
Oracle Labs
,
Hanspeter Mössenböck
Johannes Kepler University Linz
14:37
22m
Talk
Language Independent Storage Strategies for Tracing JIT based VMs
DLS
Tim Felgentreff
HPI, Germany
,
Tobias Pape
Hasso-Plattner-Institute, Potsdam
,
Robert Hirschfeld
HPI
,
CF Bolz-Tereick
King's College London
,
Anton Gulenko
TU Berlin
15:30 - 17:30
Session 4, Empirical Studies
DLS
at
Grand Station 3
15:30
24m
Talk
Measuring Polymorphism in Python Programs
DLS
Beatrice Åkerblom
Stockholm University
,
Tobias Wrigstad
Uppsala University
15:54
24m
Talk
Tracking Down Performance Variation Against Source Code Evolution
DLS
Juan Pablo Sandoval Alcocer
Universidad Católica Boliviana San Pablo
,
Alexandre Bergel
16:18
24m
Talk
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
DLS
Madhukar Kedlaya
University of California, Santa Barbara
,
Behnam Robatmili
Qualcomm Research
,
Ben Hardekopf
UC Santa Barbara
16:42
24m
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 Fischer
University of Duisburg-Essen, Essen, Germany
,
Stefan Hanenberg
University of Duisburg-Essen
17:06
24m
Talk
Access Control to Reflection with Object Ownership
DLS
Camille Teruel
INRIA
,
Stéphane Ducasse
INRIA, France
,
Damien Cassou
Lille 1 University
,
Marcus Denker
INRIA Lille
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
13:00
30
14:00
30
Grand Station 3
Tutorials
Tutorial 1
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
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
DLS
Session 2, Formalization, Semantics, and Static Analysis
DLS
Session 3, Compilation
DLS
Session 4, Empirical Studies
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
13:00
15
30
45
14:00
15
30
45
Grand Station 3
SPLASH Tutorials
Symbolic Techniques for Software Debugging and Repair
13:30 - 15:00
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
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
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
x
Thu 7 Nov 07:19