David Sanan

My Publications

A Quantum interpretation of separating conjunction for local reasoning of Quantum progr...

• Proceedings of the ACM on Programming Languages
• January 2022

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

• ACM Transactions on Programming Languages and Systems
• March 2021