Shan's Publications

      Shan's Homepage

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


• ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach
  Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, and Thomas Reps.
  ACM Transactions on Software Engineering and Methodology (TOSEM).


• Understanding and Detecting Real-World Performance Bugs
  Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, and Shan Lu.
  Programming Language Design and Implementation 2012 (PLDI'12).


• Applying Transactional Memory to Concurrency Bugs
  Haris Volos, Andres Jaan Tack, Michael Swift, and Shan Lu.
  17th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'12).

2011
• Detecting Concurrency Bugs From the Perspectives of Synchronization Intentions
  Shan Lu, Soyeon Park, and Yuanyuan Zhou.
  IEEE Transactions on Parallel and Distributed Systems, 2011 (TPDS).


• Finding Atomicity-Violation Bugs Through Unserializable Interleaving Testing
  Shan Lu, Soyeon Park, and Yuanyuan Zhou.
  IEEE Transactions on Software Engineering, March/April, 2011 (TSE).


• Automated Atomicity-Violation Fixing
  Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit.
  Programming Language Design and Implementation 2011 (PLDI'11).
Won SIGPLAN CACM Research Highlights Nomination


• ConSeq: Detecting Concurrency Bugs through Sequential Errors
  Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, and Thomas Reps.
  16th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'11).


2010
• Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation
  Guoliang Jin, Aditya Thakur, Ben Liblit, and Shan Lu.
  International Conference on Object-Oriented Programming, Systems, Languages & Applications 2010 (OOPSLA'10).


• Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs
  Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, and Weimin Zheng.
  International Conference on Object-Oriented Programming, Systems, Languages & Applications 2010 (OOPSLA'10).


• Leveraging Parallelism for Multi-dimensional Packet Classification on Software Routers
  Yadi Ma, Suman Banerjee, Shan Lu, and Cristian Estan.
  International Conference on Measurement and Modeling of International Computer Systems (SIGMETRICS'10).


• ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach
  Wei Zhang, Chong Sun, and Shan Lu.
  15th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'10).


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