基于时间戳锁历史的增量推理的高效数据竞争预测| IEEE会议出版物| IEEE Xplore