Josh Berdine -

Registered user since Wed 24 Feb 2016

Name:Josh Berdine

Country:United Kingdom

Affiliation:Meta

Personal website:https://research.fb.com/people/berdine-josh/

Research interests:Static Analysis, Software Verification, Separation Logic, Programming Languages

Contributions

ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
POPL 2023	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
POPL 2022	Author of Concurrent Incorrectness Separation Logic within the POPL-track
SAS 2021	Committee Member in Program Committee within the SAS-track
POPL 2021	Committee Member in Program Committee within the POPL-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
SAS 2020	Committee Member in Program Committee within the SAS-track
ADSL 2020	Author of SLEdge: Bounded Model Checking in Separation Logic within the ADSL 2020-track Committee Member in Program Committee within the ADSL 2020-track
VMCAI 2019	Committee Member in Program Committee within the VMCAI 2019-track
POPL 2017	Committee Member in Program Committee within the POPL-track
HOPE 2016	Committee Member in Program Committee within the HOPE-track
ESOP 2015	Author of Spatial Interpolants within the ESOP-track