Registered user since Tue 14 Feb 2017
I am a Professor at University of Toronto.
Affiliation:University of Toronto
Research interests:Formal Verification, Concurrency, Synthesis, Theory
|POPL 2023||Stratified Commutativity in Verification Algorithms for Concurrent Programs|
|Show activities from other conferences|
Using general profile