Chang-Seo Park
Chang-Seo Park
Verified email at
TitleCited byYear
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
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
Randomized active atomicity violation detection in concurrent programs
CS Park, K Sen
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
P Joshi, M Naik, CS Park, K Sen
International Conference on Computer Aided Verification, 675-681, 2009
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
Concurrent breakpoints
CS Park, K Sen
ACM SIGPLAN Notices 47 (8), 331-332, 2012
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
Scalable data race detection for partitioned global address space programs
CS Park, K Sen, C Iancu
ACM SIGPLAN Notices 48 (8), 305-306, 2013
Active Testing: Predicting and Confirming Concurrency Bugs for Concurrent and Distributed Memory Parallel Systems
CS Park
UC Berkeley, 2012
Berkeley Unified Parallel C (UPC) runtime library
D Bonachea, P Hargrove, J Duell, WY Chen, M Welcome, C Iancu, C Bell, ...
Lawrence Berkeley National Lab.(LBNL), Berkeley, CA (United States), 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–11