Shibashis Guha

Latest

• From Traces to Proofs: Proving Concurrent Programs Safe