机译:RegionTrack:基于跟踪的声音和完整的检查程序,以调试事务原子性违规和非序列化迹线
City University of Hong Kong;
City University of Hong Kong;
City University of Hong Kong;
City University of Hong Kong;
City University of Hong Kong;
Beihang University;
City University of Hong Kong;
Transactional atomicity violation; conflict serializability; non-serializable traces; dynamic analysis; linearizability; debugging;
机译:通过基于跟踪的错误搜索重用调试知识
机译:Velodrome:一个完善的多线程程序动态原子检查器
机译:使用原子块和事务性存储器的调试程序
机译:基于迹线的符号分析,用于违反原子性
机译:基于迹线的符号分析,用于违反原子性
机译:基于跟踪的网络证明系统:表现力和完整性