|
Shan's homepage
|
2009
- Cooperative Crug Isolation.
Aditya Thakur, Rathijit Sen, Ben Liblit, and Shan Lu.
7th International Workshop on Dynamic Analysis (WODA'09).
2008
2007
- MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs.
Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, and Yuanyuan Zhou.
21st ACM Symposium on Operating Systems Principles (SOSP'07).
- Triage: Diagnosing Production Run Failures at the User's Site.
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou.
21st ACM Symposium on Operating Systems Principles (SOSP'07).
- A Study of Interleaving Coverage Criteria.
Shan Lu, Weihang Jiang and Yuanyuan Zhou.
15th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'07) (short paper).
- A Lightweight End-to-end System for Defending Against Fast Worms.
Joseph Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou and Dawn Song.
2nd ACM SIGOPS EuroSys Conference (EuroSys'07).
- AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.
Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou.
IEEE Micro Special Issue: Micro Top Picks from Computer Architecture Conferences, Volume 27, Number 1, January/February 2007 (Micro Top Picks'07).
2006
- PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection.
Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, and Josep Torrellas.
39th Annual IEEE/ACM International Symposium on Microarchitecture (Micro'06).
- Automatic Online Failure Diagnosis at the End-User Site.
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou.
2nd Workshop on Hot Topics in System Dependability (HotDep'06).
- Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management.
Chad Verbowski, Emre Kıcıman, Arunvijay Kumar, and Brad Daniels, Shan Lu, Juhan Lee, Yi-Min Wang, and Roussi Roussev.
7th USENIX symposium on Operating System Design and Implementation (OSDI'06).
- Have Things Changed Now? -- An Empirical Study of Bug Characteristics in Modern Open Source Software.
Zhenmin Li, Lin Tan , Xuanhui Wang, Shan Lu, Yuanyuan Zhou and Chengxiang Zhai.
1st Workshop on Architectural and System Support for Improving Software Dependability (ASID'06).
- AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.
Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou.
12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'06).
- CP-Miner: finding copy-paste and related bugs in large-scale software code.
Zhenmin Li, Shan Lu, Suvda Myagmar and Yuanyuan Zhou
IEEE Transactions on Software Engineering Volume 32, Issue 3, March 2006 (IEEE-TSE).
- Analyzing Persistent State Interactions to Improve State Management.
Chad Verbowski, Brad Daniels, Kıcıman, Shan Lu, Roussi Roussev, Yi-Min Wang and Juhan Lee.
Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS/Performance 2006) (2-page poster paper).
2005
2004
|