Operating Systems Research Group
Operating Systems Research Group
Operating Systems Research on Energy, Reliability and Autonomy
Operating Systems Research on Energy, Reliability and Autonomy
Embedded Files
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.
Page updated
Google Sites
Report abuse