Follow
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
3542008
Control-flow refinement and progress invariants for bound analysis
S Gulwani, S Jain, E Koskinen
ACM Sigplan Notices 44 (6), 375-385, 2009
1652009
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
1572017
Coarse-grained transactions
E Koskinen, M Parkinson, M Herlihy
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
832010
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
812017
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
772014
Borderpatrol: isolating events for black-box tracing
E Koskinen, J Jannotti
ACM SIGOPS Operating Systems Review 42 (4), 191-203, 2008
632008
Dreadlocks: efficient deadlock detection
E Koskinen, M Herlihy
Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008
622008
Code optimization across interfaces
T Harris, R Isaacs, E Koskinen, R Mortier
US Patent 8,214,813, 2012
592012
Making prophecies with decision predicates
B Cook, E Koskinen
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
502011
Reasoning about nondeterminism in programs
B Cook, E Koskinen
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language …, 2013
492013
Checkpoints and continuations instead of nested transactions
E Koskinen, M Herlihy
Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008
472008
Temporal property verification as a program analysis task
B Cook, E Koskinen, M Vardi
International Conference on Computer Aided Verification, 333-348, 2011
372011
Reducing crash recoverability to reachability
E Koskinen, J Yang
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
272016
The push/pull model of transactions
E Koskinen, M Parkinson
ACM SIGPLAN Notices 50 (6), 186-195, 2015
262015
Structural counter abstraction
K Bansal, E Koskinen, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2013
212013
Temporal property verification as a program analysis task
B Cook, E Koskinen, M Vardi
Formal Methods in System Design 41 (1), 66-82, 2012
182012
Automatic Generation of Precise and Useful Commutativity Conditions
K Bansal, E Koskinen, O Tripp
International Conference on Tools and Algorithms for the Construction and …, 2018
162018
Local temporal reasoning
E Koskinen, T Terauchi
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
162014
Sok: All you ever wanted to know about x86/x64 binary disassembly but were afraid to ask
C Pang, R Yu, Y Chen, E Koskinen, G Portokalidis, B Mao, J Xu
2021 IEEE Symposium on Security and Privacy (SP), 833-851, 2021
152021
The system can't perform the operation now. Try again later.
Articles 1–20