Infer 2022 Contributors

Mon 13 Jun 2022 San Diego, California, United States

co-located with PLDI 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (24)

B Josh BerdineBerdine, Josh MetaUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
C Sigmund ChianastaChianasta, Sigmund HIPPODROME: Data Race Repair using Static Analysis Summaries
Dulma ChurchillChurchill, Dulma Facebook London Session Chair of Session 1 (part of Infer) Committee Member in Program Committee within the Infer-track
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries
D Corentin De SouzaDe Souza, Corentin Higher-order function specialization in Infer
Derek DreyerDreyer, Derek MPI-SWSGermany Finding Real Bugs in Big Programs with Incorrectness Logic
G Nikos GorogiannisGorogiannis, Nikos FacebookUnited Kingdom Session Chair of Session 2 (part of Infer) Committee Member in Program Committee within the Infer-track
H Ákos HajduHajdu, Ákos MetaUnited Kingdom InfERL: Scalable and extensible static analysis for Erlang
J Matthew JinJin, Matthew Microsoft Corporation Infer#’s journey to bring Infer to the .NET world
L Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
Xiaoyu LiuLiu, Xiaoyu Microsoft CorporationUnited States Infer#’s journey to bring Infer to the .NET world
M Stephen MagillMagill, Stephen Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
Rishav MishraMishra, Rishav SonaTypeUnited States Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
O Peter W. O'HearnO'Hearn, Peter W. Meta; University College LondonUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
R Kishore RR, Kishore HIPPODROME: Data Race Repair using Static Analysis Summaries
Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries
S Ilya SergeySergey, Ilya National University of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries
Xin ShiShi, Xin Microsoft Corporation Infer#’s journey to bring Infer to the .NET world
Neel SundaresanSundaresan, Neel Microsoft Corporation Infer#’s journey to bring Infer to the .NET world
T Abhishek TiwariTiwari, Abhishek National University of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries
V Jules VillardVillard, Jules Facebook LondonUnited Kingdom Session Chair of Session 3 (part of Infer) Session Chair of Session 4 (part of Infer) Finding Real Bugs in Big Programs with Incorrectness Logic Committee Member in Program Committee within the Infer-track
Y Boris YakobowskiYakobowski, Boris AdaCoreFrance Three years of analyzing Ada code with Infer: a retrospective
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Committee Member in Organizing Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track