FTfJP 2025 Contributors

Mon 30 June - Fri 4 July 2025 Bergen, Norway

co-located with ECOOP 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (30)

A Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Towards an Axiomitisation of Solidity Memory and Storage
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Gradual Verification: Assuring Software Incrementally
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Session Chair of Session 2 (part of FTfJP)
B Richard BubelBubel, Richard Technische Universität DarmstadtGermany Towards an Axiomitisation of Solidity Memory and Storage PC Member in Program Committee within the FTfJP-track
Syed Ali Asadullah BukhariBukhari, Syed Ali Asadullah Maynooth UniversityIreland PC Member in Program Committee within the FTfJP-track
Andrew ButterfieldButterfield, Andrew Trinity College DublinIreland Session Chair of Keynote (part of FTfJP) Towards a Unifying Semantics Playground
D Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Steering Committee within the FTfJP-track
Crystal Chang DinDin, Crystal Chang University of BergenNorway PC Chair in Program Committee within the FTfJP-track
Claire DrossDross, Claire AdaCoreFrance PC Member in Program Committee within the FTfJP-track
E Erik ErnstErnst, Erik Google Inc.Denmark PC Member in Program Committee within the FTfJP-track
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the FTfJP-track
Justus FasseFasse, Justus Université Grenoble-Alpes; KU Leuven An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland PC Member in Program Committee within the FTfJP-track
G Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
H Guilherme Horta Alvares Da SilvaHorta Alvares Da Silva, Guilherme Chalmers University of Technology and University of GothenburgSweden Towards an Axiomitisation of Solidity Memory and Storage
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in Program Committee within the FTfJP-track
J Bart JacobsJacobs, Bart DistriNet, Dept. CS, KU LeuvenBelgium An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the FTfJP-track
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States PC Member in Program Committee within the FTfJP-track
L Songyan LaiLai, Songyan Department of Computer Science, Maynooth UniversityIreland From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Steering Committee within the FTfJP-track
Matthew LutzeLutze, Matthew Aarhus University PC Member in Program Committee within the FTfJP-track
M Rosemary MonahanMonahan, Rosemary Department of Computer Science & Hamilton Institute, Maynooth UniversityIreland Session Chair of Keynote (part of FTfJP) Session Chair of (part of FTfJP) Session Chair of Session 1 (part of FTfJP) From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST Steering Committee Chair in Steering Committee within the FTfJP-track
Wojciech MostowskiMostowski, Wojciech Halmstad University PC Member in Program Committee within the FTfJP-track
O Wytse OortwijnOortwijn, Wytse TNO-ESINetherlands PC Member in Program Committee within the FTfJP-track
P Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway PC Member in Program Committee within the FTfJP-track
S Pavle SuboticSubotic, Pavle Microsoft AzureSerbia Formal model guided conformance testing for blockchains (joint keynote, location: M207)
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Steering Committee within the FTfJP-track
W Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands PC Member in Program Committee within the FTfJP-track
Z Elena ZuccaZucca, Elena University of GenoaItaly PC Member in Program Committee within the FTfJP-track