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

As software becomes increasingly complex, software configuration management is becoming ever more important. This paper shows how logics for reasoning about mutable state, such as separation logic, can also be used to give semantics for version control systems. By applying these ideas from the programming language research community, developers may reason formally about the broader software development process.

Wed 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Session the FirstOnward! Papers at Salon A
Chair(s): Sebastian ErdwegTU Darmstadt
10:30 - 10:52
Talk
Onward! Papers
Sean McDirmidMicrosoft Research, Jonathan EdwardsMIT, USA
10:52 - 11:15
Talk
Onward! Papers
Hesam SamimiSAP Labs, Chris DeatonCycorp, Yoshiki OhshimaViewpoints Research Institute, Alessandro WarthSAP Labs, Todd MillsteinUniversity of California, Los Angeles
11:15 - 11:37
Talk
Onward! Papers
David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa
11:37 - 12:00
Talk
Onward! Papers
Wouter SwierstraUniversity of Utrecht, Andres LöhWell-Typed LLP