Infer 2023 Contributors - Infer 2023

Sun 18 Jun 2023 Orlando, Florida, United States

co-located with PLDI 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (12)

C Dulma ChurchillChurchill, Dulma MetaUnited Kingdom Committee Member in Program Committee within the Infer-track
D Jeremy DubreilDubreil, Jeremy Lacework Committee Member in Program Committee within the Infer-track
G Radu GrigoreGrigore, Radu FacebookUnited Kingdom Lineage, a Data-Flow Analysis for Erlang
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Welcome Wrap up Committee Member in Program Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track
J Matthew JinJin, Matthew Microsoft Corporation C# Taint Analysis and Augmenting Static Analysis with Large Language Models
K Yoonseok KoKo, Yoonseok Meta Learning to Boost Disjunctive Static Bug-Finders
O Pierre OechselOechsel, Pierre Jane Street Predictable inlining in OCaml
P David PichardiePichardie, David MetaFrance A new Infer entry door: the Textual IR
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the Infer-track
S Benno SteinStein, Benno MetaUnited Kingdom Incremental Analysis in Infer Committee Member in Program Committee within the Infer-track
Thibault SuzanneSuzanne, Thibault Meta Lineage, a Data-Flow Analysis for Erlang
Y Boris YakobowskiYakobowski, Boris AdaCoreFrance Switching Ada analyses from BufferOverrun to Pulse