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