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

Results (42)

B Yuyan BaoBao, Yuyan Pennsylvania State University, USAUnited States Committee Member in Program Committee within the FTfJP-track
Julia BelyakovaBelyakova, Julia Northeastern University, USARussia Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
James BornholtBornholt, James University of Texas at AustinUnited States Committee Member in Program Committee within the FTfJP-track
C Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the COP-track
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the COP-track
D Sadegh DalvandiDalvandi, Sadegh University of Surrey Towards Deductive Verification of C11 Programs with Event-B and ProB
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Steering Committee Member in Steering Commitee within the FTfJP-track
Cynthia DisenfeldDisenfeld, Cynthia University of Toronto Committee Member in Program Committee within the COP-track
Brijesh DongolDongol, Brijesh University of Surrey Towards Deductive Verification of C11 Programs with Event-B and ProB
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
E Gidon ErnstErnst, Gidon LMU MunichGermany Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
F Marie FarrellFarrell, Marie University of Liverpool Committee Member in Program Committee within the FTfJP-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the FTfJP-track
G Isaac Oscar GarianoGariano, Isaac Oscar CallƐ: An Effect System for Method Calls
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
H David H. LorenzH. Lorenz, David Technion—Israel Institute of Technology Committee Member in Program Committee within the COP-track
Robert HirschfeldHirschfeld, Robert Hasso-Plattner-Institut (HPI), GermanyGermany Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
J Bart JacobsJacobs, Bart KU LeuvenBelgium Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, Germany Committee Member in Program Committee within the FTfJP-track
K Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the COP-track
L Gary LeavensLeavens, Gary University of Central FloridaUnited States Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Commitee within the FTfJP-track
Martin LesterLester, Martin University of ReadingUnited Kingdom Analysis of MiniJava Programs via Translation to ML
Fangzhen LinLin, Fangzhen Translating Classes to First-Order Logic: An Example
David H. LorenzLorenz, David H. 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
M Mariana MarasoiuMarasoiu, Mariana University of Cambridge Committee Member in Program Committee within the COP-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
Rosemary MonahanMonahan, Rosemary National University of Ireland Chair in Steering Commitee within the FTfJP-track
Wojciech MostowskiMostowski, Wojciech Halmstad University Committee Member in Program Committee within the FTfJP-track
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
N James NobleNoble, James Victoria University of Wellington CallƐ: An Effect System for Method Calls
O Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Invited Talk - Building Trustworthy Software with CakeML
P Willem PenninckxPenninckx, Willem KU Leuven Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Committee Member in Program Committee within the COP-track
R Christine RizkallahRizkallah, Christine UNSW SydneyAustralia Committee Member in Program Committee within the FTfJP-track
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Invited Talk - JayHorn: A Java Model Checker
S Martin SchäfSchäf, Martin Amazon Web Services, USAUnited States Committee Member in Program Committee within the FTfJP-track
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand CallƐ: An Effect System for Method Calls
Alexander J. SummersSummers, Alexander J. ETH Zurich Steering Committee Member in Steering Commitee within the FTfJP-track
T Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Specifying I/O using Abstract Nested Hoare Triples in Separation Logic

FTfJP 2019 Contributors

Results (42)

Tracks

Workshops