Shan's publications

      Shan's homepage

2009
• Do You Have to Reproduce the Bug at the First Replay Attempt? -- PRES: Probabilistic Replay with Execution Sketching on Multiprocessors.
  Soyeon Park, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu, and Yuanyuan Zhou.
  22nd ACM Symposium on Operating Systems Principles (SOSP'09).


• Cooperative Crug Isolation.
  Aditya Thakur, Rathijit Sen, Ben Liblit, and Shan Lu.
  7th International Workshop on Dynamic Analysis (WODA'09).


• CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places.
  Soyeon Park, Shan Lu, and Yuanyuan Zhou.
  14th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'09).


2008
• Learning from Mistakes --- A Comprehensive Study on Real World Concurrency Bug Characteristics.
  Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou.
  13th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'08).


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
• BugBench: A Benchmark for Evaluating Bug Detection Tools..
  Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou and Yuanyuan Zhou.
  Workshop on the Evaluation of Software Defect Detection Tools (Co-located with PLDI 2005) (Bugs'05).


• SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs.
  Feng Qin, Shan Lu and Yuanyuan Zhou.
  10th International Symposium on High-Performance Computer Architecture (HPCA'05).


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).