In the multi-core era, it is critical to efficiently test multi-threaded software and expose
concurrency bugs before software release. Previous work has made significant progress in …

Concurrent programs proliferate as multi-core technologies advance. The regression testing
of concurrent programs often requires running a failing test for weeks before catching a …

Concurrency bugs widely exist in concurrent programs and have caused severe failures in
the real world. Researchers have made significant progress in detecting concurrency bugs …

创新点本文根据四种主要的并行bug 类型, 分别综述了数据竞争检测器, 原子性失效检测器,
顺序性失效检测器和死锁检测器, 同时还分析了其他几种和并行bug 检测相关的技术 …

This paper integrates the human database with the drosophila one, and uses the integrated
database to acquire new terms about human diseases/traits automatically. This paper uses …

Concurrency bugs are problems due to incorrect interleaving of parallel tasks. They are
often caused by inadequate synchronization. Unlike bugs in sequential programs …