Shan's Homepage
|
2012
-
Automated Concurrency-Bug Fixing
Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu.
10th USENIX Symposium on Operating Systems Design and Implementation
(OSDI'12).
-
Understanding the Interleaving-Space Overlap across Inputs and Software Versions
Dongdong Deng, Wei Zhang, Borui Wang, Peisen Zhao, and Shan Lu.
4th USENIX Workshop on Hot Topics in Parallelism
(HotPar'12).
2011
2010
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
-
CP-Miner: A Tool for Finding
Copy-paste and Related Bugs in Operating System Code
.
Zhenmin Li, Shan Lu, Suvda Myagmar, and Yuanyuan Zhou.
6th Symposium on Operating System Design and Implementation (OSDI'04).
- AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-based Invariants.
Pin Zhou, Wei Liu, Fei Long, Shan Lu, Feng Qin, Yuanyuan Zhou, Sam Midkiff, and Josep Torrellas.
37th Annual IEEE/ACM International Symposium ON Micro-architecture (Micro'04).
|