![John Bender](https://conf.researchr.org/getProfileImage/johnbender/0781ea25-646d-4a80-8cf5-a0d2a073e180/small.jpg?1712024804000)
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
SPLASH 2019-profile
View general profile
View general profile