- Diagnosis Reports on 150 Production Failure [Paper] [Release page]
- Ad Hoc Synchronizations in Concurrent Programs. [Paper] [How to get them]
- BugBench: A Benchmark for Evaluating Bug Detection Tools. [Paper] [Who has used it] [How to get it]
- AVIO[ASPLOS'06]: A concurrency bug detection tool. It was licensed to Intel.
- CP-Miner[OSDI'04], PR-Miner[FSE'05]:Commercialized and released by PatternInsight.