Eric Koskinen

	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

Coauthor Index

1	Sumit Gulwani	[6]
2	Maurice Herlihy	[1] [2] [3] [5]
3	Sagar Jain	[6]
4	John Jannotti	[4]

Colors in the list of coauthors