 | 2012 |
|---|
| 11 |       | Jacob Burnim,
Tayfun Elmas,
George C. Necula,
Koushik Sen:
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.
PPOPP 2012: 329-330 |
| 2011 |
|---|
| 10 | | Jacob Burnim,
George C. Necula,
Koushik Sen:
Specifying and checking semantic atomicity for multithreaded programs.
ASPLOS 2011: 79-90 |
| 9 | | Jacob Burnim,
Koushik Sen,
Christos Stergiou:
Testing concurrent programs on relaxed memory models.
ISSTA 2011: 122-132 |
| 8 | | Jacob Burnim,
Tayfun Elmas,
George C. Necula,
Koushik Sen:
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.
PLDI 2011: 401-414 |
| 7 | | Jacob Burnim,
Koushik Sen,
Christos Stergiou:
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.
TACAS 2011: 11-25 |
| 2010 |
|---|
| 6 | | Jacob Burnim,
Koushik Sen:
DETERMIN: inferring likely deterministic specifications of multithreaded programs.
ICSE (1) 2010: 415-424 |
| 5 | | Jacob Burnim,
Koushik Sen:
Asserting and checking determinism for multithreaded programs.
Commun. ACM 53(6): 97-105 (2010) |
| 2009 |
|---|
| 4 | | Jacob Burnim,
Nicholas Jalbert,
Christos Stergiou,
Koushik Sen:
Looper: Lightweight Detection of Infinite Loops at Runtime.
ASE 2009: 161-169 |
| 3 | | Jacob Burnim,
Koushik Sen:
Asserting and checking determinism for multithreaded programs.
ESEC/SIGSOFT FSE 2009: 3-12 |
| 2 | | Jacob Burnim,
Sudeep Juvekar,
Koushik Sen:
WISE: Automated test generation for worst-case complexity.
ICSE 2009: 463-473 |
| 2008 |
|---|
| 1 | | Jacob Burnim,
Koushik Sen:
Heuristics for Scalable Dynamic Test Generation.
ASE 2008: 443-446 |
Data released under the ODC-BY 1.0 license — See also our legal information page