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

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