FTfJP 2019 Contributors

Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom

co-located with ECOOP 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (42)

Yuyan Bao Pennsylvania State University, USA United States Committee Member in Program Committee within the FTfJP-track
Julia Belyakova Northeastern University, USA Russia Author of Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions within the FTfJP 2019-track in FTfJP 2019
Walter Binder University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
James Bornholt University of Texas at Austin United States Committee Member in Program Committee within the FTfJP-track
Walter Cazzola Università degli Studi di Milano Italy Committee Member in Program Committee within the COP-track
Shigeru Chiba University of Tokyo, Japan Japan Committee Member in Program Committee within the COP-track
Sadegh Dalvandi University of Surrey Author of Towards Deductive Verification of C11 Programs with Event-B and ProB within the FTfJP 2019-track in FTfJP 2019
Werner Dietl University of Waterloo, Canada Canada Steering Committee Member in Steering Commitee within the FTfJP-track
Cynthia Disenfeld University of Toronto Committee Member in Program Committee within the COP-track
Brijesh Dongol University of Surrey Author of Towards Deductive Verification of C11 Programs with Event-B and ProB within the FTfJP 2019-track in FTfJP 2019
Benoît Duhoux Université catholique de Louvain, Belgium Belgium Committee Member in Program Committee within the COP-track
Gidon Ernst LMU Munich Germany Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
Marie Farrell University of Liverpool Committee Member in Program Committee within the FTfJP-track
Carlo A. Furia Università della Svizzera italiana (USI) Switzerland Committee Member in Program Committee within the FTfJP-track
Isaac Oscar Gariano Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track in FTfJP 2019
Radu Grigore University of Kent United Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
David H. Lorenz Technion—Israel Institute of Technology Committee Member in Program Committee within the COP-track
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Atsushi Igarashi Kyoto University, Japan Japan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Bart Jacobs KU Leuven Belgium Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track in FTfJP 2019
Marie-Christine Jakobs TU Darmstadt, Germany Committee Member in Program Committee within the FTfJP-track
Tetsuo Kamina Oita University Japan Committee Member in Program Committee within the COP-track
Gary Leavens University of Central Florida United States Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Commitee within the FTfJP-track
Martin Lester University of Reading United Kingdom Author of Analysis of MiniJava Programs via Translation to ML within the FTfJP 2019-track in FTfJP 2019
Fangzhen Lin Author of Translating Classes to First-Order Logic: An Example within the FTfJP 2019-track in FTfJP 2019
David H. Lorenz Open University and Technion IIT Session Chair of Research Papers (part of COP) Session Chair of Research Papers (part of COP) Contact Organizer in Organizing Committee within the COP-track Chair in Program Committee within the COP-track
Mariana Marasoiu University of Cambridge Committee Member in Program Committee within the COP-track
Hidehiko Masuhara Tokyo Institute of Technology Japan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Kim Mens Université Catholique de Louvain, Belgium Belgium Committee Member in Program Committee within the COP-track
Rosemary Monahan National University of Ireland Chair in Steering Commitee within the FTfJP-track
Wojciech Mostowski Halmstad University Committee Member in Program Committee within the FTfJP-track
Toby Murray University of Melbourne, Australia Australia Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
James Noble Victoria University of Wellington Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track in FTfJP 2019
Scott Owens University of Kent, UK United Kingdom Invited speaker of Invited Talk - Building Trustworthy Software with CakeML within the FTfJP 2019-track in FTfJP 2019
Willem Penninckx KU Leuven Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track in FTfJP 2019
Roly Perera Alan Turing Institute United Kingdom Committee Member in Program Committee within the COP-track
Christine Rizkallah UNSW Sydney Australia Committee Member in Program Committee within the FTfJP-track
Philipp Ruemmer Uppsala University Sweden Invited speaker of Invited Talk - JayHorn: A Java Model Checker within the FTfJP 2019-track in FTfJP 2019
Martin Schäf Amazon Web Services, USA United States Committee Member in Program Committee within the FTfJP-track
Marco Servetto Victoria University Wellington, New Zealand Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track in FTfJP 2019
Alexander J. Summers ETH Zurich Steering Committee Member in Steering Commitee within the FTfJP-track
Amin Timany imec-Distrinet KU-Leuven Belgium Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track in FTfJP 2019

FTfJP 2019 Contributors

Results (42)

Tracks

Co-hosted Workshops