FTfJP 2020 Contributors

Write a Blog >>

Mon 13 - Fri 17 July 2020 Online Conference

co-located with ECOOP 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (38)

A Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Programme Committee in Program Committee within the FTfJP-track
B Pietro BarbieriBarbieri, Pietro Università di Genova An inductive abstract semantics for coFJ
C Joanna C. S. SantosC. S. Santos, Joanna Rochester Institute of TechnologyUnited States Salsa: Static Analysis of Serialization Features
D Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly An inductive abstract semantics for coFJ
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University History-based Specification and Verification of Java Collections in KeY
Werner DietlDietl, Werner University of Waterloo Steering Committee Member in Steering Commitee within the FTfJP-track
E Nafise EskandaniEskandani, Nafise TU Darmstadt ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming
F Marie FarrellFarrell, Marie University of Liverpool Programme Committee in Program Committee within the FTfJP-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
G Isaac Oscar GarianoGariano, Isaac Oscar Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
H Paula HerberHerber, Paula University of Munster, GermanyGermany Programme Committee in Program Committee within the FTfJP-track
Hans-Dieter HiepHiep, Hans-Dieter History-based Specification and Verification of Java Collections in KeY
Michael HomerHomer, Michael Victoria University of Wellington Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Towards Verified Construction of Correct and Optimised GPU Software
J Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Reese JonesJones, Reese Salsa: Static Analysis of Serialization Features
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands Discourje: Runtime Verification of Communication Protocols in Clojure
K Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Programme Committee in Program Committee within the FTfJP-track
Mirko KöhlerKöhler, Mirko TU Darmstadt ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming
L Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Steering Commitee within the FTfJP-track
M Alessandro MargaraMargara, Alessandro Politecnico di Milano ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Salsa: Static Analysis of Serialization Features
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Steering Commitee within the FTfJP-track
N James NobleNoble, James Victoria University of WellingtonNew Zealand Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Programme Committee in Program Committee within the FTfJP-track
O Wytse OortwijnOortwijn, Wytse ETH Zurich, SwitzerlandNetherlands Chair in Organizing Committee within the FTfJP-track
P Violet Ka I PunPun, Violet Ka I Programme Committee in Program Committee within the FTfJP-track
R Tobias ReinhardReinhard, Tobias imec-DistriNet, KU Leuven, BelgiumBelgium A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
S Guido SalvaneschiSalvaneschi, Guido University of St. Gallen ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming
John L. SingletonSingleton, John L. Soar Technology, Inc.United States Programme Committee in Program Committee within the FTfJP-track
Alexander J. SummersSummers, Alexander J. University of British Columbia Prusti – Deductive Verification for Rust Steering Committee Member in Steering Commitee within the FTfJP-track
T Amin TimanyTimany, Amin Aarhus UniversityDenmark A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Programme Committee in Program Committee within the FTfJP-track
V Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the FTfJP-track
W Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Towards Verified Construction of Correct and Optimised GPU Software Programme Committee in Program Committee within the FTfJP-track
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Z Elena ZuccaZucca, Elena University of Genova An inductive abstract semantics for coFJ Programme Committee in Program Committee within the FTfJP-track