| 2025 | VMCAI | An Abstract Domain for Heap Commutativity. | Jared Pincus, Eric Koskinen |
| 2023 | ATVA | Better Predicates and Heuristics for Improved Commutativity Synthesis. | Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen |
| 2021 | APLAS | Proving LTL Properties of Bitvector Programs and Decompiled Binaries. | Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu |
| 2021 | CAV | Constraint-Based Relational Verification. | Hiroshi Unno, Tachio Terauchi, Eric Koskinen |
| 2021 | DSN | Towards Optimal Use of Exception Handling Information for Function Detection. | Chengbin Pang, Ruotong Yu, Dongpeng Xu, Eric Koskinen, Georgios Portokalidis, Jun Xu |
| 2021 | SP | SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask. | Chengbin Pang, Ruotong Yu, Yaohui Chen, Eric Koskinen, Georgios Portokalidis, Bing Mao, Jun Xu |
| 2021 | VMCAI | Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing. | Eric Koskinen, Kshitij Bansal |
| 2019 | APLAS | Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. | Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy |
| 2018 | FC | Proof-Carrying Smart Contracts. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen |
| 2018 | LICS | A Fixpoint Logic and Dependent Effects for Temporal Property Verification. | Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi |
| 2018 | TACAS | Automatic Generation of Precise and Useful Commutativity Conditions. | Kshitij Bansal, Eric Koskinen, Omer Tripp |
| 2017 | PLDI | Decomposition instead of self-composition for proving the absence of timing channels. | Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
| 2017 | PODC | Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen |
| 2017 | PODC | Adding Concurrency to Smart Contracts. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen |
| 2017 | VMCAI | Using Abstract Interpretation to Correct Synchronization Faults. | Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen |
| 2016 | POPL | Reducing crash recoverability to reachability. | Eric Koskinen, Junfeng Yang |
| 2015 | PLDI | The Push/Pull model of transactions. | Eric Koskinen, Matthew J. Parkinson |
| 2014 | CSL | Local temporal reasoning. | Eric Koskinen, Tachio Terauchi |
| 2014 | ESOP | Composable Transactional Objects: A Position Paper. | Maurice Herlihy, Eric Koskinen |
| 2014 | PLDI | Commutativity race detection. | Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen |
| 2013 | OOPSLA | Turning nondeterminism into parallelism. | Omer Tripp, Eric Koskinen, Mooly Sagiv |
| 2013 | PLDI | Reasoning about nondeterminism in programs. | Byron Cook, Eric Koskinen |
| 2013 | TACAS | Structural Counter Abstraction. | Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey |
| 2011 | CAV | Temporal Property Verification as a Program Analysis Task. | Byron Cook, Eric Koskinen, Moshe Y. Vardi |
| 2011 | POPL | Making prophecies with decision predicates. | Byron Cook, Eric Koskinen |
| 2010 | POPL | Coarse-grained transactions. | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
| 2009 | PLDI | Control-flow refinement and progress invariants for bound analysis. | Sumit Gulwani, Sagar Jain, Eric Koskinen |
| 2009 | PODC | Brief announcement: concurrent non-commutative boosted transactions. | Eric Koskinen, Maurice Herlihy |
| 2008 | EuroSys | BorderPatrol: isolating events for black-box tracing. | Eric Koskinen, John Jannotti |
| 2008 | PPoPP | Transactional boosting: a methodology for highly-concurrent transactional objects. | Maurice Herlihy, Eric Koskinen |
| 2008 | SPAA | Checkpoints and continuations instead of nested transactions. | Eric Koskinen, Maurice Herlihy |
| 2008 | SPAA | Dreadlocks: efficient deadlock detection. | Eric Koskinen, Maurice Herlihy |