Program - Onward! 2015

Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

co-located with SPLASH 2015

Filter

Wed 28 Oct

13:30 - 15:00: Onward! Papers - Session the First at Grand Station 2
Chair(s): Stéphane Ducasse

13:30 - 13:52
Talk

Towards Secure Integration of Cryptographic Software

Steven Arzt, Sarah Nadi, Karim Ali, Sebastian Erdweg, Eric Bodden, Mira Mezini

Link to publication DOI Media Attached

13:52 - 14:15
Talk

Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback

Jürgen Cito, Philipp Leitner, Harald Gall, Aryan Dadashi, Anne Keller, Andreas Roth

Pre-print Media Attached

14:15 - 14:37
Talk

Constraints as a Design Pattern

Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, Alan Borning

14:37 - 15:00
Talk

The Moldable Inspector

Andrei Chiş, Tudor Gîrba, Oscar Nierstrasz, Aliaksei Syrel

DOI Pre-print Media Attached

15:30 - 17:00: Onward! Essays - Session 1 at Grand Station 2
Chair(s): Richard P. Gabriel

15:30 - 16:15
Talk

Against a Universal Definition of Type

DOI Media Attached

16:15 - 17:00
Talk

The Cuban Software Revolution: 2016–2025

Thu 29 Oct

10:30 - 12:00: Onward! Essays - Session 2 at Grand Station 3-5
Chair(s): Stephen Kell

10:30 - 11:15
Talk

Towards a Theory of Conceptual Design for Software

11:15 - 12:00
Talk

The Cuneiform Tablets of 2015

Long Tien Nguyen, Alan Kay

13:30 - 15:00: Onward! Papers - Session the Second at Grand Station 3-5
Chair(s): Karim Ali

13:30 - 13:52
Talk

Just-in-Time Data Structures

Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer Sartor, Wolfgang De Meuter

Link to publication DOI

13:52 - 14:15
Talk

Separation of Powers in the Cloud: Where Applications and Users Become Peers

David H. Lorenz, Boaz Rosenan

14:15 - 14:37
Talk

Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations

Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi

14:37 - 15:00
Talk

Musiplectics: Computational Assessment of the Complexity of Music Scores

Ethan Holder, Eli Tilevich, Amy Gillick

15:30 - 17:30: Onward! Papers - Session the Third at Grand Station 3-5
Chair(s): Lindsey Kuper

15:30 - 15:54
Talk

Toward tool support for interactive synthesis

Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, David Culler

15:54 - 16:18
Talk

Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers

Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini

Link to publication

16:18 - 16:42
Talk

One Parser to Rule Them All

Ali Afroozeh, Anastasia Izmaylova

Link to publication DOI Pre-print Media Attached

16:42 - 17:06
Talk

Isolates, Channels and Event Streams for Composable Distributed Programming

Aleksandar Prokopec, Martin Odersky

17:06 - 17:30
Talk

A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages

Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse

Fri 30 Oct

15:30 - 17:00: Onward! Papers - Session the Fourth at Grand Station 2
Chair(s): Gail Murphy

15:30 - 15:52
Talk

Columnar Objects: Improving the Performance of Analytical Applications

Toni Mattis, Johannes Henning, Patrick Rein, Malte Appeltauer, Robert Hirschfeld

DOI Media Attached

15:52 - 16:15
Talk

Virtualization Support for Dynamic Core Library Update

Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, Max Mattone

16:15 - 16:37
Talk

Towards a dynamic object model within Unix processes

Link to publication Pre-print Media Attached

16:37 - 17:00
Talk

Towards Fully Reflective Environments

Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse

Pre-print Media Attached

Wed 28 Oct 2015


Room	13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Station 2							Onward! Papers Session the First 13:30 - 15:00																								Onward! Essays Session 1 15:30 - 17:00

Thu 29 Oct 2015


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Station 3-5							Onward! Essays Session 2 10:30 - 12:00																																				Onward! Papers Session the Second 13:30 - 15:00																								Onward! Papers Session the Third 15:30 - 17:30

Fri 30 Oct 2015


Room	15:00						30						16:00						30						17:00						30
Grand Station 2							Onward! Papers Session the Fourth 15:30 - 17:00

Wed 28 Oct 2015


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Station 2							Onward! 2015 Onward! Papers Towards Secure Integration of Cryptographic Software 13:30 - 13:52				Onward! 2015 Onward! Papers Runtime Metric Meets Developer - Building Better Cloud Applications Usi ... 13:52 - 14:15					Onward! 2015 Onward! Papers Constraints as a Design Pattern 14:15 - 14:37				Onward! 2015 Onward! Papers The Moldable Inspector 14:37 - 15:00											Onward! 2015 Onward! Essays Against a Universal Definition of Type 15:30 - 16:15									Onward! 2015 Onward! Essays The Cuban Software Revolution: 2016–2025 16:15 - 17:00

Thu 29 Oct 2015


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

Fri 30 Oct 2015


Room	15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Station 2							Onward! 2015 Onward! Papers Columnar Objects: Improving the Performance of Analytical Applications 15:30 - 15:52				Onward! 2015 Onward! Papers Virtualization Support for Dynamic Core Library Update 15:52 - 16:15					Onward! 2015 Onward! Papers Towards a dynamic object model within Unix processes 16:15 - 16:37				Onward! 2015 Onward! Papers Towards Fully Reflective Environments 16:37 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format