A framework for programming using non-atomic variables | IEEE Conference Publication | IEEE Xplore