ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Tue 14 Apr 2015 15:00 - 15:30 at Skeel - Session 2 Chair(s): Gavin Bierman

We present a sound verification approach for verifying input/output properties of programs. Our approach supports defining high-level I/O actions on top of low-level ones (compositionality), defining input/output actions without taking into account which other actions exist (modularity), and other features.

Tue 14 Apr
Times are displayed in time zone: Azores change

14:00 - 16:00: Session 2ESOP at Skeel
Chair(s): Gavin BiermanOracle Labs
14:00 - 14:30
Talk
ESOP
Pavol CernyUniversity of Colorado Boulder, Thomas A. HenzingerIST Austria, Laura KovacsChalmers University of Technology, Arjun RadhakrishnaMicrosoft, Jakob ZwirchmayrIRIT Toulouse
14:30 - 15:00
Talk
ESOP
Jan HoffmannYale University, Zhong ShaoYale University
15:00 - 15:30
Talk
ESOP
Willem PenninckxKU Leuven, Bart JacobsiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
15:30 - 16:00
Talk
ESOP
Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford