Josh Berdine -

Registered user since Wed 24 Feb 2016

Name:Josh Berdine

Country:United Kingdom

Affiliation:SkipLabs

GitHub: https://github.com/jberdine

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

Contributions

2024

KLEE

Author of Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs within the KLEE 2024-track

O'Hearn Fest

Author of Symbolic Execution with Separating Decision Diagrams within the O'Hearn Fest-track

2023

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

POPL

Committee Member in Program Committee within the POPL-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

POPL

Author of Concurrent Incorrectness Separation Logic within the POPL-track

2021

Static Analysis Symposium

Committee Member in Program Committee within the SAS-track

POPL

Committee Member in Program Committee within the POPL-track

VMCAI

Committee Member in Program Committee within the VMCAI-track

2020

Static Analysis Symposium

Committee Member in Program Committee within the SAS-track

ADSL

2019

VMCAI

Committee Member in Program Committee within the VMCAI 2019-track

2017

POPL

Committee Member in Program Committee within the POPL-track

2016

HOPE

Committee Member in Program Committee within the HOPE-track

2015

ESOP

Author of Spatial Interpolants within the ESOP-track