Brief announcement: program regularization in verifying memory consistency.

Lei Li, Tianshi Chen, Yunji Chen, Ling Li, Cheng Qian, Weiwu Hu

Browse the full SPAA paper archive.