Xiao Ma, Peng Huang, Xinxin Jin, Pei Wang, Soyeon Park, Dongcai Shen, Yuanyuan Zhou, Lawrence K. Saul, and Geoffrey M. Voelker. "eDoctor: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones". In the Proceedings of the 10th ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI'13), April 2013
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". In the Proceedings of the 9th ACM/USENIX Symposium on Operating Systems Design and Implementation (OSDI'12), October 2012
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), June 2012
Jiaqi Zhang, Weiwei Xiong, Yang Liu, Soyeon Park, Yuanyuan Zhou and Zhiqiang Ma. "ATDetector: Improving the Accuracy of a Commercial Data Race Detector by Identifying Address Transfer", In the 44th Annual IEEE/ACM International Symposium on Microarchitecture (Micro'11), December 2011
Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou and Stefan Savage.
"Improving Software Diagnoseability via Log Enhancement" , In the Proceedings of Architectural Support for Programming Languages and Operating Systems (ASPLOS'11), March 2011. (nominated for best papers)
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.
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" ,
In the Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and 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" ,
In the Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP'09), October 2009. [PDF]
Soyeon Park, Shan Lu, 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]
Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang,
Zhenmin Li, Raluca 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]
Soyeon Park, Weihang Jiang, Yuanyuan Zhou and Sarita Adve.
"Managing Energy-Performance Tradeoffs for Multithreaded Applications on Multiprocessor Architectures",
In Proceedings of the ACM International Conference on Measurement and
Modeling of Computer Systems (SIGMETRICS'07), June 2007. [PDF]
International Journal
Ding Yuan, Jing Zheng, Soyeon Park , Yuanyuan Zhou, and Stefan Savage. "Improving Software Diagnosability via Log Enhancement" , To appear In the ACM Transactions on Computer Systems (TOCS), 2012.
Shan Lu, Soyeon Park, and Yuanyuan Zhou. "Detecting Concurrency Bugs From the Perspectives of Synchronization Intentions" , To appear In the IEEE Transactions on Parallel and Distributed Systems (TPDS), 2011.
Shan Lu, Soyeon Park, and Yuanyuan Zhou.
"Finding Atomicity-Violation Bugs Through Unserializable Interleaving Testing" , In the IEEE Transactions on Software Engineering (TSE), 22 Mar. 2011 (preprint ISSN:0098-5589).