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

SPLASH 2019	Author of A Formalization of Java's Concurrent Access Modes within the OOPSLA Artifacts-track Author of A Formalization of Java’s Concurrent Access Modes within the OOPSLA-track
SPLASH 2015	Author of Declarative Fence Insertion within the OOPSLA Artifacts-track Author of Declarative Fence Insertion within the OOPSLA-track