Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Wed 22 Oct 2014 11:15 - 11:37 at Salon A - Session the First Chair(s): Sebastian Erdweg

NoSQL databases are rapidly becoming the storage of choice for Web applications intended to scale. However, they trade consistency for availability. In this paper, we regain control over this trade-off by adapting an existing approach to application state, namely version control. To demonstrate that version control is applicable to the state of large-scale applications, we describe VerCASt, a version control system designed for application state and uses existing NoSQL databases to leverage their ability to store large amounts of data efficiently.

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