FTfJP 2023 Contributors

Tue 18 Jul 2023 Seattle (University of Washington campus), Washington, United States

co-located with ECOOP and ISSTA 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

A Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Runtime verification of hash code in mutable classes
B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Viviana BonoBono, Viviana University of TorinoItaly Gradual Guarantee for FJ with lambda-expressions
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation
C Sergio CardenasCardenas, Sergio Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
Avik ChaudhuriChaudhuri, Avik Facebook, USA PC Member in Program Committee within the FTfJP-track
D Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Gradual Guarantee for FJ with lambda-expressions
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Mike DoddsDodds, Mike Galois, Inc. 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
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly Runtime verification of hash code in mutable classes
Mário FloridoFlorido, Mário Universidade do PortoPortugal Gradual Guarantee for FJ with lambda-expressions
Hiroaki FukudaFukuda, Hiroaki Shibaura Institute of TechnologyJapan Points-to Analysis for Context-Oriented JavaScript Programs
G Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Organizing Committee within the FTfJP-track
H Paula HerberHerber, Paula University of Munster, GermanyGermany PC Member in Program Committee within the FTfJP-track
J Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Verifying C++ dynamic binding
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the FTfJP-track
Rajeev JoshiJoshi, Rajeev NASA/Caltech Jet Propulsion LaboratoryUnited States PC 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
Edward LeeLee, Edward University of WaterlooCanada Dependency-free Capture Tracking
Paul LegerLeger, Paul Universidad Católica del Norte, ChileChile Points-to Analysis for Context-Oriented JavaScript Programs
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States State of state in Dafny
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Dependency-free Capture Tracking
Frederic LoulergueLoulergue, Frederic Université d'OrléansFrance Towards Verified Scalable Parallel Computing with Coq and Spark
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
M Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, ItalyItaly Runtime verification of hash code in mutable classes
Mira MeziniMezini, Mira TU DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Luka MiljakMiljak, Luka Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Niels MommenMommen, Niels KU LeuvenBelgium Verifying C++ dynamic binding
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Organizing Committee within the FTfJP-track
N James NobleNoble, James Research & ProgrammingNew Zealand PC Member in Program Committee within the FTfJP-track
P Jolan PhilippePhilippe, Jolan IMT AtlantiqueFrance Towards Verified Scalable Parallel Computing with Coq and Spark
R Baber RehmanRehman, Baber The University of Hong KongChina Correctness-by-Construction meets Refinement Types
David RichterRichter, David Technical University of DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation
S Kavin SatheeskumarSatheeskumar, Kavin University of WaterlooCanada Dependency-free Capture Tracking
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Organizing Committee within the FTfJP-track
T Muhammad Taimoor KhanTaimoor Khan, Muhammad University of GreenwichUnited Kingdom PC Member in Program Committee within the FTfJP-track
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil PC Member in Program Committee within the FTfJP-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States PC Member in Program Committee within the FTfJP-track
Aaron TombTomb, Aaron Amazon Web ServicesUnited States PC Chair in Program Committee within the FTfJP-track
V Flip van Spaendonckvan Spaendonck, Flip TU EindhovenNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Y Daniel Yu Hian LowYu Hian Low, Daniel Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
Â Pedro ÂngeloÂngelo, Pedro University of PortoPortugal Gradual Guarantee for FJ with lambda-expressions