PPoPP 2019
Sat 16 - Wed 20 February 2019 Washington, DC, United States
PPoPP 2019 (series) / Brijesh Dongol
Brijesh Dongol

Registered user since Fri 6 Mar 2015

Name: Brijesh Dongol

Affiliation: University of Surrey

Contributions

PPoPP 2019Author of Verifying C11 Programs Operationally within the Main Conference-track
Author of Modular Transactions: Bounding Mixed Races in Space and Time within the Main Conference-track
Show activities from other conferences

Using general profile