Jules Villard -

Registered user since Fri 16 Jun 2017

Name:Jules Villard

Country:United Kingdom

Affiliation:Meta

Personal website:http://jules.pauvre.org/

Contributions

POPL 2024	Committee Member in Program Committee within the POPL-track
SPLASH 2022	Author of Finding real bugs in big programs with incorrectness logic within the OOPSLA-track
Infer 2022	Author of Finding Real Bugs in Big Programs with Incorrectness Logic within the Infer 2022-track Committee Member in Program Committee within the Infer 2022-track Session Chair of Session 3 (part of Infer 2022) Session Chair of Session 4 (part of Infer 2022)
Infer Practitioners 2021	Committee Member in Organizing Committee within the Infer 2021-track
TAPAS 2020	Committee Member in Program Committee within the TAPAS-track
Infer Practitioners 2020	Committee Member in Program Committee within the Infer Practitioners 2020-track Session Chair of Session 4 (part of Infer Practitioners 2020) Panelist of Infer team Q&A within the Infer Practitioners 2020-track Committee Member in Organizing Committee within the Infer Practitioners 2020-track
POPL 2019	Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track