opera

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


Concurrency/Multicore
  • Lin Tan, Yuanyuan Zhou and Yoann Padioleau. aComment: Mining Annotations from Comments and Code to Detect Interrupt-Related Concurrency Bugs. In the Proceedings of the 31st International Conference on Software Engineering (ICSE'11), Waikiki, Honolulu, Hawaii, May 2011.
  • 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.
  • 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]
  • 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]
  • 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, 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]
  • 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]
  • 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
  • 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, 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]