Reinventing Lock Modeling for Multi-Core Systems.

Yan Cui, Weiyi Wu, Yingxin Wang, Xufeng Guo, Yu Chen, Yuanchun Shi

Browse the full MASCOTS paper archive.