Adaptable correctness through two-dimensional locking | IEEE Conference Publication | IEEE Xplore