Yuanyuan Zhou

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 22

Top Topics

Early Detection

Declarative Language

Top Venues

USENIX Annual Technical Conference

USENIX Security Symposium

Publications

Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, Yuanyuan Zhou
Laurel: Generating Dafny Assertions Using Large Language Models. CoRR (2024)
Li Zhong, Chengcheng Xiang, Haochen Huang, Bingyu Shen, Eric Mugnier, Yuanyuan Zhou
Effective Bug Detection with Unused Definitions. EuroSys (2024)
Bingyu Shen, Tianyi Shan, Yuanyuan Zhou
Improving Logging to Reduce Permission Over-Granting Mistakes. USENIX Security Symposium (2023)
Haochen Huang, Bingyu Shen, Li Zhong, Yuanyuan Zhou
Protecting Data Integrity of Web Applications with Database Constraints Inferred from Application Code. ASPLOS (2) (2023)
Bingyu Shen, Tianyi Shan, Yuanyuan Zhou
Multiview: Finding Blind Spots in Access-Deny Issues Diagnosis. USENIX Security Symposium (2023)
Bingyu Shen, Lili Wei, Chengcheng Xiang, Yudong Wu, Mingyao Shen, Yuanyuan Zhou, Xinxin Jin
Can Systems Explain Permissions Better? Understanding Users' Misperceptions under Smartphone Runtime Permission Model. USENIX Security Symposium (2021)
Haochen Huang, Chengcheng Xiang, Li Zhong, Yuanyuan Zhou
PYLIVE: On-the-Fly Code Change for Python-based Online Services. USENIX Annual Technical Conference (2021)
Chengcheng Xiang, Haochen Huang, Andrew Yoo, Yuanyuan Zhou, Shankar Pasupathy
PracExtractor: Extracting Configuration Good Practices from Manuals to Detect Server Misconfigurations. USENIX Annual Technical Conference (2020)
Yudong Wu, Mingyao Shen, Yi-Hui Chen, Yuanyuan Zhou
Tuning applications for efficient GPU offloading to in-memory processing. ICS (2020)
Chengcheng Xiang, Yudong Wu, Bingyu Shen, Mingyao Shen, Haochen Huang, Tianyin Xu, Yuanyuan Zhou, Cindy Moore, Xinxin Jin, Tianwei Sheng
Towards Continuous Access Control Validation and Forensics. CCS (2019)
Xinxin Jin, William G. Griswold, Yuanyuan Zhou
ANEL: robust mobile network programming using a declarative language. MOBILESoft@ICSE (2018)
Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan, Yuanyuan Zhou
Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold. SOSP (2017)
Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy
Early Detection of Configuration Errors to Reduce Failure Damage. USENIX Annual Technical Conference (2017)
Tianyin Xu, Han Min Naing, Le Lu, Yuanyuan Zhou
How Do System Administrators Resolve Access-Denied Issues in the Real World? CHI (2017)
Peng Huang, Tianyin Xu, Xinxin Jin, Yuanyuan Zhou
DefDroid: Towards a More Defensive Mobile OS Against Disruptive App Behavior. MobiSys (2016)
Xinxin Jin, Peng Huang, Tianyin Xu, Yuanyuan Zhou
NChecker: saving mobile app developers from network disruptions. EuroSys (2016)
Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy
Early Detection of Configuration Errors to Reduce Failure Damage. OSDI (2016)
Margo I. Seltzer, Mark Miller, David Mazières, Yuanyuan Zhou
Is achieving security a hopeless quest? SOSP History Day (2015)
Tianyin Xu, Long Jin, Xuepeng Fan, Yuanyuan Zhou, Shankar Pasupathy, Rukma Talwadker
Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software. ESEC/SIGSOFT FSE (2015)
Tianyin Xu, Yuanyuan Zhou
Systems Approaches to Tackling Configuration Errors: A Survey. ACM Comput. Surv. 47 (4) (2015)
Peng Huang, William J. Bolosky, Abhishek Singh, Yuanyuan Zhou
ConfValley: a systematic configuration validation framework for cloud services. EuroSys (2015)
Xinxin Jin, Soyeon Park, Tianwei Sheng, Rishan Chen, Zhiyong Shan, Yuanyuan Zhou
FTXen: Making hypervisor resilient to hardware faults on relaxed cores. HPCA (2015)
Lin Tan, Chen Liu, Zhenmin Li, Xuanhui Wang, Yuanyuan Zhou, ChengXiang Zhai
Bug characteristics in open source software. Empir. Softw. Eng. 19 (6) (2014)
Peng Huang, Xiao Ma, Dongcai Shen, Yuanyuan Zhou
Performance regression testing target prioritization via performance risk analysis. ICSE (2014)
Jiaqi Zhang, Lakshminarayanan Renganarayana, Xiaolan Zhang, Niyu Ge, Vasanth Bala, Tianyin Xu, Yuanyuan Zhou
EnCore: exploiting system environment and correlation information for misconfiguration detection. ASPLOS (2014)
Michael Mihn-Jong Lee, Indrajit Roy, Alvin AuYoung, Vanish Talwar, K. R. Jayaram, Yuanyuan Zhou
Views and Transactional Storage for Large Graphs. Middleware (2013)
Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy
Do not blame users for misconfigurations. SOSP (2013)
Xiao Ma, Peng Huang, Xinxin Jin, Pei Wang, Soyeon Park, Dongcai Shen, Yuanyuan Zhou, Lawrence K. Saul, Geoffrey M. Voelker
eDoctor: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones. NSDI (2013)
Ding Yuan, Soyeon Park, Peng Huang, Yang Liu, Michael Mihn-Jong Lee, Xiaoming Tang, Yuanyuan Zhou, Stefan Savage
Be Conservative: Enhancing Failure Diagnosis with Proactive Logging. OSDI (2012)
Shan Lu, Soyeon Park, Yuanyuan Zhou
Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions. IEEE Trans. Parallel Distributed Syst. 23 (6) (2012)
Shan Lu, Soyeon Park, Yuanyuan Zhou
Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing. IEEE Trans. Software Eng. 38 (4) (2012)
Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy, Lakshmi N. Bairavasundaram
How do fixes become bugs? SIGSOFT FSE (2011)
Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram, Shankar Pasupathy
An empirical study on configuration errors in commercial and open source systems. SOSP (2011)
Lin Tan, Yuanyuan Zhou, Yoann Padioleau
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs. ICSE (2011)
Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy
SherLog: error diagnosis by connecting clues from run-time logs. ASPLOS (2010)
Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs. OOPSLA (2010)
Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou, Zhiqiang Ma
Ad Hoc Synchronization Considered Harmful. OSDI (2010)
Weihang Jiang, Chongfeng Hu, Shankar Pasupathy, Arkady Kanevsky, Yuanyuan Zhou
Storage System Problem Troubleshooting andSystem Logs. login Usenix Mag. 34 (3) (2009)
Yoann Padioleau, Lin Tan, Yuanyuan Zhou
Listening to programmers - Taxonomies and characteristics of comments in operating system code. ICSE (2009)
Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu
PRES: probabilistic replay with execution sketching on multiprocessors. SOSP (2009)
Joseph Tucek, Weiwei Xiong, Yuanyuan Zhou
Efficient online validation with delta execution. ASPLOS (2009)
Soyeon Park, Shan Lu, Yuanyuan Zhou
CTrigger: exposing atomicity violation bugs from their hiding places. ASPLOS (2009)
Weihang Jiang, Chongfeng Hu, Shankar Pasupathy, Arkady Kanevsky, Zhenmin Li, Yuanyuan Zhou
Understanding Customer Problem Troubleshooting from Storage System Logs. FAST (2009)
Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ASPLOS (2008)
Zhe Zhang, Kyuhyung Lee, Xiaosong Ma, Yuanyuan Zhou
PFC: Transparent Optimization of Existing Prefetching Strategies for Multi-Level Storage Systems. ICDCS (2008)
Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou, Arkady Kanevsky
Are disks the dominant contributor for storage failures - A comprehensive study of storage subsystem failure characteristics. ACM Trans. Storage 4 (3) (2008)
Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou, Arkady Kanevsky
Don't Blame Disks for Every Storage Subsystem Failure. login Usenix Mag. 33 (3) (2008)
Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou, Arkady Kanevsky
Are Disks the Dominant Contributor for Storage Failures? A Comprehensive Study of Storage Subsystem Failure Characteristics. FAST (2008)
Samuel T. King, Joseph Tucek, Anthony Cozzie, Chris Grier, Weihang Jiang, Yuanyuan Zhou
Designing and Implementing Malicious Hardware. LEET (2008)
Shan Lu, Weihang Jiang, Yuanyuan Zhou
A study of interleaving coverage criteria. ESEC/SIGSOFT FSE (2007)
Yan Zhang, Zhifeng Chen, Yuanyuan Zhou
Efficient Execution of Multiple Queries on Deep Memory Hierarchy. J. Comput. Sci. Technol. 22 (2) (2007)
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou
Triage: diagnosing production run failures at the user's site. SOSP (2007)
Lin Tan, Ding Yuan, Gopal Krishna, Yuanyuan Zhou
/*icomment: bugs or bad comments?*/. SOSP (2007)
Joseph Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou, Dawn Xiaodong Song
Sweeper: a lightweight end-to-end system for defending against fast worms. EuroSys (2007)
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. IEEE Micro 27 (1) (2007)
Feng Qin, Joseph Tucek, Yuanyuan Zhou, Jagadeesan Sundaresan
Rx: Treating bugs as allergies - a safe method to survive software failures. ACM Trans. Comput. Syst. 25 (3) (2007)
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. SOSP (2007)
Lin Tan, Ding Yuan, Yuanyuan Zhou
HotComments: How to Make Program Comments More Useful? HotOS (2007)
Soyeon Park, Weihang Jiang, Yuanyuan Zhou, Sarita V. Adve
Managing energy-performance tradeoffs for multithreaded applications on multiprocessor architectures. SIGMETRICS (2007)
Shan Lu, Weihang Jiang, Yuanyuan Zhou
A study of interleaving coverage criteria. ESEC/SIGSOFT FSE (Companion) (2007)
Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code. IEEE Trans. Software Eng. 32 (3) (2006)
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou
AVIO: detecting atomicity violations via access interleaving invariants. ASPLOS (2006)
Vivek Pandey, Weihang Jiang, Yuanyuan Zhou, Ricardo Bianchini
DMA-aware memory energy management. HPCA (2006)
Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep Torrellas
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection. MICRO (2006)
Yan Zhang, Zhifeng Chen, Yuanyuan Zhou
MiniTasking: Improving Cache Performance for Multiple Query Workloads. WAIM (2006)
Zhenmin Li, Lin Tan, Xuanhui Wang, Shan Lu, Yuanyuan Zhou, Chengxiang Zhai
Have things changed now?: an empirical study of bug characteristics in modern open source software. ASID (2006)
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou
Automatic On-line Failure Diagnosis at the End-User Site. HotDep (2006)
Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou
Rx: treating bugs as allergies - a safe method to survive software failures. SOSP (2005)
Zhenmin Li, Zhifeng Chen, Yuanyuan Zhou
Mining block correlations to improve storage performance. ACM Trans. Storage 1 (2) (2005)
Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki, Kai Li
VI-Attached Database Storage. IEEE Trans. Parallel Distributed Syst. 16 (1) (2005)
Qingbo Zhu, Zhifeng Chen, Lin Tan, Yuanyuan Zhou, Kimberly Keeton, John Wilkes
Hibernator: helping disk arrays sleep through the winter. SOSP (2005)
Feng Qin, Joseph Tucek, Yuanyuan Zhou
Treating Bugs as Allergies: A Safe Method for Surviving Software Failures. HotOS (2005)
Feng Qin, Shan Lu, Yuanyuan Zhou
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs. HPCA (2005)
Zhifeng Chen, Yan Zhang, Yuanyuan Zhou, Heidi Scott, Berni Schiefer
Empirical evaluation of multi-level buffer cache collaboration for storage systems. SIGMETRICS (2005)
Qingbo Zhu, Yuanyuan Zhou
Power-Aware Storage Cache Management. IEEE Trans. Computers 54 (5) (2005)
Qingbo Zhu, Asim Shankar, Yuanyuan Zhou
PB-LRU: a self-tuning power aware storage cache replacement algorithm for conserving disk energy. ICS (2004)
Zhenmin Li, Zhifeng Chen, Sudarshan M. Srinivasan, Yuanyuan Zhou
C-Miner: Mining Block Correlations in Storage Systems. FAST (2004)
Xiaodong Li, Zhenmin Li, Pin Zhou, Yuanyuan Zhou, Sarita V. Adve, Sanjeev Kumar
Performance-Directed Energy Management for Storage Systems. IEEE Micro 24 (6) (2004)
Yuanyuan Zhou, Zhifeng Chen, Kai Li
Second-Level Buffer Cache Management. IEEE Trans. Parallel Distributed Syst. 15 (6) (2004)
Qingbo Zhu, Francis M. David, Christo Frank Devaraj, Zhenmin Li, Yuanyuan Zhou, Pei Cao
Reducing Energy Consumption of Disk Storage Using Power-Aware Cache Management. HPCA (2004)
Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. OSDI (2004)
Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants. MICRO (2004)
Cristina L. Abad, Jed Taylor, Cigdem Sengul, William Yurcik, Yuanyuan Zhou, Kenneth E. Rowe
Log Correlation for Intrusion Detection: A Proof of Concept. ACSAC (2003)
Zhifeng Chen, Yuanyuan Zhou, Kai Li
Eviction-based Cache Placement for Storage Caches. USENIX Annual Technical Conference, General Track (2003)
Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin
Experiences with VI Communication for Database Storage. ISCA (2002)
Yuanyuan Zhou, James Philbin, Kai Li
The Multi-Queue Replacement Algorithm for Second Level Buffer Caches. USENIX Annual Technical Conference, General Track (2001)
Yuanyuan Zhou, Peter M. Chen, Kai Li
Fast cluster failover using virtual memory-mapped communication. International Conference on Supercomputing (1999)
Angelos Bilas, Dongming Jiang, Yuanyuan Zhou, Jaswinder Pal Singh
Limits to the Performance of Software Shared Memory: A Layered Approach. HPCA (1999)
Yuanyuan Zhou, Limin Wang, Douglas W. Clark, Kai Li
Thread Scheduling for Out-of-core Applications with Memory Server on Multicomputers. IOPADS (1999)
Yuanyuan Zhou, Liviu Iftode, Jaswinder Pal Singh, Kai Li, Brian R. Toonen, Ioannis Schoinas, Mark D. Hill, David A. Wood
Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation. PPOPP (1997)
Yuanyuan Zhou, Liviu Iftode, Kai Li
Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems. OSDI (1996)