Publications
Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou.
Learning from Mistakes --- A Comprehensive Study on Real World Concurrency Bug Characteristics.
Accepted by the 13th International Conference on Architecture Support for Programming Languages
and Operating Systems (ASPLOS'08). [pdf]
Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma,
Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou. MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs.
In the Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07),
October 2007.[pdf]
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou.
Triage: Diagnosing Production Run Failures at the User's Site. In the Proceedings of the
21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007.
[pdf]
Shan Lu, Weihang Jiang and Yuanyuan Zhou.
A Study of Interleaving Coverage Criteria. In the Proceedings of the 15th
ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE'07) (short paper), September 2007.
[pdf]
Joseph Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou and Dawn Song. Sweeper: A Lightweight End-to-end System for Defending Against Fast Worms. In the Proceedings of the 2nd ACM SIGOPS EuroSys (EuroSys'07), March 2007. [pdf]
Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.
In the IEEE Micro Special Issue: Micro Top Picks from Computer Architecture Conferences, January-February 2007 Issue (14% acceptance rate, 11/76)
[pdf]
Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep Torrellas. PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection. In The 39th Annual IEEE/ACM International Symposium on Microarchitecture (Micro-39), Dec, 2006 (24% acceptance rate, 42/174)[pdf]
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou.
Automatic Online Failure Diagnosis at the End-User Site. Accepted by Second Workshop on
Hot Topics in System Dependability (HotDep '06), Nov, 2006 (15%, acceptance rate,8/52)
Chad Verbowski, Emre K?c?man, Arunvijay Kumar, and Brad Daniels,Shan Lu, Juhan Lee, Yi-Min Wang, Roussi Roussev. Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management. In the 7th USENIX symposium on Operating System Design and Implementation (OSDI-06), Nov, 2006 [pdf]
Zhenmin Li, Lin Tan , Xuanhui Wang, Shan Lu, Yuanyuan Zhou and Chengxiang
Zhai. Have Things Changed Now? -- An Empirical Study of Bug Characteristics in Modern Open Source
Software. First Workshop on Architectural and System Support for Improving Software Dependability
(ASID) held together with ASPLOS (International Conference on Architectural Support for
Programming Languages and Operating Systems), October, 2006. San Jose, California.[pdf]
Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. In the International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS-XII), Oct, 2006 (22% acceptance rate, 38/160) [pdf] (AVIO got selected into 2007 IEEE Micro Top Picks from Computer Architecture Conferences)
Zhenmin Li, Shan Lu, Suvda Myagmar and Yuanyuan Zhou. CP-Miner: finding copy-paste and related bugs in large-scale software code. In IEEE Transactions on Software Engineering (IEEE-TSE), April, 2006.
[pdf]
Chad Verbowski, Brad Daniels, Emre Kiciman,
Shan Lu, Roussi Roussev, Yi-Min Wang and Juhan Lee.
Analyzing Persistent State Interactions to Improve State Management. Accepted by SIGMETRICS/Performance 2006 as 2-page poster paper.
Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou and Yuanyuan Zhou. BugBench: A Benchmark for Evaluating Bug Detection Tools. Accepted by Bugs 2005 (Workshop on the Evaluation of Software Defect Detection Tools) on Programming Language Design and Implementation (PLDI) 2005
[pdf]
Feng Qin, Shan Lu and Yuanyuan Zhou. SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs. In Proceedings of the 10th International Symposium on High-Performance Computer Architecture (HPCA'05), Feb. 2005[pdf](nominated for best paper)
Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou,
"CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System
Code," In the Proceedings of the Sixth Symposium on Operating System Design and Implementation (OSDI'04), December, 2004 (14% acceptance rate, 27/193) [pdf]
Pin Zhou, Wei Liu, Fei Long, Shan Lu, Feng Qin, Yuanyuan Zhou, Sam Midkiff and Josep Torrellas. "AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-based Invariants," In the Proceedings of 37th Annual IEEE/ACM International Symposium ON Micro-architecture (Micro-37), December, 2004 (18% acceptance rate, 29/158)
[pdf]
Shan Lu, Keman Yu, Jiang Li and Shipeng Li, "A Low Complexity 2-Power Transform for Video Compression,"the Fourth International Conference on Information, Communications & Signal Processing and Fourth Pacific-Rim Conference on Multimedia (ICICS-PCM'03),Singapore, December,2003
[pdf]