Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jules Villard
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2019 profile
POPL 2024 profile
SPLASH 2020 profile
SPLASH 2022 profile
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
Share
x
Fri 2 Jun 04:57