Operating Systems Research Group
Operating Systems Research Group
Operating Systems Research on Energy, Reliability and Autonomy
Operating Systems Research on Energy, Reliability and Autonomy
Software Released
Software Released
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.