Eric Koskinen

	2011
9		Byron Cook, Eric Koskinen, Moshe Y. Vardi: Temporal Property Verification as a Program Analysis Task. CAV 2011: 333-348
8		Byron Cook, Eric Koskinen: Making prophecies with decision predicates. POPL 2011: 399-410
	2010
7		Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy: Coarse-grained transactions. POPL 2010: 19-30
	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	Byron Cook	[8] [9]
2	Sumit Gulwani	[6]
3	Maurice Herlihy	[1] [2] [3] [5] [7]
4	Sagar Jain	[6]
5	John Jannotti	[4]
6	Matthew J. Parkinson	[7]
7	Moshe Y. Vardi	[9]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page