FTfJP 2015 Contributors

Tue 7 Jul 2015 Prague, Czech Republic

co-located with ECOOP 2015

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Reza AhmadiAhmadi, Reza University of TampereIran Automatic Verification of Dafny Programs with Traits
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Delegation vs Inheritance for Typestate Analysis
Davide AnconaAncona, Davide University of Genova A three-valued type system for true positives detection in Java-like languages
Truong Anh HoangAnh Hoang, Truong Vietnam National UniversityVietnam Committee Member in Program committee within the FTfJP -track
B Yuyan BaoBao, Yuyan University of Central Florida Conditional Effects in Fine-grained Region Logic
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology Regression Verification for Java Using a Secure Information Flow Calculus
Christoph BockischBockisch, Christoph University of Twente Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
C Joana CamposCampos, Joana Lasige / Faculty of Sciences, Universidade de Lisboa Imperative Objects with Dependent Types
Dave ClarkeClarke, Dave Uppsala University, Sweden and KU Leuven, BelgiumAustralia Committee Member in Program committee within the FTfJP -track
D Werner DietlDietl, Werner University of Waterloo Committee Member in Steering Committee within the FTfJP -track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonGreece Committee Member in Steering Committee within the FTfJP -track
E Gidon ErnstErnst, Gidon Augsburg University Conditional Effects in Fine-grained Region Logic
F Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRS, Paris, FranceFrance Committee Member in Program committee within the FTfJP -track
George FourtounisFourtounis, George University of Athens Foo: A minimal Modern OO Calculus
Federico FrassettoFrassetto, Federico A three-valued type system for true positives detection in Java-like languages
G Prodromos GerakiosGerakios, Prodromos National Technical University of Athens Foo: A minimal Modern OO Calculus
Léon GondelmanGondelman, Léon LRI, Université Paris-Sud Why3
H Marieke HuismanHuisman, Marieke University of Twente Verification of Concurrent Software: Java and OpenCL Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML Committee Member in Program committee within the FTfJP -track
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Committee Member in Program committee within the FTfJP -track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Committee Member in Program committee within the FTfJP -track
J Bart JacobsJacobs, Bart iMinds - Distrinet, KU LeuvenBelgium Provably Live Exception Handling
K Jorne KandzioraKandziora, Jorne University of Twente Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
Vladimir KlebanovKlebanov, Vladimir Karlsruhe Institute of Technology Regression Verification for Java Using a Secure Information Flow Calculus
L Gary T. LeavensLeavens, Gary T. Central Florida UniversityUnited States Conditional Effects in Fine-grained Region Logic Committee Member in Steering Committee within the FTfJP -track
K. Rustan M. LeinoLeino, K. Rustan M. Microsoft Research Automatic Verification of Dafny Programs with Traits Committee Member in Steering Committee within the FTfJP -track
Du LiLi, Du Carnegie Mellon University Delegation vs Inheritance for Typestate Analysis
M Rosemary MonahanMonahan, Rosemary Maynooth UniversityIreland Session Chair of Closing (part of FTfJP ) Session Chair of Session 3 (part of FTfJP ) Session Chair of Welcome (part of FTfJP ) Session Chair of Invited Talk (part of FTfJP ) Session Chair of Tool Demonstration 2 (part of FTfJP ) Session Chair of Tool Demonstration 1 (part of FTfJP ) Session Chair of Session 1 (part of FTfJP ) Session Chair of Session 2 (part of FTfJP ) Chair in Program committee within the FTfJP -track
Peter MüllerMüller, Peter ETH Zurich Committee Member in Steering Committee within the FTfJP -track
N Jyrki NummenmaaNummenmaa, Jyrki University of Tampere Automatic Verification of Dafny Programs with Traits
P Ruzica PiskacPiskac, Ruzica Yale University Committee Member in Program committee within the FTfJP -track
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USARussia Committee Member in Program committee within the FTfJP -track
Erik PollPoll, Erik Radboud University NijmegenNetherlands Committee Member in Steering Committee within the FTfJP -track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Delegation vs Inheritance for Typestate Analysis
S Malte SchwerhoffSchwerhoff, Malte ETH Zurich, Switzerland Viper (Verification Infrastructure for Permission-based Reasoning)
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Foo: A minimal Modern OO Calculus
Alexander J. SummersSummers, Alexander J. ETH ZurichUnited Kingdom Committee Member in Program committee within the FTfJP -track
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of Technology Regression Verification for Java Using a Secure Information Flow Calculus
V Vasco T. VasconcelosVasconcelos, Vasco T. Lasige / Faculty of Sciences, Universidade de Lisboa Imperative Objects with Dependent Types
Z Marina Zaharieva-StojanovskiZaharieva-Stojanovski, Marina University of Twente Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
Elena ZuccaZucca, Elena University of GenovaItaly Committee Member in Program committee within the FTfJP -track