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
Room number
Capacity0
Additional information

Program

Mon 26 Oct

splash2015-tutorials
13:30 - 15:00: Tutorials - Tutorial 1 at Grand Station 3
splash2015-tutorials144586260000013:30 - 15:00
Talk
Abhik RoychoudhuryNational University of Singapore, Satish ChandraSamsung Research America

Tue 27 Oct

dls2015
08:30 - 10:00: DLS - Session 1, Language Design at Grand Station 3
dls2015144593100000008:30 - 08:40
Day opening
dls2015144593160000008:40 - 09:40
Talk
Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
dls2015144593520000009:40 - 10:00
Talk
James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
Pre-print
dls2015
10:30 - 12:00: DLS - Session 2, Formalization, Semantics, and Static Analysis at Grand Station 3
dls2015144593820000010:30 - 10:52
Talk
Andre Murbach MaidlPUCPR, Fabio MascarenhasUFRJ, Roberto IerusalimschyPUC-Rio
Media Attached
dls2015144593955000010:52 - 11:15
Talk
Éric TanterUniversity of Chile, Chile, Nicolas TabareauInria
dls2015144594090000011:15 - 11:37
Talk
Erik Ernst, Mathias SchwarzUber Aarhus, Fabio StroccoAarhus University, Denmark, Anders MøllerAarhus University
dls2015144594225000011:37 - 12:00
Talk
Steven Lyde, Matthew MightUniversity of Utah, USA, William E. Byrd
dls2015
13:30 - 15:00: DLS - Session 3, Compilation at Grand Station 3
dls2015144594900000013:30 - 13:52
Talk
Marc Feeley
dls2015144595035000013:52 - 14:15
Talk
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
dls2015144595170000014:15 - 14:37
Talk
David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Christian WimmerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz
dls2015144595305000014:37 - 15:00
Talk
Tim FelgentreffHPI, Germany, Tobias PapeHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI, Carl Friedrich Bolz-TereickKing's College London , Anton GulenkoTU Berlin
dls2015
15:30 - 17:30: DLS - Session 4, Empirical Studies at Grand Station 3
dls2015144595620000015:30 - 15:54
Talk
Beatrice ÅkerblomStockholm University, Tobias WrigstadUppsala University
dls2015144595764000015:54 - 16:18
Talk
Juan Pablo Sandoval Alcocer, Alexandre Bergel
dls2015144595908000016:18 - 16:42
Talk
Madhukar KedlayaUniversity of California, Santa Barbara, Behnam RobatmiliQualcomm Research, Ben HardekopfUC Santa Barbara
dls2015144596052000016:42 - 17:06
Talk
Lars FischerUniversity of Duisburg-Essen, Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen
dls2015144596196000017:06 - 17:30
Talk
Camille TeruelINRIA, Stéphane DucasseINRIA, France, Damien CassouLille 1 University, Marcus Denker INRIA Lille

Mon 26 Oct 2015

Room13:003014:003015:0030
Grand Station 3

SPLASH Tutorials

Tutorial 1
13:30 - 15:00

Tue 27 Oct 2015

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room13:0015304514:0015304515:00153045
Grand Station 3
13:30 - 15:00

Tue 27 Oct 2015

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Station 3
08:30 - 08:40
08:40 - 09:40
09:40 - 10:00
10:30 - 10:52
10:52 - 11:15
11:15 - 11:37
11:37 - 12:00
13:30 - 13:52
13:52 - 14:15
14:15 - 14:37
14:37 - 15:00
15:30 - 15:54
15:54 - 16:18
16:18 - 16:42
16:42 - 17:06
17:06 - 17:30