SPLASH 2015 (series) / Onward! 2015 (series) /
Onward! 2015 Program
This is the Onward! 2015 program - see the full program for SPLASH 2015 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 22mTalk | Towards Secure Integration of Cryptographic Software Onward! Papers Steven Arzt TU Darmstadt, Sarah Nadi Technische Universität Darmstadt, Karim Ali TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Eric Bodden Fraunhofer SIT and TU Darmstadt, Mira Mezini TU Darmstadt Link to publication DOI Media Attached | ||
13:52 22mTalk | Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback Onward! Papers Jürgen Cito University of Zurich, Philipp Leitner University of Zurich, Harald Gall University of Zurich, Aryan Dadashi SAP, Anne Keller SAP, Andreas Roth SAP Pre-print Media Attached | ||
14:15 22mTalk | Constraints as a Design Pattern Onward! Papers Hesam Samimi SAP Labs, Alessandro Warth SAP Labs, Mahdi Eslamimehr SAP Labs, Alan Borning University of Washington, USA | ||
14:37 22mTalk | The Moldable Inspector Onward! Papers Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland, Aliaksei Syrel University of Bern, Switzerland DOI Pre-print Media Attached | ||
15:30 - 17:00 | Session 1Onward! Essays at Grand Station 2 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research | ||
15:30 45mTalk | Against a Universal Definition of Type Onward! Essays Tomas Petricek University of Cambridge, UK DOI Media Attached | ||
16:15 45mTalk | The Cuban Software Revolution: 2016–2025 Onward! Essays David M. West Transcendence, USA DOI | ||
Thu 29 OctDisplayed time zone: Eastern Time (US & Canada) change
Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 12:00 | |||
10:30 45mTalk | Towards a Theory of Conceptual Design for Software Onward! Essays Daniel Jackson Massachusetts Institute of Technology, USA DOI | ||
11:15 45mTalk | 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 | |||
13:30 22mTalk | 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 22mTalk | Separation of Powers in the Cloud: Where Applications and Users Become Peers Onward! Papers Media Attached | ||
14:15 22mTalk | 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 22mTalk | Musiplectics: Computational Assessment of the Complexity of Music Scores Onward! Papers | ||
15:30 - 17:30 | |||
15:30 24mTalk | 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 24mTalk | 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 24mTalk | One Parser to Rule Them All Onward! Papers Link to publication DOI Pre-print Media Attached | ||
16:42 24mTalk | Isolates, Channels and Event Streams for Composable Distributed Programming Onward! Papers | ||
17:06 24mTalk | 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 | ||
Fri 30 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change