Jong-Deok Choi, Manish Gupta, et al.
ACM TOPLAS
Conference paper
Optimized lock assignment and allocation: A method for exploiting concurrency among critical sections
Related
Conference paper
Data-centric security: Role analysis and role typestates
Vugranam C. Sreedhar
SACMAT 2006
Guangming Tan, Vugranam C. Sreedhar, et al.
Journal of Supercomputing
Daniel Brand, Mareio Buss, et al.
ICSM 2007