| 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 | 261 | 2009 |
| Effective static deadlock detection M Naik, CS Park, K Sen, D Gay 2009 IEEE 31st International Conference on Software Engineering, 386-396, 2009 | 244 | 2009 |
| Randomized active atomicity violation detection in concurrent programs CS Park, K Sen Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 214 | 2008 |
| 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 | 159 | 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 | 64 | 2011 |
| Concurrent breakpoints CS Park, K Sen Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012 | 18 | 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 | 14 | 2013 |
| Active testing: predicting and confirming concurrency bugs for concurrent and distributed memory parallel systems CS Park University of California, Berkeley, 2012 | 4 | 2012 |
| 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 | 3 | 2013 |
| 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 | | |
