Runtime validation of memory ordering using constraint graph checking | IEEE Conference Publication | IEEE Xplore