| 2009 | ||
|---|---|---|
| 6 | Sumit Gulwani, Sagar Jain, Eric Koskinen: Control-flow refinement and progress invariants for bound analysis. PLDI 2009: 375-385 | |
| 5 | Eric Koskinen, Maurice Herlihy: Brief announcement: concurrent non-commutative boosted transactions. PODC 2009: 272-273 | |
| 2008 | ||
| 4 | Eric Koskinen, John Jannotti: BorderPatrol: isolating events for black-box tracing. EuroSys 2008: 191-203 | |
| 3 | Maurice Herlihy, Eric Koskinen: Transactional boosting: a methodology for highly-concurrent transactional objects. PPOPP 2008: 207-216 | |
| 2 | Eric Koskinen, Maurice Herlihy: Checkpoints and continuations instead of nested transactions. SPAA 2008: 160-168 | |
| 1 | Eric Koskinen, Maurice Herlihy: Dreadlocks: efficient deadlock detection. SPAA 2008: 297-303 | |
| 1 | Sumit Gulwani | [6] |
| 2 | Maurice Herlihy | [1] [2] [3] [5] |
| 3 | Sagar Jain | [6] |
| 4 | John Jannotti | [4] |