ECOOP 2015 (series) / FTfJP 2015 (series) /
FTfJP 2015 Program
This is the FTfJP 2015 program - see the full program for ECOOP 2015 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 7 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 7 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:05 - 10:15 | |||
10:05 10mDay opening | Opening FTfJP |
10:15 - 12:15 | |||
10:15 30mTalk | A three-valued type system for true positives detection in Java-like languages FTfJP | ||
10:45 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
12:15 20mOther | Why3 FTfJP Léon Gondelman LRI, Université Paris-Sud |
13:45 - 14:45 | |||
13:45 30mTalk | Provably Live Exception Handling FTfJP Bart Jacobs iMinds - Distrinet, KU Leuven | ||
14:15 30mTalk | 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 | |||
14:45 50mTalk | Verification of Concurrent Software: Java and OpenCL FTfJP Marieke Huisman University of Twente |
16:00 - 17:30 | |||
16:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
17:30 20mOther | Viper (Verification Infrastructure for Permission-based Reasoning) FTfJP Malte Schwerhoff ETH Zurich, Switzerland |
17:50 - 18:00 | |||
17:50 10mDay closing | Closing FTfJP |