Jan-Willem Maessen Arvind 0001 Xiaowei Shen Improving the Java memory model using CRF. 1-12 2000 conf/oopsla/2000 OOPSLA https://doi.org/10.1145/353171.353172 https://doi.org/10.1145/354222.353172 https://www.wikidata.org/entity/Q131128427 db/conf/oopsla/oopsla2000.html#MaessenAS00