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

Tue 7 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30: Session 3FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
16:00 - 16:30
Automatic Verification of Dafny Programs with Traits
Reza AhmadiUniversity of Tampere, K. Rustan M. LeinoMicrosoft Research, Jyrki NummenmaaUniversity of Tampere
16:30 - 17:00
Conditional Effects in Fine-grained Region Logic
Yuyan BaoUniversity of Central Florida, Gary LeavensCentral Florida University, Gidon ErnstAugsburg University
17:00 - 17:30
Regression Verification for Java Using a Secure Information Flow Calculus
Bernhard BeckertKarlsruhe Institute of Technology, Vladimir KlebanovKarlsruhe Institute of Technology, Mattias UlbrichKarlsruhe Institute of Technology