| * | 2009 |
|---|
| 4 | EE | Pallavi Joshi,
Mayur Naik,
Chang-Seo Park,
Koushik Sen:
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.
CAV 2009: 675-681 |
| 3 | EE | Mayur Naik,
Chang-Seo Park,
Koushik Sen,
David Gay:
Effective static deadlock detection.
ICSE 2009: 386-396 |
| 2 | EE | Pallavi Joshi,
Chang-Seo Park,
Koushik Sen,
Mayur Naik:
A randomized dynamic program analysis technique for detecting real deadlocks.
PLDI 2009: 110-120 |
| 2008 |
|---|
| 1 | EE | Chang-Seo Park,
Koushik Sen:
Randomized active atomicity violation detection in concurrent programs.
SIGSOFT FSE 2008: 135-145 |
