James the GIANT killer: evaluating locking schemes in 2010-02-27 james francis toy iv David Hemmendinger.
Optimistic Methods for Concurrency Control By: H.T. Kung and John Robinson Presented by: Frederick Ramirez.
james the GIANT killer: evaluating locking schemes in
Thread-modular Abstraction Refinement Thomas A. Henzinger, et al. CAV 2003 Seonggun Kim KAIST CS750b.