Eric Koskinen

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 41

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

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