Eric Koskinen
Eric Koskinen
Assistant Professor of Computer Science, Stevens Institute of Technology
Verified email at stevens.edu - Homepage
Title
Cited by
Cited by
Year
Transactional boosting: a methodology for highly-concurrent transactional objects
M Herlihy, E Koskinen
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008
3342008
Control-flow refinement and progress invariants for bound analysis
S Gulwani, S Jain, E Koskinen
ACM Sigplan Notices 44 (6), 375-385, 2009
1522009
Adding concurrency to smart contracts
T Dickerson, P Gazzillo, M Herlihy, E Koskinen
Proceedings of the ACM Symposium on Principles of Distributed Computing, 303-312, 2017
1062017
Coarse-grained transactions
E Koskinen, M Parkinson, M Herlihy
ACM Sigplan Notices 45 (1), 19-30, 2010
852010
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
702017
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
672014
Borderpatrol: isolating events for black-box tracing
E Koskinen, J Jannotti
ACM SIGOPS Operating Systems Review 42 (4), 191-203, 2008
602008
Code optimization across interfaces
T Harris, R Isaacs, E Koskinen, R Mortier
US Patent 8,214,813, 2012
592012
Dreadlocks: efficient deadlock detection
E Koskinen, M Herlihy
Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008
592008
Making prophecies with decision predicates
B Cook, E Koskinen
ACM SIGPLAN Notices 46 (1), 399-410, 2011
482011
Checkpoints and continuations instead of nested transactions
E Koskinen, M Herlihy
Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008
462008
Reasoning about nondeterminism in programs
B Cook, E Koskinen
ACM SIGPLAN Notices 48 (6), 219-230, 2013
452013
Temporal property verification as a program analysis task
B Cook, E Koskinen, M Vardi
International Conference on Computer Aided Verification, 333-348, 2011
362011
Reducing crash recoverability to reachability
E Koskinen, J Yang
ACM SIGPLAN Notices 51 (1), 97-108, 2016
232016
The push/pull model of transactions
E Koskinen, M Parkinson
ACM SIGPLAN Notices 50 (6), 186-195, 2015
222015
Structural counter abstraction
K Bansal, E Koskinen, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2013
222013
Local temporal reasoning
E Koskinen, T Terauchi
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
182014
Temporal property verification as a program analysis task
B Cook, E Koskinen, M Vardi
Formal Methods in System Design 41 (1), 66-82, 2012
172012
Brief announcement: concurrent non-commutative boosted transactions
E Koskinen, M Herlihy
Proceedings of the 28th ACM symposium on Principles of distributed computing …, 2009
142009
The student is Eric Koskinen. 1 Concurrent Non-commutative Boosted Transactions
E Koskinen, M Herlihy
14*
The system can't perform the operation now. Try again later.
Articles 1–20