SPLASH 2015
Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
SPLASH 2015 (series) / Sheraton Station Square Hotel /

Room information: Grand Station 3-5

VenueSheraton Station Square Hotel
Room nameGrand Station 3-5
Floor1
Room Information

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Session 2Onward! Essays at Grand Station 3-5
Chair(s): Stephen Kell University of Cambridge
10:30
45m
Talk
Towards a Theory of Conceptual Design for Software
Onward! Essays
Daniel Jackson Massachusetts Institute of Technology, USA
DOI
11:15
45m
Talk
The Cuneiform Tablets of 2015
Onward! Essays
Long Tien Nguyen University of California at Los Angeles, USA, Alan Kay University of California at Los Angeles, USA
DOI
13:30 - 15:00
Session the SecondOnward! Papers at Grand Station 3-5
Chair(s): Karim Ali TU Darmstadt
13:30
22m
Talk
Just-in-Time Data Structures
Onward! Papers
Mattias De Wael Vrije Universiteit Brussel, Stefan Marr INRIA, France, Joeri De Koster Vrije Universiteit Brussel, Jennifer B. Sartor Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI
13:52
22m
Talk
Separation of Powers in the Cloud: Where Applications and Users Become Peers
Onward! Papers
David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa
Media Attached
14:15
22m
Talk
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Onward! Papers
Junsong Li Brown University, Justin Pombrio , Joe Gibbs Politz Swarthmore College, Shriram Krishnamurthi Brown University
Media Attached
14:37
22m
Talk
Musiplectics: Computational Assessment of the Complexity of Music Scores
Onward! Papers
Ethan Holder Virginia Tech, Eli Tilevich Virginia Tech, Amy Gillick Virginia Tech
15:30 - 17:30
Session the ThirdOnward! Papers at Grand Station 3-5
Chair(s): Lindsey Kuper Intel Labs
15:30
24m
Talk
Toward tool support for interactive synthesis
Onward! Papers
Shaon Barman UC Berkeley, Rastislav Bodík University of Washington, USA, Satish Chandra Samsung Research America, Emina Torlak University of Washington, Arka Bhattacharya UC Berkeley, David Culler UC Berkeley
15:54
24m
Talk
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Onward! Papers
Sylvia Grewe TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Pascal Wittmann TU Darmstadt, Mira Mezini TU Darmstadt
Link to publication
16:18
24m
Talk
One Parser to Rule Them All
Onward! Papers
Ali Afroozeh Centrum Wiskunde & Informatica, Anastasia Izmaylova Centrum Wiskunde & Informatica
Link to publication DOI Pre-print Media Attached
16:42
24m
Talk
Isolates, Channels and Event Streams for Composable Distributed Programming
Onward! Papers
Aleksandar Prokopec EPFL, Martin Odersky EPFL, Switzerland
17:06
24m
Talk
A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Onward! Papers
Guillermo Polito Inria, Stéphane Ducasse INRIA, France, Noury Bouraqadi Mines Douai, Luc Fabresse Mines Douai

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 3-5

Onward! Essays

Session 2

Onward! Papers

Session the Second

Onward! Papers

Session the Third

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Station 3-5
Onward! Essays
Towards a Theory of Conceptual Design for Software
10:30 - 11:15
Onward! Essays
The Cuneiform Tablets of 2015
11:15 - 12:00
Onward! Papers
Just-in-Time Data Structures
13:30 - 13:52
Onward! Papers
Separation of Powers in the Cloud: Where Applications and Users Become ...
13:52 - 14:15
Onward! Papers
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Tra ...
14:15 - 14:37
Onward! Papers
Musiplectics: Computational Assessment of the Complexity of Music Scores
14:37 - 15:00
Onward! Papers
Toward tool support for interactive synthesis
15:30 - 15:54
Onward! Papers
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Ch ...
15:54 - 16:18
Onward! Papers
One Parser to Rule Them All
16:18 - 16:42
Onward! Papers
Isolates, Channels and Event Streams for Composable Distributed Programming
16:42 - 17:06
Onward! Papers
A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
17:06 - 17:30