« Home

Person. Derek Dreyer [dreyer]

  • Scientific Director
  • Max Planck Institute for Software Systems
  • 0000-0002-3884-6867
  • https://people.mpi-sws.org/~dreyer/

Related

    Institution. Max Planck Institute for Software Systems [mpi-sws]

    • Saarbrücken, Germany

    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