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

Research activity per year

Fingerprint

Dive into the research topics where Eric Koskinen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 journalArticlepeer-review

    Open Access
  • 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 journalArticlepeer-review

    Open Access
    6 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 proceedingConference contributionpeer-review

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

    Open Access
    6 Scopus citations
  • 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 journalArticlepeer-review

    Open Access
    3 Scopus citations