Eric Koskinen

According to our database, Eric Koskinen authored at least 47 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification.

Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen

Proc. ACM Program. Lang., January, 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., January, 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

The Commutativity Quotients of Concurrent Objects.

Constantin Enea, Parisa Fathololumi, Eric Koskinen

CoRR, 2023

Better Predicates and Heuristics for Improved Commutativity Synthesis.

Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Veracity: declarative multicore programming with commutativity.

Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus

Proc. ACM Program. Lang., 2022

2021

Source-Level Bitwise Branching for Temporal Verification.

Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen

CoRR, 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

CoRR, 2021

Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing.

Eric Koskinen, Kshitij Bansal

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

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

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Towards Optimal Use of Exception Handling Information for Function Detection.

Chengbin Pang, Ruotong Yu, Dongpeng Xu, Eric Koskinen, Georgios Portokalidis, Jun Xu

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Constraint-Based Relational Verification.

Hiroshi Unno, Tachio Terauchi, Eric Koskinen

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

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

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

DynamiTe: dynamic termination and non-termination proofs.

Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen

Proc. ACM Program. Lang., 2020

Synthesizing Precise and Useful Commutativity Conditions.

Kshitij Bansal, Eric Koskinen, Omer Tripp

J. Autom. Reason., 2020

Adding concurrency to smart contracts.

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen

Distributed Comput., 2020

Program Verification via Predicate Constraint Satisfiability Modulo Theories.

Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen

CoRR, 2020

Reducing Commutativity Verification to Reachability with Differencing Abstractions.

Eric Koskinen, Kshitij Bansal

CoRR, 2020

2019

Specification and inference of trace refinement relations.

Timos Antonopoulos, Eric Koskinen, Ton Chanh Le

Proc. ACM Program. Lang., 2019

Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects.

Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).

Kshitij Bansal, Eric Koskinen, Omer Tripp

CoRR, 2018

Automatic Generation of Precise and Useful Commutativity Conditions.

Kshitij Bansal, Eric Koskinen, Omer Tripp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Fixpoint Logic and Dependent Effects for Temporal Property Verification.

Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Proof-Carrying Smart Contracts.

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen

Proceedings of the Financial Cryptography and Data Security, 2018

2017

Proust: A Design Space for Highly-Concurrent Transactional Data Structures.

Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy

CoRR, 2017

Using Abstract Interpretation to Correct Synchronization Faults.

Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures.

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Decomposition instead of self-composition for proving the absence of timing channels.

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Reducing crash recoverability to reachability.

Eric Koskinen, Junfeng Yang

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

The Push/Pull model of transactions.

Eric Koskinen, Matthew J. Parkinson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Commutativity race detection.

Dimitar K. Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Composable Transactional Objects: A Position Paper.

Maurice Herlihy, Eric Koskinen

Proceedings of the Programming Languages and Systems, 2014

Local temporal reasoning.

Eric Koskinen, Tachio Terauchi

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Thermal verification of programs.

Eric John Koskinen

PhD thesis, 2013

Structural Counter Abstraction.

Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Reasoning about nondeterminism in programs.

Byron Cook, Eric Koskinen

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Turning nondeterminism into parallelism.

Omer Tripp, Eric Koskinen, Mooly Sagiv

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

Temporal property verification as a program analysis task - Extended Version.

Byron Cook, Eric Koskinen, Moshe Y. Vardi

Formal Methods Syst. Des., 2012

2011

Making prophecies with decision predicates.

Byron Cook, Eric Koskinen

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Temporal Property Verification as a Program Analysis Task.

Byron Cook, Eric Koskinen, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Coarse-grained transactions.

Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Brief announcement: concurrent non-commutative boosted transactions.

Eric Koskinen, Maurice Herlihy

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Control-flow refinement and progress invariants for bound analysis.

Sumit Gulwani, Sagar Jain, Eric Koskinen

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Dreadlocks: efficient deadlock detection.

Eric Koskinen, Maurice Herlihy

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Checkpoints and continuations instead of nested transactions.

Eric Koskinen, Maurice Herlihy

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Transactional boosting: a methodology for highly-concurrent transactional objects.

Maurice Herlihy, Eric Koskinen

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

BorderPatrol: isolating events for black-box tracing.

Eric Koskinen, John Jannotti

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008