Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Eric Koskinen" ( http://dblp.L3S.de/Authors/Eric_Koskinen )

  Author page on DBLP  Author page in RDF  Community of Eric Koskinen in ASPL-2

Publication years (Num. hits)
2008 (4) 2009 (2) 2010 (1) 2011 (2)
Publication types (Num. hits)
inproceedings(9)
Venues (Conferences, Journals, ...)
POPL(2) SPAA(2) CAV(1) EuroSys(1) PLDI(1) PODC(1) PPOPP(1)
Authors
Eric Koskinen(9) Maurice Herlihy(5) Byron Cook(2) John Jannotti(1) Matthew J. Parkinson(1) Moshe Y. Vardi(1) Sagar Jain(1) Sumit Gulwani(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 27 occurrences of 19 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Byron Cook, Eric Koskinen Making prophecies with decision predicates. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Byron Cook, Eric Koskinen, Moshe Y. Vardi Temporal Property Verification as a Program Analysis Task. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy Coarse-grained transactions. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity
1Sumit Gulwani, Sagar Jain, Eric Koskinen Control-flow refinement and progress invariants for bound analysis. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis
1Eric Koskinen, Maurice Herlihy Brief announcement: concurrent non-commutative boosted transactions. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cyclic dependency, lazy recovery, transactional boosting, transactional memory, commutativity
1Eric Koskinen, Maurice Herlihy Checkpoints and continuations instead of nested transactions. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parallel programming, concurrency, checkpoints, transactional memory, boosting, continuations
1Eric Koskinen, Maurice Herlihy Dreadlocks: efficient deadlock detection. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
1Eric Koskinen, John Jannotti BorderPatrol: isolating events for black-box tracing. Search on Bibsonomy EuroSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF black box systems, causal paths, distributed systems, performance analysis, performance debugging
1Maurice Herlihy, Eric Koskinen Transactional boosting: a methodology for highly-concurrent transactional objects. Search on Bibsonomy PPOPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.