Follow
Eric Koskinen
Eric Koskinen
Charles Berendsen Associate 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
3702008
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
2392017
Control-flow refinement and progress invariants for bound analysis
S Gulwani, S Jain, E Koskinen
ACM Sigplan Notices 44 (6), 375-385, 2009
1712009
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
1052017
Coarse-grained transactions
E Koskinen, M Parkinson, M Herlihy
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
842010
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
832014
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
712021
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
572011
Reasoning about nondeterminism in programs
B Cook, E Koskinen
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language …, 2013
562013
Checkpoints and continuations instead of nested transactions
E Koskinen, M Herlihy
Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008
492008
Temporal property verification as a program analysis task
B Cook, E Koskinen, M Vardi
International Conference on Computer Aided Verification, 333-348, 2011
422011
Constraint-based relational verification
H Unno, T Terauchi, E Koskinen
International Conference on Computer Aided Verification, 742-766, 2021
392021
Reducing crash recoverability to reachability
E Koskinen, J Yang
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
322016
Local temporal reasoning
E Koskinen, T Terauchi
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
312014
The push/pull model of transactions
E Koskinen, M Parkinson
ACM SIGPLAN Notices 50 (6), 186-195, 2015
302015
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
272018
A fixpoint logic and dependent effects for temporal property verification
Y Nanjo, H Unno, E Koskinen, T Terauchi
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
252018
The system can't perform the operation now. Try again later.
Articles 1–20