| 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 | 375 | 2008 |
| 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 | 256 | 2017 |
| Control-flow refinement and progress invariants for bound analysis S Gulwani, S Jain, E Koskinen ACM Sigplan Notices 44 (6), 375-385, 2009 | 172 | 2009 |
| 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 | 112 | 2017 |
| 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 | 86 | 2021 |
| Coarse-grained transactions E Koskinen, M Parkinson, M Herlihy Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 86 | 2010 |
| Commutativity race detection D Dimitrov, V Raychev, M Vechev, E Koskinen ACM SIGPLAN Notices 49 (6), 305-315, 2014 | 77 | 2014 |
| Dreadlocks: efficient deadlock detection E Koskinen, M Herlihy Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008 | 64 | 2008 |
| Borderpatrol: isolating events for black-box tracing E Koskinen, J Jannotti ACM SIGOPS Operating Systems Review 42 (4), 191-203, 2008 | 64 | 2008 |
| Code optimization across interfaces T Harris, R Isaacs, E Koskinen, R Mortier US Patent 8,214,813, 2012 | 59 | 2012 |
| Reasoning about nondeterminism in programs B Cook, E Koskinen Proceedings of the 34th ACM SIGPLAN Conference on Programming Language …, 2013 | 57 | 2013 |
| Making prophecies with decision predicates B Cook, E Koskinen Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 57 | 2011 |
| Constraint-based relational verification H Unno, T Terauchi, E Koskinen International Conference on Computer Aided Verification, 742-766, 2021 | 51 | 2021 |
| Checkpoints and continuations instead of nested transactions E Koskinen, M Herlihy Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008 | 49 | 2008 |
| Temporal property verification as a program analysis task B Cook, E Koskinen, M Vardi International Conference on Computer Aided Verification, 333-348, 2011 | 43 | 2011 |
| Local temporal reasoning E Koskinen, T Terauchi Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 33 | 2014 |
| Reducing crash recoverability to reachability E Koskinen, J Yang Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 32 | 2016 |
| The push/pull model of transactions E Koskinen, M Parkinson ACM SIGPLAN Notices 50 (6), 186-195, 2015 | 30 | 2015 |
| 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 | 29 | 2018 |
| 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 | 27 | 2018 |
