FTfJP 2017 Contributors -

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with ECOOP 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (38)

A Moez A. AbdelGawadAbdelGawad, Moez A. Informatics Research Institute, SRTA-City, Alexandria, Egypt Towards a Java Subtyping Operad
Nada AminAmin, Nada EPFLSwitzerland Committee Member in Program Committee within the FTfJP-track
Moussa AmraniAmrani, Moussa University of Namur Formal Analysis of Object-Oriented Mograms
Davide AnconaAncona, Davide University of GenovaItaly Parametric trace expressions for runtime verification of Java-like programs
Irina AsavoaeAsavoae, Irina INRIA, Paris, France Software Model Checking: A Promising Approach to Verify Mobile App Security
B Youssef El BakounyBakouny, Youssef El CIMTI - ESIB - Saint-Joseph University - Beirut, LebanonLebanon A Coq-based synthesis of Scala programs which are correct-by-construction
Alexandre BartelBartel, Alexandre University of Luxembourg Committee Member in Program Committee within the FTfJP-track
Julia BelyakovaBelyakova, Julia Southern Federal UniversityRussia Generic Approach to Certified Static Checking of Module-like Constructs
Martin BergerBerger, Martin Session Chair of C (part of FTfJP)
Sam BlackshearBlackshear, Sam FacebookUnited States Committee Member in Program Committee within the FTfJP-track
C Tristan CrolardCrolard, Tristan CEDRIC - CNAM - Paris, France A Coq-based synthesis of Scala programs which are correct-by-construction
D Derek DreyerDreyer, Derek MPI-SWS Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
F Angelo FerrandoFerrando, Angelo Parametric trace expressions for runtime verification of Java-like programs
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Correctness of Partial Escape Analysis for Multithreading Optimization
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly Parametric trace expressions for runtime verification of Java-like programs
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Correctness of Partial Escape Analysis for Multithreading Optimization
G Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Tracing sharing in an imperative pure calculus
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Session Chair of D (part of FTfJP) Session Chair of A (part of FTfJP) Chair in Program Committee within the FTfJP-track
J Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Committee Member in Program Committee within the FTfJP-track
L Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Mutable WadlerFest DOT
M Alessandro MargaraMargara, Alessandro Politecnico di MilanoItaly Consistency Types for Safe and Efficient Distributed Programming
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Parametric trace expressions for runtime verification of Java-like programs
Dani MezherMezher, Dani CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon A Coq-based synthesis of Scala programs which are correct-by-construction
N Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Session Chair of B (part of FTfJP)
Hoang Nga NguyenNga Nguyen, Hoang Coventry University, Coventry, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
James NobleNoble, James Victoria University of Wellington Committee Member in Program Committee within the FTfJP-track
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Committee Member in Program Committee within the FTfJP-track
R Marianna RapoportRapoport, Marianna University of WaterlooCanada Mutable WadlerFest DOT
Aseem RastogiRastogi, Aseem Microsoft Research, n.n.India Committee Member in Program Committee within the FTfJP-track
Dustin RhodesRhodes, Dustin Correctness of Partial Escape Analysis for Multithreading Optimization
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
S Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Consistency Types for Safe and Efficient Distributed Programming
Pierre Yves SchobbensSchobbens, Pierre Yves University of Namur Formal Analysis of Object-Oriented Mograms
Bernhard ScholzScholz, Bernhard The University of Sydney Committee Member in Program Committee within the FTfJP-track
Malte SchwerhoffSchwerhoff, Malte ETH Zurich, SwitzerlandSwitzerland Committee Member in Program Committee within the FTfJP-track
Marco ServettoServetto, Marco Victoria University of Wellington Tracing sharing in an imperative pure calculus
Siraj Ahmed ShaikhShaikh, Siraj Ahmed Coventry University, Coventry, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
Z Elena ZuccaZucca, Elena University of Genova Tracing sharing in an imperative pure calculus