No photo of Eric Koskinen

View Scopus Profile

Eric Koskinen

Calculated based on number of publications stored in Pure and citations from Scopus
20082024

Research activity per year

  • 31 Conference contribution
  • 18 Article
  • 1 Conference article

Search results

  • 2024

    Scenario-Based Proofs for Concurrent Objects

    Enea, C. & Koskinen, E., 29 Apr 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 140.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations
  • 2023

    An Algebra of Alignment for Relational Verification

    Antonopoulos, T., Koskinen, E., Le, T. C., Nagasamudram, R., Naumann, D. A. & Ngo, M., 9 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 573-603 31 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    9 Scopus citations

  • Better Predicates and Heuristics for Improved Commutativity Synthesis

    Chen, A., Fathololumi, P., Nicola, M., Pincus, J., Brennan, T. & Koskinen, E., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). p. 93-113 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification

    Unno, H., Terauchi, T., Gu, Y. & Koskinen, E., 9 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 2111-2140 30 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    8 Scopus citations
  • 2022

    Veracity: declarative multicore programming with commutativity

    Chen, A., Fathololumi, P., Koskinen, E. & Pincus, J., 31 Oct 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, 186.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    4 Scopus citations
  • 2021

    Constraint-Based Relational Verification

    Unno, H., Terauchi, T. & Koskinen, E., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). p. 742-766 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    28 Scopus citations

  • Decomposing Data Structure Commutativity Proofs with mn -Differencing

    Koskinen, E. & Bansal, K., 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). p. 81-103 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Proving LTL Properties of Bitvector Programs and Decompiled Binaries

    Liu, Y. C., Pang, C., Dietsch, D., Koskinen, E., Le, T. C., Portokalidis, G. & Xu, J., 2021, Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Proceedings. Oh, H. (ed.). p. 285-304 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13008 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • SoK: All you ever wanted to know about x86/x64 binary disassembly but were afraid to ask

    Pang, C., Yu, R., Chen, Y., Koskinen, E., Portokalidis, G., Mao, B. & Xu, J., May 2021, Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021. p. 833-851 19 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    47 Scopus citations

  • Towards Optimal Use of Exception Handling Information for Function Detection

    Pang, C., Yu, R., Xu, D., Koskinen, E., Portokalidis, G. & Xu, J., Jun 2021, Proceedings - 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021. p. 338-349 12 p. (Proceedings - 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    10 Scopus citations
  • 2020

    Adding concurrency to smart contracts

    Dickerson, T., Gazzillo, P., Herlihy, M. & Koskinen, E., 1 Jun 2020, In: Distributed Computing. 33, 3-4, p. 209-225 17 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    34 Scopus citations

  • DynamiTe: Dynamic termination and non-termination proofs

    Le, T. C., Antonopoulos, T., Fathololumi, P., Koskinen, E. & Nguyen, T., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 189.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    20 Scopus citations

  • Synthesizing Precise and Useful Commutativity Conditions

    Bansal, K., Koskinen, E. & Tripp, O., 1 Oct 2020, In: Journal of Automated Reasoning. 64, 7, p. 1333-1359 27 p.

    Research output: Contribution to journal › Article › peer-review

    4 Scopus citations
  • 2019

    Conflict abstractions and shadow speculation for optimistic transactional objects

    Dickerson, T., Koskinen, E., Gazzillo, P. & Herlihy, M., 2019, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Proceedings. Lin, A. W. (ed.). p. 313-331 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11893 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Proof-carrying smart contracts

    Dickerson, T., Gazzillo, P., Herlihy, M., Saraph, V. & Koskinen, E., 2019, Financial Cryptography and Data Security - FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Revised Selected Papers. Eyal, I., Zohar, A., Sala, M., Bracciali, A., Pintore, F., Teague, V. & Clark, J. (eds.). p. 325-338 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10958 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Specification and inference of trace refinement relations

    Antonopoulos, T., Koskinen, E. & Le, T. C., Oct 2019, In: Proceedings of the ACM on Programming Languages. 3, OOPSLA, A178.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    2 Scopus citations
  • 2018

    A fixpoint logic and dependent effects for temporal property verification

    Nanjo, Y., Unno, H., Koskinen, E. & Terauchi, T., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. p. 759-768 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    18 Scopus citations

  • Automatic generation of precise and useful commutativity conditions

    Bansal, K., Koskinen, E. & Tripp, O., 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). p. 115-132 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations
  • 2017

    Adding concurrency to smart contracts

    Dickerson, T., Gazzillo, P., Herlihy, M. & Koskinen, E., 26 Jul 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. p. 303-312 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129314).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    114 Scopus citations

  • Brief announcement: Proust: a design space for highly-concurrent transactional data structures

    Dickerson, T., Gazzillo, P., Herlihy, M. & Koskinen, E., 26 Jul 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. p. 251-253 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129314).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

    Antonopoulos, T., Gazzillo, P., Hicks, M., Koskinen, E., Terauchi, T. & Wei, S., 14 Jun 2017, In: ACM SIGPLAN Notices. 52, 6, p. 362-375 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    20 Scopus citations

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

    Antonopoulos, T., Gazzillo, P., Hicks, M., Koskinen, E., Terauchi, T. & Wei, S., 14 Jun 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). p. 362-375 14 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    65 Scopus citations

  • Using abstract interpretation to correct synchronization faults

    Ferrara, P., Tripp, O., Liu, P. & Koskinen, E., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). p. 187-208 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2016

    Reducing crash recoverability to reachability

    Koskinen, E. & Yang, J., 8 Apr 2016, In: ACM SIGPLAN Notices. 51, 1, p. 97-108 12 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    2 Scopus citations

  • Reducing crash recoverability to reachability

    Koskinen, E. & Yang, J., 11 Jan 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). p. 97-108 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    12 Scopus citations
  • 2015

    The push/pull model of transactions

    Koskinen, E. & Parkinson, M., 3 Jun 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). p. 186-195 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • The push/pull model of transactions

    Koskinen, E. & Parkinson, M., Jun 2015, In: ACM SIGPLAN Notices. 50, 6, p. 186-195 10 p.

    Research output: Contribution to journal › Article › peer-review

    7 Scopus citations
  • 2014

    Commutativity race detection

    Dimitrov, D., Raychev, V., Vechev, M. & Koskinen, E., 2014, PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 305-315 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    29 Scopus citations

  • Commutativity race detection

    Dimitrov, D., Raychev, V., Vechev, M. & Koskinen, E., 5 Jun 2014, In: ACM SIGPLAN Notices. 49, 6, p. 305-315 11 p.

    Research output: Contribution to journal › Article › peer-review

    20 Scopus citations

  • Composable transactional objects: A position paper

    Herlihy, M. & Koskinen, E., 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. p. 1-7 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8410 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • Local temporal reasoning

    Koskinen, E. & Terauchi, T., 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. 59. (Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    25 Scopus citations
  • 2013

    Reasoning about nondeterminism in programs

    Cook, B. & Koskinen, E., Jun 2013, In: ACM SIGPLAN Notices. 48, 6, p. 219-229 11 p.

    Research output: Contribution to journal › Article › peer-review

    10 Scopus citations

  • Reasoning about nondeterminism in programs

    Cook, B. & Koskinen, E., 2013, PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 219-229 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    26 Scopus citations

  • Structural counter abstraction

    Bansal, K., Koskinen, E., Wies, T. & Zufferey, D., 2013, Tools and Algorithms for the Construction and Analysis of Systems - 19th Int. Conf., TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. p. 62-77 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • Turning nondeterminism into parallelism

    Tripp, O., Koskinen, E. & Sagiv, M., 2013, SPLASH Indianapolis 2013: OOPSLA 2013 - Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages and Applications. p. 589-604 16 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Turning nondeterminism into parallelism

    Tripp, O., Koskinen, E. & Sagiv, M., Oct 2013, In: ACM SIGPLAN Notices. 48, 10, p. 589-604 16 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations
  • 2012

    Temporal property verification as a program analysis task: Extended Version

    Cook, B., Koskinen, E. & Vardi, M., Aug 2012, In: Formal Methods in System Design. 41, 1, p. 66-82 17 p.

    Research output: Contribution to journal › Article › peer-review

    13 Scopus citations
  • 2011

    Making prophecies with decision predicates

    Cook, B. & Koskinen, E., Jan 2011, In: ACM SIGPLAN Notices. 46, 1, p. 399-410 12 p.

    Research output: Contribution to journal › Article › peer-review

    36 Scopus citations

  • Temporal property verification as a program analysis task

    Cook, B., Koskinen, E. & Vardi, M., 2011, Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. p. 333-348 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    27 Scopus citations
  • 2010

    Coarse-grained transactions

    Koskinen, E., Parkinson, M. & Herlihy, M., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 19-30 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Scopus citations

  • Coarse-grained transactions

    Koskinen, E., Parkinson, M. & Herlihy, M., Jan 2010, In: ACM SIGPLAN Notices. 45, 1, p. 19-30 12 p.

    Research output: Contribution to journal › Article › peer-review

    41 Scopus citations

  • Making prophecies with decision predicates

    Cook, B. & Koskinen, E., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 399-410 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2009

    Brief announcement: Concurrent non-commutative boosted transactions

    Koskinen, E. & Herlihy, M., 2009, PODC'09 - Proceedings of the 2009 ACM Symposium on Principles of Distributed Computing. p. 272-273 2 p. 1582760. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Control-flow refinement and progress invariants for bound analysis

    Gulwani, S., Jain, S. & Koskinen, E., Jun 2009, In: ACM SIGPLAN Notices. 44, 6, p. 375-385 11 p.

    Research output: Contribution to journal › Article › peer-review

    62 Scopus citations

  • Control-flow refinement and progress invariants for bound analysis

    Gulwani, S., Jain, S. & Koskinen, E., 2009, PLDI'09 - Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 375-385 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    56 Scopus citations
  • 2008

    BorderPatrol: Isolating events for black-box tracing

    Koskinen, E. & Jannotti, J., 25 Apr 2008, In: Operating Systems Review (ACM). 42, 4, p. 191-203 13 p.

    Research output: Contribution to journal › Conference article › peer-review

    18 Scopus citations

  • BorderPatrol: Isolating events for black-box tracing

    Koskinen, E. & Jannotti, J., 2008, EuroSys'08 - Proceedings of the EuroSys 2008 Conference. p. 191-203 13 p. (EuroSys'08 - Proceedings of the EuroSys 2008 Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    16 Scopus citations

  • Checkpoints and continuations instead of nested transactions

    Koskinen, E. & Herlihy, M., 2008, SPAA'08 - Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures. p. 160-168 9 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    30 Scopus citations

  • Dreadlocks: Efficient deadlock detection

    Koskinen, E. & Herlihy, M., 2008, SPAA'08 - Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures. p. 297-303 7 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    28 Scopus citations

  • Transactional boosting: A methodology for highly-concurrent transactional objects

    Herlihy, M. & Koskinen, E., 2008, PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 207-215 9 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    202 Scopus citations