Compiler techniques for high performance sequentially consistent java programsZehra SuraXing Fanget al.2005PROPP 2005
The Pensieve project: A compiler infrastructure for memory modelsChi-Leung WongZehra Suraet al.2002I-SPAN 2002