Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session the FirstOnward! Papers at Salon A
Chair(s): Sebastian Erdweg TU Darmstadt
10:30
22m
Talk
Programming with Managed Time
Onward! Papers
Sean McDirmid Microsoft Research, Jonathan Edwards MIT, USA
10:52
23m
Talk
Call by Meaning
Onward! Papers
Hesam Samimi SAP Labs, Chris Deaton Cycorp, Yoshiki Ohshima Viewpoints Research Institute, Alessandro Warth SAP Labs, Todd Millstein University of California, Los Angeles
11:15
22m
Talk
Versionable, Branchable, and Mergeable Application State
Onward! Papers
David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa
11:37
23m
Talk
The Semantics of Version Control
Onward! Papers
Wouter Swierstra University of Utrecht, Andres Löh Well-Typed LLP
13:30 - 15:00
Session 1Onward! Essays at Salon A
Chair(s): Jonathan Aldrich Carnegie Mellon University
13:30
45m
Talk
In search of types
Onward! Essays
Stephen Kell University of Cambridge
14:15
45m
Talk
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
Onward! Essays
Mathieu Acher University of Rennes, Benoit Combemale University of Rennes, Philippe Collet University of Nice
Media Attached

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session the SecondOnward! Papers at Salon A
Chair(s): Gail Murphy University of British Columbia
10:30
22m
Talk
Multi-tier Functional Reactive Programming for the Web
Onward! Papers
Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds - Distrinet, KU Leuven
10:52
22m
Talk
Towards Tierless Programming in a General-Purpose Language
Onward! Papers
Laure Philips Software Languages Lab, Coen De Roover Software Languages Lab, Software Engineering Laboratory, Tom Van Cutsem Alcatel-Lucent Bell Labs, Wolfgang De Meuter Vrije Universiteit Brussel
11:15
22m
Talk
Capturing and Exploiting IDE Interactions
Onward! Papers
Zhongxian Gu UC Davis, Drew Schleck UC Davis, Earl T. Barr University College London, Zhendong Su University of California, Davis
11:37
22m
Talk
A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Onward! Papers
Eelco Visser Delft University of Technology, Guido Wachsmuth Delft University of Technology, Andrew Tolmach Portland State University, Pierre Neron TU Delft, Vlad Vergu TU Delft, Augusto Passalaqua TU Delft, Gabriël Konat Delft University of Technology
Media Attached
13:30 - 15:00
Session 2Onward! Essays at Salon A
Chair(s): Bernd Bruegge Technische Universität München
13:30
45m
Talk
Coverage and Its Discontents
Onward! Essays
Alex Groce Oregon State University, Amin Alipour Oregon State University, Rahul Gopinath Oregon State University
14:15
45m
Talk
Getting to Flow in Software Development
Onward! Essays
Gail Murphy University of British Columbia
15:30 - 17:00
Session the ThirdOnward! Papers at Salon A
Chair(s): Shriram Krishnamurthi Brown University
15:30
22m
Talk
Korz: Simple, Symmetric, Subjective,
 Context-Oriented Programming
Onward! Papers
David Ungar IBM Research, Harold Ossher IBM Research, Doug Kimelman IBM Research
15:52
22m
Talk
Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages
Onward! Papers
Boris Spasojevic University of Bern, Switzerland, Mircea Lungu University of Bern, Switzerland, Oscar Nierstrasz University of Bern, Switzerland
DOI Pre-print
16:15
22m
Talk
Description Logic as Programming Language
Onward! Papers
James Skene Auckland University of Technology
16:37
22m
Talk
It's only illegal if you get caught
Onward! Papers
Raphaël Proust University of Cambridge, Alan Mycroft University of Cambridge

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session the FourthOnward! Papers at Salon A
Chair(s): Emery D. Berger University of Massachusetts, Amherst
10:30
22m
Talk
Phrase-Based Statistical Translation of Programming Languages
Onward! Papers
Svetoslav Karaivanov ETH Zurich, Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich
10:52
22m
Talk
Interleaving of Modification and Use in Data-driven Tool Development
Onward! Papers
Marcel Taeumel Hasso Plattner Institute, Michael Perscheid Hasso Plattner Institute, Bastian Steinert Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
11:15
22m
Talk
Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages
Onward! Papers
Stéphane Conversy University of Toulouse - ENAC
11:37
22m
Talk
Variational Data Structures: Exploring Tradeoffs in Computing with Variability
Onward! Papers
Eric Walkingshaw University of Marburg, Christian Kästner Carnegie Mellon University, Martin Erwig Oregon State University, Sven Apel University of Passau, Eric Bodden Fraunhofer SIT and TU Darmstadt
13:30 - 15:00
Session 3Onward! Essays at Salon A
Chair(s): Bruce Horn Intel Corporation
13:30
45m
Talk
The Programming Language Wars
Onward! Essays
Andreas Stefik University of Nevada, Las Vegas , Stefan Hanenberg University of Duisburg-Essen
14:15
45m
Talk
I Throw Itching Powder at Tulips
Onward! Essays
Richard P. Gabriel IBM Research, USA