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-tutorials13: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
dls201508:30 - 08:40
Day opening
dls201508:40 - 09:40
Talk
Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
dls201509: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
dls201510:30 - 10:52
Talk
Media Attached
dls201510:52 - 11:15
Talk
Éric TanterUniversity of Chile, Chile, Nicolas TabareauInria
dls201511:15 - 11:37
Talk
Erik Ernst, Mathias SchwarzUber Aarhus, Fabio StroccoAarhus University, Denmark, Anders MøllerAarhus University
dls201511: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
dls201513:30 - 13:52
Talk
dls201513: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
dls201514:15 - 14:37
Talk
David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Christian WimmerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz
dls201514: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
dls201515:30 - 15:54
Talk
Beatrice ÅkerblomStockholm University, Tobias WrigstadUppsala University
dls201515:54 - 16:18
Talk
dls201516:18 - 16:42
Talk
Madhukar KedlayaUniversity of California, Santa Barbara, Behnam RobatmiliQualcomm Research, Ben HardekopfUC Santa Barbara
dls201516:42 - 17:06
Talk
Lars FischerUniversity of Duisburg-Essen, Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen
dls201517: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

Tue 27 Oct 2015

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

Mon 26 Oct 2015