ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Tue 7 Jul 2015 16:30 - 17:00 at Hluboka I - Session 3 Chair(s): Rosemary Monahan

Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Session 3FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
16:00
30m
Talk
Automatic Verification of Dafny Programs with Traits
FTfJP
Reza Ahmadi University of Tampere, K. Rustan M. Leino Microsoft Research, Jyrki Nummenmaa University of Tampere
16:30
30m
Talk
Conditional Effects in Fine-grained Region Logic
FTfJP
Yuyan Bao University of Central Florida, Gary Leavens Central Florida University, Gidon Ernst Augsburg University
17:00
30m
Talk
Regression Verification for Java Using a Secure Information Flow Calculus
FTfJP
Bernhard Beckert Karlsruhe Institute of Technology, Vladimir Klebanov Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology