« Home

Person. Azalea Raad [azalea]

  • Reader
  • Imperial College London
  • 0000-0002-2319-3242
  • https://www.soundandcomplete.org

Related

    Institution. Imperial College London [imperial]

    • London, United Kingdom
    • https://imperial.ac.uk

    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