Projects 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
-
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
Koskinen, E. (PI)
10/1/23 → 9/30/26
Stevens Institute of Technology
Project: Research
-
AVTA Transition: Toolchain for Binary Decompilation and Alignment
Koskinen, E. (PI)
9/1/22 → …
Stevens Institute of Technology
Project: Research
-
Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis
Koskinen, E. (PI) & Tchanhle@stevensedu, T. C. L. (CoPI)
7/15/21 → 6/30/24
Stevens Institute of Technology
Project: Research
-
SHF: Small: Symbolic Commutativity Analysis for Multicore Concurrency
Koskinen, E. (PI)
6/1/20 → 5/31/23
Stevens Institute of Technology
Project: Research
-
NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)
Koskinen, E. (PI)
5/15/19 → 4/30/20
Stevens Institute of Technology
Project: Research
-
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Nicola, M., Agarwal, C., Koskinen, E. & Wies, T., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 2511-2539 29 p.Stevens Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
An Abstract Domain for Heap Commutativity
Pincus, J. & Koskinen, E., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 26-49 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15530 LNCS).Stevens Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Scenario-Based Proofs for Concurrent Objects
Enea, C. & Koskinen, E., Apr 29 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 140.Stevens Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
An Algebra of Alignment for Relational Verification
Antonopoulos, T., Koskinen, E., Le, T. C., Nagasamudram, R., Naumann, D. A. & Ngo, M., Jan 9 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 573-603 31 p.Stevens Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
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.). Springer Science and Business Media Deutschland GmbH, 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).Stevens Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review