Journal: ACM Trans. Comput. Syst.

Volume 18, Issue 4

333 -- 386Alex Gontmakher, Assaf Schuster. Java consistency: nonoperational characterizations for Java memory behavior
387 -- 419Prasenjit Sarkar, John H. Hartman. Hint-based cooperative caching