All Stories

  1. Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus

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

    David Sanan

  2. 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

  3. 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