BorderPatrol: isolating events for black-box tracing. - Eric Koskinen; John Jannotti (EuroSys, 2008)

Transactional boosting: a methodology for highly-concurrent transactional objects. - Maurice Herlihy; Eric Koskinen (PPoPP, 2008)

Checkpoints and continuations instead of nested transactions. - Eric Koskinen; Maurice Herlihy (SPAA, 2008)

Dreadlocks: efficient deadlock detection. - Eric Koskinen; Maurice Herlihy (SPAA, 2008)

Control-flow refinement and progress invariants for bound analysis. - Sumit Gulwani; Sagar Jain; Eric Koskinen (PLDI, 2009)

Brief announcement: concurrent non-commutative boosted transactions. - Eric Koskinen; Maurice Herlihy (PODC, 2009)

Coarse-grained transactions. - Eric Koskinen; Matthew J. Parkinson; Maurice Herlihy (POPL, 2010)

Temporal Property Verification as a Program Analysis Task. - Byron Cook; Eric Koskinen; Moshe Y. Vardi (CAV, 2011)

Making prophecies with decision predicates. - Byron Cook; Eric Koskinen (POPL, 2011)

Temporal property verification as a program analysis task - Extended Version. - Byron Cook; Eric Koskinen; Moshe Y. Vardi (Formal Methods Syst. Des., 2012)

Turning nondeterminism into parallelism. - Omer Tripp; Eric Koskinen; Mooly Sagiv (OOPSLA, 2013)

Reasoning about nondeterminism in programs. - Byron Cook; Eric Koskinen (PLDI, 2013)

Structural Counter Abstraction. - Kshitij Bansal; Eric Koskinen; Thomas Wies; Damien Zufferey (TACAS, 2013)

Thermal verification of programs. - Eric John Koskinen (2013)

Local temporal reasoning. - Eric Koskinen; Tachio Terauchi (CSL-LICS, 2014)

Composable Transactional Objects: A Position Paper. - Maurice Herlihy; Eric Koskinen (ESOP, 2014)

Commutativity race detection. - Dimitar Dimitrov 004; Veselin Raychev; Martin T. Vechev; Eric Koskinen (PLDI, 2014)

The Push/Pull model of transactions. - Eric Koskinen; Matthew J. Parkinson (PLDI, 2015)

Reducing crash recoverability to reachability. - Eric Koskinen; Junfeng Yang (POPL, 2016)

Decomposition instead of self-composition for proving the absence of timing channels. - Timos Antonopoulos; Paul Gazzillo; Michael Hicks 001; Eric Koskinen; Tachio Terauchi; Shiyi Wei (PLDI, 2017)

Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. - Thomas D. Dickerson; Paul Gazzillo; Maurice Herlihy; Eric Koskinen (PODC, 2017)

Using Abstract Interpretation to Correct Synchronization Faults. - Pietro Ferrara 001; Omer Tripp; Peng Liu 010; Eric Koskinen (VMCAI, 2017)

Proust: A Design Space for Highly-Concurrent Transactional Data Structures. - Thomas D. Dickerson; Paul Gazzillo; Eric Koskinen; Maurice Herlihy (CoRR, 2017)

Proof-Carrying Smart Contracts. - Thomas D. Dickerson; Paul Gazzillo; Maurice Herlihy; Vikram Saraph; Eric Koskinen (Financial Cryptography Workshops, 2018)

A Fixpoint Logic and Dependent Effects for Temporal Property Verification. - Yoji Nanjo; Hiroshi Unno 001; Eric Koskinen; Tachio Terauchi (LICS, 2018)

Automatic Generation of Precise and Useful Commutativity Conditions. - Kshitij Bansal; Eric Koskinen; Omer Tripp (TACAS (1), 2018)

Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version). - Kshitij Bansal; Eric Koskinen; Omer Tripp (CoRR, 2018)

Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. - Thomas D. Dickerson; Eric Koskinen; Paul Gazzillo; Maurice Herlihy (APLAS, 2019)

Specification and inference of trace refinement relations. - Timos Antonopoulos; Eric Koskinen; Ton Chanh Le (Proc. ACM Program. Lang., 2019)

Reducing Commutativity Verification to Reachability with Differencing Abstractions. - Eric Koskinen; Kshitij Bansal (CoRR, 2020)

Program Verification via Predicate Constraint Satisfiability Modulo Theories. - Hiroshi Unno 001; Yuki Satake; Tachio Terauchi; Eric Koskinen (CoRR, 2020)

Adding concurrency to smart contracts. - Thomas D. Dickerson; Paul Gazzillo; Maurice Herlihy; Eric Koskinen (Distributed Comput., 2020)

Synthesizing Precise and Useful Commutativity Conditions. - Kshitij Bansal; Eric Koskinen; Omer Tripp (J. Autom. Reason., 2020)

DynamiTe: dynamic termination and non-termination proofs. - Ton Chanh Le; Timos Antonopoulos; Parisa Fathololumi; Eric Koskinen; ThanhVu Nguyen (Proc. ACM Program. Lang., 2020)

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 024 (APLAS, 2021)

Constraint-Based Relational Verification. - Hiroshi Unno 001; Tachio Terauchi; Eric Koskinen (CAV (1), 2021)

Towards Optimal Use of Exception Handling Information for Function Detection. - Chengbin Pang; Ruotong Yu; Dongpeng Xu 001; Eric Koskinen; Georgios Portokalidis; Jun Xu 024 (DSN, 2021)

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask. - Chengbin Pang; Ruotong Yu; Yaohui Chen 001; Eric Koskinen; Georgios Portokalidis; Bing Mao 001; Jun Xu 024 (SP, 2021)

Decomposing Data Structure Commutativity Proofs with $m !n$-Differencing. - Eric Koskinen; Kshitij Bansal (VMCAI, 2021)

Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries. - Yuandong Cyrus Liu; Chengbin Pang; Daniel Dietsch; Eric Koskinen; Ton-Chanh Le; Georgios Portokalidis; Jun Xu 024 (CoRR, 2021)

Source-Level Bitwise Branching for Temporal Verification. - Yuandong Cyrus Liu; Ton-Chanh Le; Eric Koskinen (CoRR, 2021)

Veracity: declarative multicore programming with commutativity. - Adam Chen; Parisa Fathololumi; Eric Koskinen; Jared Pincus (Proc. ACM Program. Lang., 2022)

Better Predicates and Heuristics for Improved Commutativity Synthesis. - Adam Chen; Parisa Fathololumi; Mihai Nicola; Jared Pincus; Tegan Brennan; Eric Koskinen (ATVA, 2023)

The Commutativity Quotients of Concurrent Objects. - Constantin Enea; Parisa Fathololumi; Eric Koskinen (CoRR, 2023)

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing. - Yuandong Cyrus Liu; Ton-Chanh Le; Timos Antonopoulos; Eric Koskinen; ThanhVu Nguyen (CoRR, 2023)

An Algebra of Alignment for Relational Verification. - Timos Antonopoulos; Eric Koskinen; Ton Chanh Le; Ramana Nagasamudram; David A. Naumann; Minh Ngo (Proc. ACM Program. Lang., 2023)

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification. - Hiroshi Unno 001; Tachio Terauchi; Yu Gu 022; Eric Koskinen (Proc. ACM Program. Lang., 2023)

Inferring Accumulative Effects of Higher Order Programs. - Mihai Nicola; Chaitanya Agarwal; Eric Koskinen; Thomas Wies (CoRR, 2024)

An Abstract Domain for Heap Commutativity (Extended Version). - Jared Pincus; Eric Koskinen (CoRR, 2024)

Scenario-Based Proofs for Concurrent Objects. - Constantin Enea; Eric Koskinen (Proc. ACM Program. Lang., 2024)

An Abstract Domain for Heap Commutativity. - Jared Pincus; Eric Koskinen (VMCAI (2), 2025)