Computer Science Software
Resume:
Soyeon Park
Department of Computer Science and Engineering
:http://opera.ucsd.edu/~soyeon
HP
University of California, San Diego (UCSD)
Email : ******@**.****.***
**** ****** *****, */* 0404, La Jolla, CA 92093-0404
Research Interests
Software reliability, debugging and recovery
Memory and storage systems
Power and thermal management
Parallel, distributed, cluster computing
Operating system and computer architecture
Education
Ph.D. in Division of Computer Science, Dept. of EECS 2000~2005
Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
Dissertation : Lightweight Fault-Tolerant Schemes for Software Distributed Shared Memory
Advisor : Prof. Seung Ryoul Maeng
M.S. in Division of Computer Science, Dept. of EECS 1998~2000
Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
Thesis : A Dynamic Table Allocation Scheme to Reduce Storage Overhead of Memory Sharing Pattern
Predictors
Advisor : Prof. Jungwan Cho
B.S. in Dept. of Computer Science 1994~1998
Sogang university, Seoul, Korea
Work Experience
Research Scientist, Department of Computer Science and Engineering 2010~
University of California, San Diego (UCSD), CA, USA
Post-Doc, Department of Computer Science and Engineering 2009~2010
University of California, San Diego (UCSD), CA, USA
Advisor : Prof. Yuanyuan Zhou
Post-Doc, Department of Computer Science 2009~2010
University of Illinois at Urbana-Champaign (UIUC), IL, USA
Advisor : Prof. Yuanyuan Zhou
Teaching Experience
Co-Instructor CS241 System Programming Spring 2008
Undergraduate course in Dept. of Computer Science
University of Illinois at Urbana-Champaign, IL, USA
Instructor 20637 Computer Architecture (two classes) Fall 2004
Undergraduate course in Dept. of Computer Science and Engineering
Chungnam National University, Daejeon, Korea
Teaching Assistant CS211 Digital System and Laboratory Spring 2002, Fall 2001
Undergraduate course in Division of Computer Science, Dept. of EECS
Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
Teaching Assistant CS206 Data S
tructure Spring 2001
Undergraduate course in Division of Computer Science, Dept. of EECS
Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
Teaching Assistant CS610 Parallel Processing Spring 2000
Graduate course in Division of Computer Science, Dept. of EECS
Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
Research Experience
Fall 2010~
Software diagnosability (UCSD)
ATDetector : Identifying address transfer and improving an accuracy of a commercial data race detector
LogEnhancer : Improving Software Diagnosability via Log Enhancement
Fall 2006~Fall 2010
Software bug detection, replay and testing (UIUC, UCSD)
SyncFinder: Characteristic study of ad hoc synchronizations and automatic identification of them
DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs
PRES: Probabilistic replay with execution sketching on multiprocessors
CTrigger: Exposing atomicity violation bugs from their hiding places
MUVI: Infering mulit-variable access correlations and detectinig related semantic and concurrency bugs
Comprehensive study on real world concurrency bug characteristics
Performance guaranteed energy management (UIUC) Fall 2005~Fall 2006
Managing energy-performance tradeoffs for multi-threaded applications
Fall 1999~Fall 2004
Development of a high-performance cluster system (KAIST)
KAIST Distributed Shared Memory (KDSM) over VIA
Fault-tolerant KDSM (FT-KDSM)
MPI over VIA
Research on Distributed Parallel Computing 1998
Client/server system and software tools for parallel computing on distributed PCs and workstations.
Publications
Conference Papers
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), Dec 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, 9th USENIX Symposium on Operating Systems Design and Implementation
(OSDI'10), Oct 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), Oct 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), Sept 2009
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 200
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
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
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
Soyeon Park, Youngjae Kim, Seung Ryoul Maeng, "Lightweight Logging and Recovery for Distributed
Shared Memory over Virtual Interface Architecture", 2nd IEEE International Symposium on Parallel and
Distributed Computing (ISPDC'03), Oct. 2003
Youngjae Kim, Soyeon Park, Seung Ryoul Maeng, "Practical Schemes using Logs for Lightweight
Recoverable DSM", 15th IASTED International Conference Parallel And Distributed Computing and
Systems (PDCS'03), Nov. 2003
Soyeon Park, Joonwon Lee, Seung Ryoul Maeng, "A Dynamic Table Allocation Scheme for Reducing
Storage Overhead of Coherence Message Predictors", International Conference on Computer and
Information Science (ICIS'01), Oct. 2001.
Soyeon Park, Youngjae Kim, Seung Ryoul Maeng, Remote Logging for Fault Tolerant Software
Distributed Shared Memory, 30th Korea Information Science Society (KISS), April 2003 (Korean)
Youngjae Kim, Soyeon Park, Seung Ryoul Maeng, Enhancing the Performance of Fault-Tolerant
Software Distributed Shared Memory, 30th Korea Information Science Society (KISS), April 2003
(Korean)
Soyeon Park, Youngjae Kim, Sangkwon Lee, Seung Ryoul Maeng, Design and Implementation of
Software Distributed Shared Memory System based on VIA, 29th Korea Information Science Society
(KISS), April 2002 (Korean)
Soyeon Park, Joonwon Lee, Seung Ryoul Maeng, "Pattern Cache: Design of a Coherence Message
Predictor with Reduced Storage Overhead", Conference on SIG Computer Systems, Sept. 2001 (Korean)
Soyeon Park, Young Choul Sohn, Kue Hwan Shin, Seung Ryoul Maeng, Joonwon Lee, Jungwan Cho,
The design of Memory Sharing Pattern predictors with Cache Structure, 27th Korea Information Science
Society (KISS), April 2000 (Korean)
Journal Papers
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),
Feb 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).
Soyeon Park, Seung Ryoul Maeng, Log-based Rollback Recovery without Checkpoints of Shared
Memory in DSM, Journal of Supercomputing, vol.35, no.2, 2006
Soyeon Park, Youngjae Kim, Seung Ryoul Maeng, Implementation of Fault Tolerant Software
Distributed Shared Memory with Remote Logging, Journal of Korea Information Science Society (KISS),
vol.31, no.5, 2004
Dong-Hyun Lee, Sang-Kwon Lee, Soyeon Park, Seung Ryoul Maeng, "Implementation and performance
evaluation of software distributed shared memory for SMP clusters", Journal of Korea Information Science
Society (KISS), Vol.30, No.7, 2003
Thesis
Soyeon Park, Lightweight Fault-Tolerant Schemes for Software Distributed Shared Memory, Ph.D.
Thesis, Division of Computer Science, Department of Electrical Engineering and Computer Science,
KAIST, 2005
Soyeon Park, A Dynamic Table Allocation Scheme to Reduce Storage Overhead of Memory Sharing
Pattern Predictors, MS Thesis, Department of Computer Science, KAIST, 2000
Awards and Honors
Graduate Student at KAIST
2003~2004
Company Scholarship from Samsung Electronics Corporation
KAIST Scholarship 2000~2002
National Scholarship 1998~1999
Undergraduate Student at Sogang University
Outstanding (A) Student Scholarship Spring 1997, Fall 1997
Fall 1996
(B) Student Scholarship
Fall 1996
Scholarship awarded for exceptional academic achievement
: I traveled Europe visiting various Universities and locations.
Spring 1996
Outstanding (A) student Scholarship
(B) Student Scholarship Fall 1995
Contact this candidate