Eric Koskinen

62 papers A* 15A 5B 8Journal 29Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs.
Proc. ACM Program. Lang.
Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies
2025 — conf
An Abstract Domain for Heap Commutativity.
VMCAI (2)
Jared Pincus, Eric Koskinen
2024 J jnl
An Abstract Domain for Heap Commutativity (Extended Version).
CoRR
Jared Pincus, Eric Koskinen
2024 J jnl
Inferring Accumulative Effects of Higher Order Programs.
CoRR
Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies
2024 J jnl
Scenario-Based Proofs for Concurrent Objects.
Proc. ACM Program. Lang.
Constantin Enea, Eric Koskinen
2023 J jnl
An Algebra of Alignment for Relational Verification.
Proc. ACM Program. Lang.
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
2023 B conf
Better Predicates and Heuristics for Improved Commutativity Synthesis.
ATVA
Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen
2023 J jnl
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing.
CoRR
Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen
2023 J jnl
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification.
Proc. ACM Program. Lang.
Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
2023 J jnl
The Commutativity Quotients of Concurrent Objects.
CoRR
Constantin Enea, Parisa Fathololumi, Eric Koskinen
2022 J jnl
An algebra of alignment for relational verification.
CoRR
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
2022 J jnl
Veracity: Declarative Multicore Programming with Commutativity.
CoRR
Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus
2022 J jnl
Veracity: declarative multicore programming with commutativity.
Proc. ACM Program. Lang.
Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus
2021 — conf
Constraint-Based Relational Verification.
CAV (1)
Hiroshi Unno, Tachio Terauchi, Eric Koskinen
2021 J jnl
Constraint-based Relational Verification.
CoRR
Hiroshi Unno, Tachio Terauchi, Eric Koskinen
2021 B conf
Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing.
VMCAI
Eric Koskinen, Kshitij Bansal
2021 B conf
Proving LTL Properties of Bitvector Programs and Decompiled Binaries.
APLAS
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
2021 A* conf
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask.
SP
Chengbin Pang, Ruotong Yu, Yaohui Chen, Eric Koskinen, Georgios Portokalidis, Bing Mao, Jun Xu
2021 J jnl
Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries.
CoRR
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
2021 J jnl
Source-Level Bitwise Branching for Temporal Verification.
CoRR
Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen
2021 A conf
Towards Optimal Use of Exception Handling Information for Function Detection.
DSN
Chengbin Pang, Ruotong Yu, Dongpeng Xu, Eric Koskinen, Georgios Portokalidis, Jun Xu
2021 J jnl
Towards Optimal Use of Exception Handling Information for Function Detection.
CoRR
Chengbin Pang, Ruotong Yu, Dongpeng Xu, Eric Koskinen, Georgios Portokalidis, Jun Xu
2020 J jnl
Adding concurrency to smart contracts.
Distributed Comput.
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2020 J jnl
DynamiTe: Dynamic Termination and Non-termination Proofs.
CoRR
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
2020 J jnl
DynamiTe: dynamic termination and non-termination proofs.
Proc. ACM Program. Lang.
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
2020 J jnl
Program Verification via Predicate Constraint Satisfiability Modulo Theories.
CoRR
Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen
2020 J jnl
Reducing Commutativity Verification to Reachability with Differencing Abstractions.
CoRR
Eric Koskinen, Kshitij Bansal
2020 J jnl
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask.
CoRR
Chengbin Pang, Ruotong Yu, Yaohui Chen, Eric Koskinen, Georgios Portokalidis, Bing Mao, Jun Xu
2020 J jnl
Synthesizing Precise and Useful Commutativity Conditions.
J. Autom. Reason.
Kshitij Bansal, Eric Koskinen, Omer Tripp
2019 B conf
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects.
APLAS
Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy
2019 J jnl
Specification and Inference of Trace Refinement Relations.
CoRR
Timos Antonopoulos, Eric Koskinen, Ton-Chanh Le
2019 J jnl
Specification and inference of trace refinement relations.
Proc. ACM Program. Lang.
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le
2018 A* conf
A Fixpoint Logic and Dependent Effects for Temporal Property Verification.
LICS
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
2018 J jnl
Adding Concurrency to Smart Contracts.
Bull. EATCS
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2018 J jnl
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).
CoRR
Kshitij Bansal, Eric Koskinen, Omer Tripp
2018 — conf
Automatic Generation of Precise and Useful Commutativity Conditions.
TACAS (1)
Kshitij Bansal, Eric Koskinen, Omer Tripp
2018 — conf
Proof-Carrying Smart Contracts.
Financial Cryptography Workshops
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen
2017 A* conf
Adding Concurrency to Smart Contracts.
PODC
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 J jnl
Adding Concurrency to Smart Contracts.
CoRR
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 A* conf
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures.
PODC
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 A* conf
Decomposition instead of self-composition for proving the absence of timing channels.
PLDI
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
2017 J jnl
Proust: A Design Space for Highly-Concurrent Transactional Data Structures.
CoRR
Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy
2017 B conf
Using Abstract Interpretation to Correct Synchronization Faults.
VMCAI
Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen
2016 A* ed.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
LICS
Martin Grohe, Eric Koskinen, Natarajan Shankar
2016 A* conf
Reducing crash recoverability to reachability.
POPL
Eric Koskinen, Junfeng Yang
2015 A* conf
The Push/Pull model of transactions.
PLDI
Eric Koskinen, Matthew J. Parkinson
2014 A* conf
Commutativity race detection.
PLDI
Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen
2014 A conf
Composable Transactional Objects: A Position Paper.
ESOP
Maurice Herlihy, Eric Koskinen
2014 — conf
Local temporal reasoning.
CSL-LICS
Eric Koskinen, Tachio Terauchi
2013 A* conf
Reasoning about nondeterminism in programs.
PLDI
Byron Cook, Eric Koskinen
2013 A conf
Structural Counter Abstraction.
TACAS
Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey
2013 A conf
Turning nondeterminism into parallelism.
OOPSLA
Omer Tripp, Eric Koskinen, Mooly Sagiv
2012 J jnl
Temporal property verification as a program analysis task - Extended Version.
Formal Methods Syst. Des.
Byron Cook, Eric Koskinen, Moshe Y. Vardi
2011 A* conf
Making prophecies with decision predicates.
POPL
Byron Cook, Eric Koskinen
2011 A* conf
Temporal Property Verification as a Program Analysis Task.
CAV
Byron Cook, Eric Koskinen, Moshe Y. Vardi
2010 A* conf
Coarse-grained transactions.
POPL
Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy
2009 A* conf
Brief announcement: concurrent non-commutative boosted transactions.
PODC
Eric Koskinen, Maurice Herlihy
2009 A* conf
Control-flow refinement and progress invariants for bound analysis.
PLDI
Sumit Gulwani, Sagar Jain, Eric Koskinen
2008 A conf
BorderPatrol: isolating events for black-box tracing.
EuroSys
Eric Koskinen, John Jannotti
2008 B conf
Checkpoints and continuations instead of nested transactions.
SPAA
Eric Koskinen, Maurice Herlihy
2008 B conf
Dreadlocks: efficient deadlock detection.
SPAA
Eric Koskinen, Maurice Herlihy
2008 B conf
Transactional boosting: a methodology for highly-concurrent transactional objects.
PPoPP
Maurice Herlihy, Eric Koskinen