conf.researchr.org / John Bender
Registered user since Sat 29 Aug 2015
Name:John Bender
Affiliation:University of California, Los Angeles
Personal website: https://johnbender.us
Research interests:Concurrency, weak memory models, verification
Contributions