Chang-Seo Park
Chang-Seo Park
Verified email at google.com
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
1982009
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
2009 IEEE 31st International Conference on Software Engineering, 386-396, 2009
1892009
Randomized active atomicity violation detection in concurrent programs
CS Park, K Sen
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
1842008
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
1272009
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
482011
Concurrent breakpoints
CS Park, K Sen
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012
142012
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
132013
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
22013
Active Testing: Predicting and Confirming Concurrency Bugs for Concurrent and Distributed Memory Parallel Systems
CS Park
UC Berkeley, 2012
22012
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
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