Shan Lu     Professor         Email: shanlu @ cs.uchicago.edu     Crerar Library 343     5730 S. Ellis Ave., Chicago, IL 60637     CV: [pdf]     Bio: [html]

Publications

2024


• ExChain: exception dependency analysis for root cause diagnosis
  Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar.
  21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 2024).


• Automatic and Efficient Customization of Neural Networks for ML Applications
  Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, shan Lu, Michael Maire
  The 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2024).

2023


• Run-Time Prevention of Software Integration Failures of Machine Learning APIs
  Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, Shan Lu
  Object-Oriented Programming, Systems, Languages & Applications 2023 (OOPSLA).


• HotGPT: How to Make Software Documentation More Useful with a Large Language Model?
  Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath.
  The 19th Workshop on Hot Topics in Operating Systems (HotOS).


• Leveraging Application Data Constraints to Optimize Database-Backed Web Applications
  Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sicheng Pan, Ge Li, Siddharth Jha, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung.
  VLDB 2023 (VLDB).


• Generating Test Databases for Database-Backed Applications
  Cong Yan, Suman Nath, and Shan Lu
  45th International Conference on Software Engineering, 2023 (ICSE).


• Helping Users Debug Trigger-Action Programs
  Lefan Zhang, Cyrus Zhou, Michael L. Littman, Blase Ur, and Shan Lu
  UbiComp 2023 (UbiComp).


• WAFL: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection
  Bogdan Alexandru Stoica, Shan Lu, Madan Musuvathi, and Suman Nath
  EuroSys 2023 (EuroSys).



2022


• AgileCtrl: A self-adpative Framework for Configuration Tuning
  Shu Wang, Henry Hoffmann, and Shan Lu
  Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering 2022 (FSE 2022).


• Cancel Culture in Systems: An Empirical Study of Task Cancellation Patterns and Failures
  Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath.
  The 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022).


• MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
  Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, Harry Xu.
  The 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022).
  Won Jay Lepreau Best Paper Award @ OSDI'22
  


• Automated Testing of Software that Uses Machine Learning APIs
  Chengcheng Wan, Shicheng Liu, Sophie Xie, Yifan Liu, Henry Hoffmann, Miachael Maire, Shan Lu.
  44th International Conference on Software Engineering, 2022 (ICSE 2022).

2021

• Understanding and Detecting Software Upgrade Failures in Distributed Systems
  Yongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Shan Lu, Ding Yuan.
  28th ACM Symposium on Operating Systems Principles, 2021 (SOSP 2021).


• Automated Code Refactoring upon Database-Schema Changes in Web Applications
  Sophie Xie, Junwen Yang, Shan Lu.
  The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021 Demo).


• Are Machine Learning Cloud APIs Used Correctly?
  Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu
  43rd International Conference on Software Engineering, 2021 (ICSE 2021).


• Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences
  Valerie Zhao, Lefan Zhang, Bo Wang, Michael L. Littman, Shan Lu, Blase Ur
  Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (CHI), 2021. (CHI 2021).
  Won CHI Honorable Mention Award


• SherLock: Unsupervised Synchronization-Operation Inference
  Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath
  26th International Conference on Architectural Support for Programming Languages and Operating Systems, 2021 (ASPLOS 2021) [talk].

2020

• Trace2TAP: Synthesizing Trigger-Action Programs From Traces of Behavior
  Lefan Zhang, Weijia He, Olivia Morkved, Valerie Zhao, Michael L. Littman, Shan Lu, Blase Ur
  Proceedings of UbiComp 2020 (UbiComp 2020).


• Orthogonalized SGD and Nested Architectures for Anytime Neural Networks
  Chengcheng Wan, Hank Hoffmann, Shan Lu, Michael Maire
  Proceedings of the International Conference on Machine Learning 2020 (ICML 2020).


• Understanding and Automatically Detecting Conflicting Interactions between Smart Home Applications
  Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, and Shan Lu,
  Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering 2020 (FSE 2020).


• ALERT: Accurate Learning for Energy and Timeliness
  Chengcheng Wan, Muhammad Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, and Shan Lu,
  USENIX Annual Technical Conference (ATC'20).


• Statically Inferring Performance Properties of Software Configurations
  Chi Li, Shu Wang, Henry Hoffmann, and Shan Lu.
  EuroSys (EuroSys'20).


• Managing data constraints in database-backed web applications
  Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, and Shan Lu.
  42nd International Conference on Software Engineering, 2020 (ICSE'20).



• View-Driven Optimization of Database-Backed Web Applications
  Cong Yan, Alvin Cheung, Junwen Yang, and Shan Lu.
  The Conference on Innovative Data Systems Research (CIDR'20).

2019

• Efficient and Scalable Thread-Safety Violation Detection --- Finding thousands of concurrency bugs during testing
  Guangpu Li, Shan Lu, Madan Musuvathi, Suman Nath, and Rohan Padhye.
  The Symposium on Operating Systems Principles (SOSP'19).
  Won SOSP Best Paper Award
  
  [Open-Source Version of the Tool]


• Generuk: Thin Computation over Big Native Data Using Speculative Program Transformation
  Cheng Cai, Christian Navasca, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, and Guoqing Harry Xu.
  The Symposium on Operating Systems Principles (SOSP'19).
  


• What Bugs Cause Production Cloud Incidents?
  Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath.
  The 17th Workshop on Hot Topics in Operating Systems (HotOS'19).
  [Morning Paper]


• DFix: Automatically Fixing Timing Bugs in Distributed Systems
  Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi Gunawi, Shan Lu.
  40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019 (PLDI'19).
  


• View-Centric Performance Optimization for Database-Backed Web Applications
  Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, and Alvin Cheung
  41st International Conference on Software Engineering, 2019 (ICSE'19).
  Won ACM SIGSOFT Distinguished Paper Award
  [Morning Paper] [UC CS News]
  [Demo Video]


• AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
  Lefan Zhang, Weijia He, Jesse Martinez, Noah Brackenbury, Shan Lu, and Blase Ur
  41st International Conference on Software Engineering, 2019 (ICSE'19).
  [Demo Video]
  


• SCk: A Single-Machine Approach for Discovering Scalability Bugs in Large Systems
  Cesar A. Stuardo, Tenakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi
  17th USENIX Conference on File and Storage Technologies (FAST'19).


• Highly Scalable Testing of Complex Interleavings in Cloud Systems
  Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Dikaimin Simon, Daniar H. Kurniawan, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi
  EuroSys (EuroSys'19).

2018

• Applying Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs
  Yuxi Chen, Shu Wang, Shan Lu, and Karthikeyan Sankaralingam
  IEEE Transactions on Parallel and Distributed Systems (TPDS), 2018 (TPDS).
  


• PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
  Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung
  ACM Symposium on the Foundations of Software Engineering (Demo), 2018 (FSE'18-demo).
  


• DScope: Detecting Real-World Data Corruption Hang Bugs in Cloud Server Systems
  Ting Dai, Jingzhu He, Xiaohui (Helen) Gu, Shan Lu, and Peipei Wang
  ACM Symposium on Cloud Computing 2018 (SOCC'18).


• Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs
  Yuxi Chen, Shu Wang, Shan Lu, and Karthikeyan Sankaralingam
  USENIX Annual Technical Conference 2018 (USENIX ATC'18).


• PCatch: Automatically Detecting Performance Cascading Bugs in Cloud Systems
  Jiaxin Li, Yuxi Chen, Haopeng Liu, Shan Lu, Yiming Zhang, Haryadi Gunawi, Xiaohui Gu, Dongsheng Li, and Xicheng Lu
  EuroSys 2018 (EuroSys'18).


• How not to structure your database-backed web applications: a study of performance bugs in the wild
  Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung
  40th International Conference on Software Engineering, 2018 (ICSE'18).
  [Bug benchmarks, replication packages, and others resources]
  [Morning Paper] [Hacker News] [UC CS News]


• FCatch: Automatically detecting time-of-fault bugs in cloud systems [slides]
  Haopeng Liu, Xu Wang, Guangpu Li, Shan Lu, Feng Ye, Chen Tian
  23rd International Conference on Architectural Support for Programming Languages and Operating Systems, 2018 (ASPLOS'18)
  [Bug benchmarks, replication packages, and others resources]


• Understanding and Auto-Adjusting Performance-Sensitive Configurations [preprint]
  Shu Wang, Chi Li, William Sentosa, Henry Hoffmann, Shan Lu
  23rd International Conference on Architectural Support for Programming Languages and Operating Systems, 2018 (ASPLOS'18).


• Skyway: Connecting Managed Heaps in Distributed Big Data Systems [preprint]
  Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Harry Xu, Brian Demsky, Shan Lu
  23rd International Conference on Architectural Support for Programming Languages and Operating Systems, 2018 (ASPLOS'18).
  [Morning Paper]


• Hytrace: A Hybrid Approach to Performance Bug Diagnosis in Production Cloud Infrastructures
  Ting Dai, Daniel Dean, Peipei Wang, Xiaohui Gu, Shan Lu
  IEEE Transactions on Parallel and Distributed Systems (TPDS), 2018 (TPDS'18).


• Understanding Real-World Timeout Problems in Cloud Server Systems
  Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu
  IEEE International Conference on Cloud Engineering, 2018 (IC2E'18).
  Nominated for Best Paper Award

2017

• Understanding Database Performance Inefficiencies in Real-world Web Applications [preprint]
  Cong Yan, Junwen Yang, Alvin Cheung, and Shan Lu
  ACM International Conference on Information and Knowledge Management, 2017 (CIKM'17).


• Performance Diagnosis for Inefficient Loops [preprint]
  Linhai Song and Shan Lu
  39th International Conference on Software Engineering, 2017 (ICSE'17).


• Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests [preprint]
  Ankit Choudhary, Shan Lu, and Michael Pradel
  39th International Conference on Software Engineering, 2017 (ICSE'17).


• DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems [preprint] [slides]
  Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian
  22nd International Conference on Architectural Support for Programming Languages and Operating Systems, 2017 (ASPLOS'17).

2016

• Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement [preprint]
  Zhiqiang Zuo, Lu Fang, Siau Cheng Khoo, Harry Xu, and Shan Lu
  Proceedings of the 2016 ACM International Conference on Object Oriented Programming Systems Languages and Applications, 2016 (OOPSLA'16).


• Early Detection of Configuration Errors to Reduce Failure Damage [preprint]
  Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy
  12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16).
  Won Jay Lepreau Best Paper Award @ OSDI'16
  [Morning Paper]


• Yak: A High-Performance Big-Data-Friendly Garbage Collector [preprint]
  Khanh Nguyen, Lu Fang, Guoqing (Harry) Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu
  12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16).


• Understanding and Generating High Quality Patches for Concurrency Bugs [preprint]
  Haopeng Liu, Yuxi Chen, and Shan Lu
  ACM SIGSOFT International Sympsium on the Foundations of Software Engineering (FSE'16).


• TaxDC: A Comprehensive Taxonomy of Non-Deterministic Concurrency Bugs in Cloud Distributed Systems [preprint]
  Jeffrey F. Lukman, Tanakorn Leesatapornwongsa, Shan Lu, and Haryadi S. Gunawi
  21st International Conference on Architectural Support for Programming Languages and Operating Systems(ASPLOS'16).


• A Lightweight System for Detecting and Tolerating Concurrency Bugs
  Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng
  IEEE Transactions on Software Engineering (2016) (TSE).

2015
• Interruptable Tasks: Treating Memory Pressure As Interrupts for Highly Scalable Data-Parallel Programs [preprint]
  Lu Fang, Khanh Nguyen, Guoqing (Harry) Xu, Brian Demsky, and Shan Lu
  25th ACM Symposium on Operating Systems Principles (SOSP'15).


• What change history tells us about thread synchronization [preprint]
  Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, and Shan Lu
  29th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'15).


• CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes [preprint]
  Adrian Nistor, Po-Chun Chang, Cosmin Radoi, and Shan Lu
  37th International Conference on Software Engineering (ICSE'15).
Won ACM SIGSOFT Distinguished Paper Award

2014
• AI: a lightweight system for tolerating concurrency bugs

  Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng
  Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014 (FSE'14)
Won ACM SIGSOFT Distinguished Paper Award



• Statistical debugging for real-world performance problems

  Linhai Song, Shan Lu
  Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014 (OOPSLA '14)


• Leveraging the short-term memory of hardware to diagnose production-run software failures

  Joy Arulraj, Guoliang Jin, Shan Lu
  Proceedings of the 19th international conference on Architectural support for programming languages and operating systems, 2014 (ASPLOS '14)


• A Study of Linux File System Evolution

  Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu
  ACM Transactions on Storage (TOS), 2014

2013
• Efficient concurrency-bug detection across inputs

  Dongdong Deng, Wei Zhang, Shan Lu
  Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, 2013 (OOPSLA '13)


• Validating Library Usage Interactively
  William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha
  25th International Conference on Computer Aided Verification (CAV'13).


• A Study of Linux File System Evolution
  Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Shan Lu
  ;login: The USENIX Magazine, Volume 38, Number 3, June 2013.


• A Study of Linux File System Evolution
  Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Shan Lu
  11th USENIX Conference on File and Storage Technologies (FAST'13).
Won Best Paper Award


• Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
  Adrian Nistor, Linhai Song, Darko Marinov, and Shan Lu.
  35th International Conference on Software Engineering (ICSE'13).


• Production-run software failure diagnosis via hardware performance counters

  Joy Arulraj, Po-Chun Chang, Guoliang Jin, Shan Lu
  Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, 2013 (ASPLOS '13)


• ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution

  Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam
  Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, 2013 (ASPLOS '13)


• ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach

  Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas Reps
  ACM Transactions on Software Engineering and Methodology (TOSEM), 2013

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


• Understanding and detecting real-world performance bugs

  Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu
  Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012 (PLDI '12)


• Applying transactional memory to concurrency bugs

  Haris Volos, Andres Jaan Tack, Michael M. Swift, Shan Lu
  Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, 2012 (ASPLOS XVII)


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

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


• Automated atomicity-violation fixing

  Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
  Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation 2011 (PLDI '11)
Won SIGPLAN Research Highlights Award


• ConSeq: detecting concurrency bugs through sequential errors

  Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas Reps
  Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems, 2011 (ASPLOS XVI)


2010
• Instrumentation and sampling strategies for cooperative concurrency bug isolation

  Guoliang Jin, Aditya Thakur, Ben Liblit, Shan Lu
  (OOPSLA '10 )Proceedings of the ACM international conference on Object oriented programming systems languages and applications, 2010


• 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, Weimin Zheng
  (OOPSLA '10) Proceedings of the ACM international conference on Object oriented programming systems languages and applications, 2010


• Leveraging parallelism for multi-dimensional packetclassification on software routers

  Yadi Ma, Suman Banerjee, Shan Lu, Cristian Estan
  (SIGMETRICS '10) Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2010


• ConMem: detecting severe concurrency bugs through an effect-oriented approach

  Wei Zhang, Chong Sun, Shan Lu
  ACM SIGARCH Computer Architecture News - (ASPLOS '10), 2010


2009
• PRES: probabilistic replay with execution sketching on multiprocessors

  Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu
  (SOSP '09 ) Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, 2009


• Cooperative crug isolation

  Aditya Thakur, Rathijit Sen, Ben Liblit, Shan Lu
  WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis, 2009


• CTrigger: exposing atomicity violation bugs from their hiding places

  Soyeon Park, Shan Lu, Yuanyuan Zhou
  (ASPLOS XIV) Proceedings of the 14th international conference on Architectural support for programming languages and operating systems, 2009


2008
• Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

  Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
  (ASPLOS XIII) Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, 2008
  [pdf]


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, Yuanyuan Zhou
  (SOSP '07) Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, 2007


• Triage: diagnosing production run failures at the user's site

  Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou
  (SOSP '07) Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, 2007


• A study of interleaving coverage criteria

  Shan Lu, Weihang Jiang, Yuanyuan Zhou
  (FSE '07) Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007


• Sweeper: 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, Dawn Song
  (EuroSys '07) Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, 2007


• 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, Chengxiang Zhai
  ASID '06 Proceedings of the 1st workshop on Architectural and system support for improving software dependability, 2006


• AVIO: detecting atomicity violations via access interleaving invariants

  Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou
  (ASPLOS XII) Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, 2006
  Won IEEE Micro Top Picks 2006 [pdf]


• 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).
  Google Scholar Software Systems Classic Papers 2017


• Analyzing persistent state interactions to improve state management

  Chad Verbowski, Emre Kiciman, Brad Daniels, Yi-Min Wang, Roussi Roussev, Shan Lu, Juhan Lee
  ACM SIGMETRICS Performance Evaluation Review - Performance evaluation review, 2006 (SIGMETRICS'06)


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