- ConSeq: Detecting Concurrency Bugs through Sequential Errors
- Have Things Changed Now? An Empirical Study of Bug Characteristics in Modern Open Source Software
- CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code
- A Study of Interleaving Coverage Criteria Shan Lu, Weihang Jiang and Yuanyuan Zhou
- CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places
- MUVI: Automatically Inferring Multi-Variable Access Correlations and
- Learning from Mistakes --A Comprehensive Study on Real World Concurrency Bug Characteristics
- AVIO: Detecting Atomicity Violations via Access Interleaving Shan Lu, Joseph Tucek, Feng Qin and Yuanyuan Zhou
- BugBench: Benchmarks for Evaluating Bug Detection Tools Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou and Yuanyuan Zhou
- Automatic On-line Failure Diagnosis at the End-User Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou
- Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs
- Triage: Diagnosing Production Run Failures at the User's Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou
- PRES: Probabilistic Replay with Execution Sketching on Multiprocessors
- Automated Atomicity-Violation Fixing Guoliang Jin Linhai Song Wei Zhang Shan Lu Ben Liblit
- AVIO: DETECTING ATOMICITY VIOLATIONS VIA ACCESS-
- SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
- AccMon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants
- Cooperative Crug Isolation Aditya Thakur
- PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
- Analyzing Persistent State Interactions to Improve State Chad Verbowski, Emre K , Brad Daniels, Shan Lu, Roussi Roussev,
- Sweeper: A Lightweight End-to-End System for Defending Against Fast Joseph Tucek
- Automated Atomicity-Violation Fixing Guoliang Jin Linhai Song Wei Zhang Shan Lu Ben Liblit
- 1210 W. Dayton St., Madison, WI 53706-1685
