FTfJP 2022 Contributors

Mon 6 - Fri 10 June 2022 Berlin, Germany

co-located with ECOOP 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (32)

A Gianluca AmatoAmato, Gianluca University of Chieti-PescaraItaly On the need for a common API for abstract domains of object-oriented programs
B Yuyan BaoBao, Yuyan University of WaterlooCanada Committee Member in Program Committee within the FTfJP-track
Eric BoddenBodden, Eric University of Paderborn; Fraunhofer IEMGermany Challenges in the field-sensitive analysis of LLVM IR
C Maria Chiara MeoChiara Meo, Maria University “G. d’Annunzio” of Chieti-PescaraItaly On the need for a common API for abstract domains of object-oriented programs
David CokCok, David Safer Software Consulting, LLC Documentation and Educational Materials for a 2nd edition of the Java Modeling Language Automated Reasoning Repair Committee Member in Program Committee within the FTfJP-track
D Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium A Graph-Based Formal Semantics of Reactive Programming from First Principles
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium A Graph-Based Formal Semantics of Reactive Programming from First Principles
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Steering Committee within the FTfJP-track
E Erik ErnstErnst, Erik Google Inc.Denmark Committee 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 Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Using Functional Reactive Programming to Define Safe Actor Systems
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the FTfJP-track
K Nikolai KudasovKudasov, Nikolai Innopolis University, RussiaRussia Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
L Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Session Chair of FTfJP 2022 A (part of FTfJP) Automated Reasoning Repair Steering Committee Member in Steering Committee within the FTfJP-track
M Julian MackayMackay, Julian Victoria University of Wellington Rusty Links in Local Chains
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Steering Committee within the FTfJP-track
N Amirfarhad NilizadehNilizadeh, Amirfarhad University of Central FloridaUnited States Automated Reasoning Repair
James NobleNoble, James Creative Research & ProgrammingNew Zealand Rusty Links in Local Chains Committee Member in Program Committee within the FTfJP-track
O Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium A Graph-Based Formal Semantics of Reactive Programming from First Principles
P Violet Ka I PunPun, Violet Ka I Committee Member in Program Committee within the FTfJP-track
R Henrique RebeloRebelo, Henrique Universidade Federal de PernambucoBrazil Session Chair of FTfJP 2022 C (part of FTfJP) Session Chair of FTfJP 2022 D (part of FTfJP) Conference Chair in Program Committee Chair within the FTfJP-track
S Francesca ScozzariScozzari, Francesca University of Chieti-PescaraItaly On the need for a common API for abstract domains of object-oriented programs
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Using Functional Reactive Programming to Define Safe Actor Systems
Violetta SimSim, Violetta Innopolis UniversityUzbekistan Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
John L. SingletonSingleton, John L. GitHub, Inc.United States Committee Member in Program Committee within the FTfJP-track
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Session Chair of FTfJP 2022 B (part of FTfJP) Steering Committee Member in Steering Committee within the FTfJP-track
T Muhammad Taimoor KhanTaimoor Khan, Muhammad University of GreenwichUnited Kingdom Committee Member in Program Committee within the FTfJP-track
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Committee Member in Program Committee within the FTfJP-track
U Mattias UlbrichUlbrich, Mattias KITGermany Committee Member in Program Committee within the FTfJP-track
W Nick WebsterWebster, Nick Victoria University of Wellington Using Functional Reactive Programming to Define Safe Actor Systems
Tobias WrigstadWrigstad, Tobias Uppsala University Sweden Rusty Links in Local Chains
Z Elena ZuccaZucca, Elena University of GenovaItaly Committee Member in Program Committee within the FTfJP-track