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
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
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
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
13:30 - 15:00

Tue 27 Oct 2015

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

Mon 26 Oct 2015