PPoPP 2019 (series) / Brijesh Dongol

Registered user since Fri 6 Mar 2015
Name:Brijesh Dongol
Affiliation:University of Surrey
Contributions
PPoPP 2019 | Verifying C11 Programs Operationally Modular Transactions: Bounding Mixed Races in Space and Time | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PPoPP 2019-profile
View general profile
View general profile