conf.researchr.org / Josh Berdine
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

VMCAI 2021Committee Member in Program Committee within the VMCAI-track
POPL 2021Committee Member in Program Committee within the Research Papers-track
SAS 2020Committee Member in Program Committee within the SAS 2020 - 27th Static Analysis Symposium-track
ADSL 2020Author of SLEdge: Bounded Model Checking in Separation Logic within the ADSL 2020-track
Committee Member in Program Committee within the ADSL 2020-track
VMCAI 2019Committee Member in Program Committee within the VMCAI 2019-track
HOPE 2016Committee Member in Program Committee within the HOPE-track
POPL 2017Committee Member in Program Committee within the POPL-track
ESOP 2015Author of Spatial Interpolants within the ESOP-track