ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 7 Jul

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

10:05 - 10:15
WelcomeFTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
10:05
10m
Day opening
Opening
FTfJP

10:15 - 12:15
Session 1FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
10:15
30m
Talk
A three-valued type system for true positives detection in Java-like languages
FTfJP
Davide Ancona University of Genova, Federico Frassetto
10:45
30m
Talk
Imperative Objects with Dependent Types
FTfJP
Joana Campos Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos Lasige / Faculty of Sciences, Universidade de Lisboa
11:15
30m
Talk
Foo: A minimal Modern OO Calculus
FTfJP
Prodromos Gerakios National Technical University of Athens, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens
11:45
30m
Talk
Delegation vs Inheritance for Typestate Analysis
FTfJP
Du Li Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
12:15 - 12:35
Tool Demonstration 1FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
12:15
20m
Other
Why3
FTfJP
Léon Gondelman LRI, Université Paris-Sud
13:45 - 14:45
Session 2FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne Kandziora University of Twente, Marieke Huisman University of Twente, Christoph Bockisch University of Twente, Marina Zaharieva-Stojanovski University of Twente
14:45 - 15:35
Invited TalkFTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
14:45
50m
Talk
Verification of Concurrent Software: Java and OpenCL
FTfJP
Marieke Huisman University of Twente
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 T. 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
17:30 - 17:50
Tool Demonstration 2FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
17:30
20m
Other
Viper (Verification Infrastructure for Permission-based Reasoning)
FTfJP
Malte Schwerhoff ETH Zurich, Switzerland
17:50 - 18:00
ClosingFTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
17:50
10m
Day closing
Closing
FTfJP