FTfJP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (43)

A Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs Committee Member in Program Committee within the FTfJP-track
B Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany Incrementalizing Polynomial Functors
C Gianluca CaiazzaCaiazza, Gianluca Ca' Foscari University of VeniceItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Avik ChaudhuriChaudhuri, Avik Facebook, USA Committee Member in Program Committee within the FTfJP-track
D Luca Di StefanoDi Stefano, Luca Technische Universität WienAustria Session Chair of FTfJP Keynote (part of FTfJP) Session Chair of FTfJP Session 1 (part of FTfJP) PC Chair in Organizing Committee within the FTfJP-track
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Greta DolcettiDolcetti, Greta Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs
Claire DrossDross, Claire AdaCoreFrance Committee Member in Program Committee within the FTfJP-track
Giulio DusoDuso, Giulio University of Eastern PiedmontItaly Coeffects for MiniJava: Cf-Mj
E Madalina ErascuErascu, Madalina West University of TimisoaraRomania Committee Member in Program Committee within the FTfJP-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Abstract Interpretation of Java Bytecode in Sturdy
F Andrew FawcettFawcett, Andrew Victoria University of WellingtonNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
G Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Session Chair of FTfJP Session 2 (part of FTfJP) Coeffects for MiniJava: Cf-Mj
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Organizing Committee within the FTfJP-track
H Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design
I Omar InversoInverso, Omar Gran Sasso Science Institute Static Analysis for Software Security: Detecting Data Races in C
J Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany Committee Member in Program Committee within the FTfJP-track
L Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Organizing Committee within the FTfJP-track
Teodors LisovenkoLisovenko, Teodors Ca' Foscari University of VeniceItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Committee Member in Program Committee within the FTfJP-track
M Dara MacConvilleMacConville, Dara Maynooth UniversityIreland Session Chair of FTfJP Session 3 (part of FTfJP) Towards a model checker for Python: pymodcheck
Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTfJP-track
Stefan MarxMarx, Stefan Johannes Gutenberg-Universität MainzGermany Abstract Interpretation of Java Bytecode in Sturdy
Saverio Mattia MerendaMerenda, Saverio Mattia University of Parma, ItalyItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Incrementalizing Polynomial Functors
Rosemary MonahanMonahan, Rosemary Ireland Towards a model checker for Python: pymodcheck
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Organizing Committee within the FTfJP-track
N Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA Towards a Sound Construction of EVM Bytecode Control-flow Graphs
James NobleNoble, James Independent. Wellington, NZNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Disjoint Polymorphism with Intersection and Union Types
Luca OlivieriOlivieri, Luca University Ca' Foscari, VeniceItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs
R Henrique RebeloRebelo, Henrique Universidade Federal de PernambucoBrazil Committee Member in Program Committee within the FTfJP-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Disjoint Polymorphism with Intersection and Union Types
David RichterRichter, David Technical University of DarmstadtGermany Incrementalizing Polynomial Functors
S Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Organizing Committee within the FTfJP-track
T Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of Oslo, Norway Committee Member in Program Committee within the FTfJP-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States Committee Member in Program Committee within the FTfJP-track
W Ruffin WhiteWhite, Ruffin White RoboticsUnited States Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Dafny vs. Dala: Experience with Mechanising Language Design
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs
Giacomo ZanattaZanatta, Giacomo Ca’ Foscari University of VeniceItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA