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
Filter
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

  • 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
  • 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

    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
  • 2017

    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
  • 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
  • 2015

    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., 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
  • 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

  • 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
  • 2010

    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
  • 2009

    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