Josh Berdine -

Registered user since Wed 24 Feb 2016

Name:Josh Berdine

Affiliation:Facebook

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

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

Contributions

POPL 2022	Author of Concurrent Incorrectness Separation Logic within the POPL-track
SAS 2021	Committee Member in Program Committee within the SAS-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
POPL 2021	Committee Member in Program Committee within the POPL-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
HOPE 2016	Committee Member in Program Committee within the HOPE-track
POPL 2017	Committee Member in Program Committee within the POPL-track
ESOP 2015	Author of Spatial Interpolants within the ESOP-track