Onward! 2015
Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 28 Oct

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

13:30 - 15:00
Session the FirstOnward! Papers at Grand Station 2
Chair(s): Stéphane Ducasse INRIA, France
13:30
22m
Talk
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
22m
Talk
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
22m
Talk
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
22m
Talk
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
45m
Talk
Against a Universal Definition of Type
Onward! Essays
Tomas Petricek University of Cambridge, UK
DOI Media Attached
16:15
45m
Talk
The Cuban Software Revolution: 2016–2025
Onward! Essays
David M. West Transcendence, USA
DOI

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 Bodik 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

Fri 30 Oct

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

15:30 - 17:00
Session the FourthOnward! Papers at Grand Station 2
Chair(s): Gail Murphy University of British Columbia
15:30
22m
Talk
Columnar Objects: Improving the Performance of Analytical Applications
Onward! Papers
Toni Mattis Hasso Plattner Institute, Johannes Henning Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Malte Appeltauer SAP, Robert Hirschfeld HPI
DOI Media Attached
15:52
22m
Talk
Virtualization Support for Dynamic Core Library Update
Onward! Papers
Guillermo Polito Inria, Stéphane Ducasse INRIA, France, Noury Bouraqadi Mines Douai, Luc Fabresse Mines Douai, Max Mattone Inria - Mines Douai
Media Attached
16:15
22m
Talk
Towards a dynamic object model within Unix processes
Onward! Papers
Stephen Kell University of Cambridge
Link to publication Pre-print Media Attached
16:37
22m
Talk
Towards Fully Reflective Environments
Onward! Papers
Guido Chari Dept. of Computer Science FCEyN, University of Buenos Aires, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Stefan Marr INRIA, France, Stéphane Ducasse INRIA, France
Pre-print Media Attached