« Home

Person. Josh Berdine [joshberdine]

  • SkipLabs
  • 0000-0002-9691-1348
  • https://jberdine.github.io/

Contributions

    Reference. Concurrent Incorrectness Separation Logic [raad-bdo-2022]

    • January 12, 2022
    • Azalea Raad, Josh Berdine, Derek Dreyer, Peter O'Hearn
    • POPL '22: 49th ACM SIGPLAN Symposium on Principles of Programming Languages
    • 10.1145/3498695