Publications in reverse chronological order
2008
- 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]
- Zhe Zhang, Kyuhyung Lee, Xiaosong Ma, and Yuanyuan Zhou. "PFC: Transparent Optimization of Existing Prefetching Strategies for Multi-level Storage Systems". To appear in the Proceedings of the 2008 International Conference on Distributed Computing Systems (ICDCS'08), June 2008.
- 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.
- Ding Yuan, Kyuhyung Lee, Hong Cheng, Gopal Krishna, Zhenmin Li, Xiao Ma, Yuanyuan Zhou and Jiawei Han. CISpan: Comprehensive Incremental Mining Algorithms of Closed Sequential Patterns for Multi-Versional Software Mining. In the proceedings of 2008 SIAM Int. Conf. on Data Mining (SDM'08), Atlanta, Georgia, April 2008. [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]
- 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
2007
- 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]
- 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]
- 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]
- Soyeon Park, Weihang Jiang, Yuanyuan Zhou and Sarita Adve. Managing Energy-Performance Tradeoffs for Multi-threaded Applications. In the Proceedings of the ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS'07), June 2007. [PDF] [BibTex]
- Xiaodong Li, Ritu Gupta, Sarita V. Adve and Yuanyuan Zhou. Cross-component energy management: Joint adaptation of processor and memory. In the ACM Transactions on Architecture and Code Optimization (TACO), Volume 4, Issue 3, September 2007. [PDF] [BibTex]
- 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
- 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]
- 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]
- 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]
2006
- 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]
- 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) .
- 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)
- Vivek Pandey, Weihang Jiang, Yuanyuan Zhou and Ricardo Bianchini. DMA-aware memory energy management for data servers. The Proceedings of the 10th International Symposium on High-Performance Computer Architecture (HPCA'06) , Feb 2006. (15% acceptance rate, 25/172)
- Smruti R. Sarangi, Wei Liu, Josep Torrellas, and Yuanyuan Zhou. ReSlice: Selective Re-Execution of Long-Retired Misspeculated Instructions Using Forward Slicing . In proceedings of the 38th International Symposium on Microarchitecture (MICRO'05), November 2005. [PDF]
- 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]
- Qingbo Zhu, Zhifeng Chen, Lin Tan, Yuanyuan Zhou, Kimberley Keeton and John Wilkes. Hibernator: Helping disk array sleep through the winter. In proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05), October 2005. (13% acceptance rate: 20/155). [PS, PDF, BibTex]
- 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]
- 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].
-
Zhifeng Chen, Yan Zhang, Yuanyuan Zhou, Heidi
Scott and Berni Schiefer. Empirical evaluation of Multi-level Buffer Cache
Collaboration for Storage System. The proceedings of ACM International
Conference on Measurement and Modeling of Computing Systems (SIGMETRICS'05),
June 2005. (13% acceptance rate, 31/237)[PS,
PDF,
BibTex].
- Zhenmin Li, Zhifeng Chen and Yuanyuan Zhou. Mining Block Correlations to Improve Storage Performance. Published in ACM Transactions on Storage (ACM-TOS), pp. 213-245, Vol. 1, No. 2, May 2005 [BibTex, DOI].
- Xiaodong Li, Zhenmin Li, Yuanyuan Zhou and Sarita Adve . Performance Directed Energy Management for Main Memory and Disks. Published in ACM Transactions on Storage (ACM-TOS), pp. 346-380, Vol. 1, No. 3, August 2005 [BibTex, DOI]
- 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]
- Qingbo Zhu and Yuanyuan Zhou. Power Aware Storage Cache Management. Published in IEEE Transactions on Computers (IEEE-TC), p587-602, Vol. 54, No. 5, 2005. (16 pages) [PDF, 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]
- 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]
- Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou and Josep Torrellas. iWatcher: Simple, General Architectural Support for Software Debugging. The IEEE Micro Special Issue on Top Picks from Microarchitecture Conferences, Dec. 2004 [PDF, BibTex]
- Xiaodong Li, Zhenmin Li, Pin Zhou, Yuanyuan Zhou, Sarita Adve and Sanjeev Kumar. Performance-Directed Energy Management for Storage Systems. The IEEE Micro Special Issue on Top Picks from Microarchitecture Conferences, Dec. 2004 [PDF, BibTex]
- Vivek Pandey, Jagadeesan Sundaresan, Anand Raghuraman, Yuanyuan Zhou and Sanjeev Kumar. Dynamically Tracking Miss-Ratio-Curve for Memory Management. The Proceedings of the Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'04), October, 2004 (14% acceptance rate, 24/169) [PS, PDF, BibTex].
- Xiaodong Li, Zhenmin Li, Francis David, Pin Zhou, Yuanyuan Zhou, Sarita Adve and Sanjeev Kumar. Performance-directed energy management for main memory and disks. The Proceedings of the Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'04), October, 2004 (14% acceptance rate, 24/169) [PS, PDF, BibTex].
- Qingbo Zhu, Asim Shankar and Yuanyuan Zhou. PB-LRU: A Self-Tuning Power Aware Storage Cache Replacement Algorithm for Conserving Disk Energy The Proceedings of the International Conference on Supercomputing (ICS'04), June, 2004 (20% acceptance rate) [PS, 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]
- Zhenmin Li, Zhifeng Chen, Sudarshan M.Srinivasan and Yuanyuan Zhou. C-Miner: Mining Block Correlations in Storage Systems. The Proceedings of 3rd USENIX Conference on File and Storage Technologies (FAST’04), March 2004. (20% acceptance rate) [PS, PDF, BibTex]
- Qingbo Zhu, Francis M. David, Christo Devaraj, Zhenmin Li, Yuanyuan Zhou and Pei Cao. Reducing Energy Consumption of Disk Storage Using Power-Aware Cache Management. Proceedings of the 10th International Symposium on High-Performance Computer Architecture (HPCA'04) , Madrid, Spain. February 14-18, 2004. (17% acceptance rate, 27/153)[pdf, ps, BibTex]
- Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki and Kai Li. VI-attached Database Storage. IEEE Transactions on Parallel and Distributed Systems (IEEE-TPDS, Journal), Vol. 16, No. 1, January, 2005. [PDF, BibTex]
- Yuanyuan Zhou, Zhifeng Chen and Kai Li. Second-Level Buffer Cache Management. IEEE Transactions on Parallel and Distributed Systems (IEEE-TPDS, Journal), Vol. 15, No. 7, July, 2004. [PS, BibTex]
- 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].
- Zhenmin Li, Sudarshan M. Srinivasan, Zhifeng Chen, Yuanyuan Zhou, Peter Tzvetkov, Xifeng Yan, and Jiawei Han. Using Data Mining to Discover Patterns in Autonomic Storage Systems. Poster presentation and short paper, 1st Workshop on Algorithms and Architectures for Self-Managing Systems in conjunction with ISCA and SIGMETRICS, 2003.
- Zhifeng Chen, Yuanyuan Zhou and Kai Li. Eviction-based Placement for Storage Caches. USENIX Technical Conference, June 2003. [PDF, 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.
- Yuanyuan Zhou et al. Experiences with VI Communication for Database Storage The 29th International Symposium on Computer Architecture (ISCA'02), May 2002. [ps, pdf BibTex]
- Yuanyuan Zhou, James F. Philbin and Kai Li. The Multi-Queue Replacement Algorithm for Second Level Buffer Caches. USENIX Technical Conference, June 2001. [ps, pdf, BibTex]
-
Yuanyuan Zhou, Peter M. Chen and Kai Li.
Fast Cluster
Failover Using Virtual Memory-Mapped Communication.
The 13th ACM
International Conference on Supercomputer (ICS),
June 1999.[ps,
pdf,
BibTex]
- Yuanyuan Zhou, Limin Wang and Kai Li. Thread Scheduling for Out-of-Core Applications with Memory Server on Multicomputers. Proceedings of the 6th Workshop on Input/Output in Parallel and Distributed Systems (IOPADS ), May 1999.[ps, BibTex]
- Angelos Bilas, Dongming Jiang, Yuanyuan Zhou, and Jaswinder P. Singh. Limits to the Performance of Software Shared Memory: A Layered Approach. Proceedings of the 5th International Symposium on High Performance Computer Architecture (HPCA), January, 1999. [ps, BibTex]
- Yuanyuan Zhou and Kai Li. Dynamic Join and Departure in Shared Object Middlewares. Princeton Technical Report, 1998. [ps]
- Yuanyuan Zhou, Liviu Iftode, Jaswinder P. Singh, Kai Li, Brian R. Toonen, Ioannis Schoinas, Mark D. Hill and David A. Wood. Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation.Proceedings of the 6th ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), June 1997. [ps, pdf, BibTex]
- Yuanyuan Zhou, Liviu Iftode and Kai Li. Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems. Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI 96), October 1996. [ps, pdf, BibTex]
- Yuanyuan Zhou and Jiande Chen. A Duodenal Myoelectrical activity in patients with gastro paresis. Best student paper. Southern American Federation Meeting for Clinical Research, Feb, 1995
- Yuanyuan Zhou, Tao Guan and Shiwei Tang. Extendable Transaction Model. Journal of Computer Science, March, 1993.
2005
2004
2003
2002 and before