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
PLDI 2024 profile
POPL 2019 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Fri 16 Jun 2017
Name:
Jules Villard
Country:
United Kingdom
Affiliation:
Meta
Personal website:
https://jvillard.net/
Contributions
2025
TPSA
Committee Member in Organizing Committee within the TPSA 2025-track
Committee Member in Program Committee within the TPSA 2025-track
2024
Infer
Author of State of the Infer Platform within the Infer 2024-track
POPL
Committee Member in Program Committee within the POPL-track
Session Chair of Program Analysis (part of POPL)
Formal Methods for Incorrectness
Committee Member in Program Committee within the Incorrectness-track
O'Hearn Fest
Organizer in Program Committee within the O'Hearn Fest-track
Author of Introduction within the O'Hearn Fest-track
2022
SPLASH
Author of Finding real bugs in big programs with incorrectness logic within the OOPSLA-track
Infer
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)
2021
Infer
Committee Member in Organizing Committee within the Infer 2021-track
2020
TAPAS
Committee Member in Program Committee within the TAPAS-track
Infer
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
2019
POPL
Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track
Share
x
Sat 23 Nov 10:44
