Chinmay Narayan

Latest

• From Traces to Proofs: Proving Concurrent Programs Safe
• Efficient Verification of Concurrent Programs over TSO Memory Model