Compile-time concurrent marking write barrier removal | IEEE Conference Publication | IEEE Xplore