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: (GMT) Azores change

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