• Sign in
  • Sign up
conf.researchr.org / Josh Berdine
  • ESOP 2015 profile
  • ICFP 2016 profile
  • ICFP 2023 profile
  • PLDI 2022 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
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

Share
xThu 2 Feb 09:12
using conf.researchr.org (v1.58.0)
Support page
Sign Up