Follow
Chang-Seo Park
Chang-Seo Park
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
A randomized dynamic program analysis technique for detecting real deadlocks
P Joshi, CS Park, K Sen, M Naik
ACM Sigplan Notices 44 (6), 110-120, 2009
2452009
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
2009 IEEE 31st International Conference on Software Engineering, 386-396, 2009
2382009
Randomized active atomicity violation detection in concurrent programs
CS Park, K Sen
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
2082008
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
P Joshi, M Naik, CS Park, K Sen
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
1542009
Efficient data race detection for distributed memory parallel programs
CS Park, K Sen, P Hargrove, C Iancu
Proceedings of 2011 International Conference for High Performance Computing …, 2011
612011
Concurrent breakpoints
CS Park, K Sen
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012
182012
Scaling data race detection for partitioned global address space programs
CS Park, K Sen, C Iancu
Proceedings of the 27th international ACM conference on International …, 2013
142013
Active Testing: Predicting and Confirming Concurrency Bugs for Concurrent and Distributed Memory Parallel Systems
CS Park
University of California, Berkeley, 2012
42012
Scalable data race detection for partitioned global address space programs
CS Park, K Sen, C Iancu
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
32013
Automatic Prevention of Accidents in Production
CS Park
Proceedings of the IEEE/ACM 1st International Conference on Automation of …, 2020
2020
Berkeley Unified Parallel C (UPC) runtime library
D Bonachea, P Hargrove, J Duell, WY Chen, M Welcome, C Iancu, C Bell, ...
Lawrence Berkeley National Laboratory (LBNL), Berkeley, CA (United States), 2018
2018
Par Lab Progress on Correctness Tools for Parallel Programs
J Burnim, T Elmas, CS Park, K Sen
The system can't perform the operation now. Try again later.
Articles 1–12