All Stories

  1. A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

    Article • Proceedings of the ACM on Programming Languages, January 2022, ACM (Association for Computing Machinery)

    David Sanan

  2. CSim2 Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee

    Article • ACM Transactions on Programming Languages and Systems, February 2021, ACM (Association for Computing Machinery)

    David Sanan