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 | A Formalization of Java's Concurrent Access Modes A Formalization of Java’s Concurrent Access Modes | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2019-profile
View general profile
View general profile