opera

Operating Systems Research Group
Operating Systems Research on Energy, Reliability and Autonomy


Publications in System Dependability
    Configuration
  • Tianyin Xu and Yuanyuan Zhou. Systems Approaches to Tackling Configuration Errors: A Survey. ACM Computing Surveys (CSUR), Volume 47, Number 4, Article 70, July 2015. [PDF]
  • Tianyin Xu, Long Jin, Xuepeng Fan, Yuanyuan Zhou, Shankar Pasupathy, and Rukma Talwadker. Hey, You Have Given Me Too Many Knobs! Understanding and Dealing with Over-Designed Configuration in System Software. Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15), Oct. 31-Sep. 4, 2015, Bergamo, Italy. [PDF]
  • Peng Huang, William J. Bolosky, Abhishek Sigh, and Yuanyuan Zhou. ConfValley: A Systematic Configuration Validation Framework for Cloud Services. Proceedings of the European Conference on Computer Systems (EuroSys'15), Bordeaux, France, April 2015. [PDF]
  • Jiaqi Zhang, Lakshminarayanan Renganarayana, Xiaolan Zhang, Niyu Ge, Vasanth Bala, Tianyin Xu, and Yuanyuan Zhou. EnCore: Exploiting System Environment and Correlation Information for Misconfiguration Detection. Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'14), Salt Lake City, UT, USA, March 2014. [PDF]
  • Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, and Shankar Pasupathy. Do Not Blame Users for Misconfigurations. Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP'13), Nemacolin Woodlands Resort, Pennsylvania, November 2013. [PDF]
  • Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram and Shankar Pasupathy. An Empirical Study on Configuration Errors in Commercial and Open Source Systems. To appear in the proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP'11), October 2011 (acceptance rate: 18.3% = 28/153). [PDF]
    Failure Diagnosis Using Static Approach
  • Ding Yuan, Soyeon Park, Peng Huang, Yang Liu, Michael M. Lee, Xiaoming Tang, Yuanyuan Zhou and Stefan Savage. Be Conservative: Enhancing Failure Diagnosis with Proactive Logging To appear in the Proceedings of the 9th ACM/USENIX Symposium on Operating Systems Design and Implementation (OSDI'12), Hollywood, CA, October 2012 (acceptance rate: 11.6% = 25/215).
  • Ding Yuan, Soyeon Park, and Yuanyuan Zhou. Characterising Logging Practices in Open-Source Software. In the Proceedings of the 34th International Conference on Software Engineering (ICSE'12), Zurich, Switzerland, June 2012. [PDF] [BIB]
  • Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou and Stefan Savage. Improving Software Diagnosability via Log Enhancement. ACM Transactions on Computer Systems (TOCS), Vol. 30, No. 1, Article 4, Februray 2012. [PDF] [PS] [BIB]
  • Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou and Stefan Savage. Improving Software Diagnosability via Log Enhancement. Proceedings of Architectural Support for Programming Languages and Operating Systems (ASPLOS'11), Newport Beach, CA, March 2011. [PDF] [PS] [BIB]
  • Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, and Shankar Pasupathy. SherLog: Error Diagnosis by Connecting Clues from Run-time Logs To appear in the proceedings of the 15th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'10), March 2010.[PDF][PS]
    Failure Diagnosis Using Dynamic Approach
  • Soyeon Park, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu and Yuanyuan Zhou. PRES: Probabilistic Replay with Execution Sketching on Multiprocessors. To appear in Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP'09), October 2009. [PDF]
  • Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou. Triage: Diagnosing Production Run Failures at the User's Site. In the Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007. [PDF][PS][BibTex]
  • Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou. Automatic Online Failure Diagnosis at the End-User Site (A Position Paper).  The Second Workshop on Hot Topics in System Dependability (HotDep '06), Nov, 2006 (15%=8/52 acceptance rate).
  • Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou and Josep Torrellas. iWatcher: Simple, General Architectural Support for Software DebuggingThe IEEE Micro Special Issue on Top Picks from Microarchitecture Conferences, Dec. 2004 [PDF, BibTex]
  • Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou and Josep Torrellas. iWatcher: Efficient Architecture Support for Software Debugging. Proceedings of the 31st annual International Symposium on Computer Architecture (ISCA'04), June, 2004.(14% acceptance rate, 31/221) [PS, PDF, BibTex]
  • Sudarshan Srinivasan, Christopher Andrews, Srikanth Kandula and Yuanyuan Zhou. Flashback: A Light-weight Extension for Rollback and Deterministic Replay for Software Debugging. The  Proceedings of the annual Usenix technical conference (USENIX'04), June, 2004 (13% acceptance rate, 21/164) [PS, PDF, BibTex]
    Bug Detection Using Static Approach
  • Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou and Zhiqiang Ma. Ad Hoc Synchronization Considered Harmful. In the proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI'10), October 2010. [PDF] [PS] [BIB]
  • Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, and Weimin Zheng.  Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs. To appear in the proceedings of the International Conference on Object-Oriented Programming, Systems, Languages & Applications 2010 (OOPSLA'10), October 2010. [PDF]
  • Lin Tan, Ding Yuan, Yuanyuan Zhou. /* iComment: Bugs or Bad Comments? */. In the Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007. [PDF][PS][BibTex]
  • Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou. MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs. In the Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007. [PDF][PS][BibTex]
  • Lin Tan, Ding Yuan and Yuanyuan Zhou. HotComments: How to Make Program Comments More Useful? . In the Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS), May 2007. San Diego, California. [PDF] [BibTex]
  • Zhenmin Li, Shan Lu, Suvda Myagmar and Yuanyuan Zhou.  CP-Miner: finding copy-paste and related bugs in large-scale software code. IEEE Transactions on Software Engineering (IEEE-TSE), 2006
  • Zhenmin Li and Yuanyuan Zhou.  PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code. In proceedings of the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'05), Sept 2005. (16%> acceptance rate, 32/201). [PDF, BibTex]
  • Zhenmin Li, Shan Lu, Suvda Myagmar and Yuanyuan Zhou. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code.  The Proceedings of the Sixth Symposium on Operating System Design and Implementation (OSDI'04), December, 2004 (14% acceptance rate, 27/193) [PDF, BibTex]
    Bug Detection Using Dynamic Approach
  • Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, and Weimin Zheng.  Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs. To appear in the proceedings of the International Conference on Object-Oriented Programming, Systems, Languages & Applications 2010 (OOPSLA'10), October 2010.
  • Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou. MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs. In the Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007. [PDF][PS][BibTex]
  • Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. In the IEEE Micro Special Issue: Top Picks from Computer Architecture Conferences, January-February 2007 Issue
  • Pin Zhou, Radu Teodorescu and Yuanyuan Zhou, HARD: Hardware-Assisted Lockset-based Race Detection, The Proceedings of the International Symposium on High-Performance Computer Architecture (HPCA'07), February 2007 [PDF]
  • Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou and Josep Torrellas. PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection. The Proceedings of the Annual IEEE/ACM International Symposium on Microarchitecture, 2006 (Micro'06), Dec, 2006 (24%=42/174 acceptance rate) [PDF][PS][BibTex]
  • Feng Qin, Cheng Wang, Zhenmin Li, Ho-seop Kim, Yuanyuan Zhou and Youfeng Wu. LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting General Security Attacks. The Proceedings of the Annual IEEE/ACM International Symposium on Microarchitecture, 2006 (Micro'06), Dec, 2006 (24%=42/174 acceptance rate) [PDF, PS]
  • Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou.  AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. The Proceedings of the International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'06), Oct, 2006 (22% acceptance rate) [PDF] [PS][BibTex]
  • Yuanyuan Zhou, Pin Zhou, Feng Qin, Wei Liu and Josep Torrellas. Efficient and Flexible Architectural Support for Dynamic Monitoring. Published in ACM Transactions on Architecture and Code Generation (ACM-TACO), 2005 [BibTex]
  • Feng Qin, Shan Lu and Yuanyuan Zhou. SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs. The Proceedings of the 11th International Symposium on High-Performance Computer Architecture (HPCA'05) ,  Feb, 2005. (15% acceptance rate, 28/181) [PS, PDF, BibTex]
  • Pin Zhou, Wei Liu, Fei Long, Shan Lu, Feng Qin, Yuanyuan Zhou, Sam Midkiff and Josep Torrellas. AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-based Invariants. The Proceedings of 37th Annual IEEE/ACM International Symposium ON Micro-architecture (Micro'04), December, 2004 (18% acceptance rate, 29/158) [PDF, BibTex]
    Software Testing
  • Soyeon Park, Shan Lu, and Yuanyuan Zhou. CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places. In the proceedings of the 14th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'09), March 2009. [PDF]
  • Joseph Tucek, Weiwei Xiong, and Yuanyuan Zhou. Efficient on-line validation with delta execution. In the proceedings of the 14th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'09), March 2009. [PDF] [PS]
  • Yuanyuan Zhou, Darko Marinov, William Sanders, Craig Zilles, Marcelo d'Amorim, Steven Lauterburg, Ryan M. Lefever and Joseph Tucek. Delta Execution for Software Reliability. The Third Workshop on Hot Topics in System Dependability (HotDep '07), June, 2007
    Failure Recovery
  • Joseph Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou and Dawn Song. Sweeper: A Lightweight End-to-end System for Defending Against Fast Worms. In the Proceedings of the 2nd ACM SIGOPS EuroSys (EuroSys'07), March 2007. [PDF] [BibTex]
  • Feng Qin, Joe Tucek, Jagadeesan Sundaresan and Yuanyuan Zhou. Rx: Treating bugs as allergies---a safe method to survive software failure.  In proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05), October 2005.  Awarded Paper (13% acceptance rate: 20/155).[PS, PDF, BibTex]
  • Feng Qin, Joseph Tucek and Yuanyuan Zhou. Treating bugs as allergies: A safe method for surviving software failures.  The proceedings of USENIX Tenth Workshop on Hot Topics in Operating Systems (HOTOS'05), June 2005.[PS, PDF, BibTex].
    Characteristic Study
  • Ding Yuan, Soyeon Park, Peng Huang, Yang Liu, Michael M. Lee, Xiaoming Tang, Yuanyuan Zhou and Stefan Savage. Be Conservative: Enhancing Failure Diagnosis with Proactive Logging To appear in the Proceedings of the 9th ACM/USENIX Symposium on Operating Systems Design and Implementation (OSDI'12), Hollywood, CA, October 2012 (acceptance rate: 11.6% = 25/215).
  • Ding Yuan, Soyeon Park, and Yuanyuan Zhou. Characterising Logging Practices in Open-Source Software. In the Proceedings of the 34th International Conference on Software Engineering (ICSE'12), Zurich, Switzerland, June 2012. [PDF] [BIB]
  • Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi Bairavasundaram and Shankar Pasupathy. An Empirical Study on Configuration Errors in Commercial and Open Source Systems. To appear in the proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP'11), October 2011.
  • Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy and Lakshmi Bairavasundaram. How Do Fixes Become Bugs? -- A Comprehensive Characteristic Study on Incorrect Fixes in Commercial and Open Source Operating Systems To appear in the proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'11), September 2011. Distinguished Paper (acceptance rate: 16.7% = 34/203). [PDF] [BIB]
  • Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou and Zhiqiang Ma. Ad Hoc Synchronization Considered Harmful. In the proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI'10), October 2010. [PDF] [PS] [BIB]
  • Weihang Jiang, Chongfeng Hu, Shankar Pasupathy, Arkady Kanevsky and Yuanyuan Zhou. Storage System Problem Troubleshooting and System Logs. ;login: The USENIX Magazine June 2009, Volume 34, Number 3 (;login:'09). [PDF]
  • (Alphabetic order) Yoann Padioleau, Lin Tan and Yuanyuan Zhou. Listening to Programmers - Taxonomies and Characteristics of Comments in Operating System Code. To appear in the proceedings of the 31st International Conference on Software Engineering (ICSE'09), May 2009 (Acceptance Rate: 12.3% = 50/405). [PDF] [PS] [BIBTXT]
  • Weihang Jiang, Chongfeng Hu, Shankar Pasupathy, Arkady Kanevsky, Zhenmin Li and Yuanyuan Zhou. Understanding Customer Problem Troubleshooting from Storage System Logs. To appear in the Proceedings of 6th USENIX Conference on File and Storage Technologies (FAST'09), February, 2009. [PDF]
  • Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou and Arkady Kanevsky. Are Disks the Dominant Contributor for Storage Failures? A Comprehensive Study of Storage Subsystem Failure Characteristic. ACM Transactions on Storage, Vol. 4, No. 3, Article 7, November 2008 (TOS'08) [PDF][BibTex]
  • Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou and Arkady Kanevsky. Are Disks the Dominant Contributor for Storage Failures? A Comprehensive Study of Storage Subsystem Failure Characteristics. In the proceedings of the 6th USENIX Conference on File and Storage Technologies (FAST'08), February, 2008. [PDF]
  • Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou. Learning from Mistakes --- A Comprehensive Study on Real World Concurrency Bug Characteristics. In the proceedings of the 13th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'08), March 2008.[PDF][BibTex]
  • Shan Lu, Weihang Jiang and Yuanyuan Zhou. A Study of Interleaving Coverage Criteria. In the Proceedings of the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'07) (short paper), September 2007. [PDF][BibTex]
    Hardware Reliability
  • Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita Adve, Vikram Adve, and Yuanyuan Zhou. Trace-Based Diagnosis of Permanent Hardware Faults. To appear in the Proceedings of the International Conference on Dependable Systems and Networks (DSN'08), June 2008.
  • Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita Adve, Vikram Adve, and Yuanyuan Zhou. Using Likely Program Invariants for Hardware Reliability. To appear in the Proceedings of the International Conference on Dependable Systems and Networks (DSN'08), June 2008.
  • Man-Lap Li, Pradeep Ramachandran, Sarita Adve, Vikram Adve and Yuanyuan Zhou, Understanding the propagation of hard faults to software and its implications on Resilient Systems Design. In 13th International Conference on Architecture Support for Programming Languages and Operating Systems(ASPLOS'08), March, 2008
    Security
  • Lin Tan, Xiaolan (Catherine) Zhang, Xiao Ma, Weiwei Xiong and Yuanyuan Zhou. AutoISES: Automatically Inferring Security Specifications and Detecting Violations. In the Proceedings of the 17th USENIX Security Symposium (USENIX Security'08), July-August, 2008 (acceptance rate: 15.9% = 27/170). [PDF] [PS] [BibTex]
  • Feng Qin, Cheng Wang, Zhenmin Li, Ho-seop Kim, Yuanyuan Zhou and Youfeng Wu. LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting General Security Attacks. The Proceedings of the Annual IEEE/ACM International Symposium on Microarchitecture, 2006 (Micro'06), Dec, 2006 (24%=42/174 acceptance rate) [PDF, PS]
  • Zhenmin Li, Jed Taylor, Elizabeth Partridge, Yuanyuan Zhou, William Yurcik, Cristina Abad, James J.  Barlow, and Jeff Rosendale, "UCLog: A Unified, Correlated Logging Architecture for Intrusion Detection," 12th International Conference on Telecommunication Systems - Modeling and Analysis (ICTSM), 2004 [BibTex].
  • William Yurcik, Jim Barlow, YuanYuan Zhou, Hrishikesh Raje, Yifan Li, Xiaoxin Yin, Mike Haberman, Jeff Rosendale, Dora Cai and Duane Searsmith. Scalable Data Management Alternatives to Support Data Mining  Heterogeneous Logs for Computer Network Security. 2003 SIAM Workshop on Data Mining for Counter Terrorism and Security, June 2003.