Found 4 results

Naik, M., Park C. - S., Sen K., & Gay D. (2009).  Effective Static Deadlock Detection. 31st International Conference on Software Engineering, Vancouver (ICSE 09). Abstract
Joshi, P., Park C. - S., Naik M., & Sen K. (2009).  A randomized dynamic program analysis technique for detecting real deadlocks. Conference on Programming Language Design and Implementation (PLDI'09). 110 - 120. Abstract
Park, C. - S., & Sen K. (2008).  Randomized Active Atomicity Violation Detection in Concurrent Programs. 16th International Symposium on Foundations of Software Engineering (FSE'08). Abstract