| 2013 | ||
|---|---|---|
| c7 | Chang-Seo Park, Koushik Sen, Costin Iancu: Scalable data race detection for partitioned global address space programs. PPOPP 2013: 305-306 | |
| 2012 | ||
| c6 | ||
| 2011 | ||
| c5 | Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu: Efficient data race detection for distributed memory parallel programs. SC 2011: 51 | |
| 2009 | ||
| c4 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen: CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681 | |
| c3 | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay: Effective static deadlock detection. ICSE 2009: 386-396 | |
| c2 | Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik: A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120 | |
| 2008 | ||
| c1 | Chang-Seo Park, Koushik Sen: Randomized active atomicity violation detection in concurrent programs. SIGSOFT FSE 2008: 135-145 | |
| 1 | David Gay | |
| 2 | Paul Hargrove | |
| 3 | Costin Iancu | |
| 4 | Pallavi Joshi | |
| 5 | Mayur Naik | |
| 6 | Koushik Sen |
Data released under the ODC-BY 1.0 license — See also our legal information page