ERIC KOSKINEN

Charles Berendsen Associate Professor of Computer Science | Stevens Institute of Technology

201.216.5071 | eric.koskinen@stevens.edu

Eric Koskinen is the Charles Berendsen Associate Professor (with tenure) of Computer Science at Stevens Institute of Technology in the New York area. Previously, he was a Researcher at Yale University and a Visiting Professor at New York University. He received a Ph.D in Computer Science from the University of Cambridge (UK) and has spent time at IBM Watson, Microsoft, and from 2002-2005, was a Software Engineer at Amazon.com. Prof Koskinen's work is funded by over $5M from NSF/ONR/DARPA and yields techniques that improve the way programmers develop reliable and efficient concurrent software for multi-core and distributed systems. Recently, he co-founded the Commute Workshop at PLDI 2022.

SELECTED
RECENT NEWS
May 2024:Mihai presented our new effects work at NJPLS.
Jan 2024:Joined the POPL 2025 PC.
Dec 2023:Our Quotients paper will appear in OOPSLA'24
Oct 2023:Joined the PLDI 2024 PC.
Sep 2023:Teaching CS135: Discrete Structures this fall!
Jul 2023:Summer CS intro in Jersey City
Jan 2023:Our muCLP paper was a POPL'23 Distinguished paper!
Dec 2022:Keynote Talk at VMCAI 2023.
Nov 2022:Congrats to Cyrus Liu on defending his PhD dissertation!
Sep 2022:Two papers (BiKAT and muCLP) accepted to POPL 2023.
Aug 2022:ONR Award on binary decompilation and verification.
Jul 2022:Joined the PLDI 2023 program committee.
Jul 2022:Veracity (OOPSLA'22) adds commute blocks to programs! [PDF] [Arxiv] [ Web demo] [Slides]
Jun 2022:Thanks to everyone who joined Commute at PLDI!
May 2022:Servois2 Commutativity Synthesizer now on GitHub!
May 2022:Congrats to Jared Pincus for the CS Research award!
Oct 2021:Appointed to the Charles Berendsen Junior Professorship.
Apr 2021:Our Constraint-based Relational Verification was in CAV 2021.
Jul 2020:Our Dynamic Proofs for Termination was in OOPSLA 2020.
May 2020:Provost's Early Career Award for Research Excellence.
Nov 2018:Joined the POPL 2020 program committee
CURRENT
GROUP
  • Adam Chen, PhD Student
  • Parisa Fathololumi, PhD student
  • Mihai Nicola, PhD Student (with Tegan Brennan)
Alumni
  • Cyrus Liu, PhD student (def. 2022), now a Postdoctoral Fellow at Grinnell.
  • Ton Chanh Le, Research Scholar, now a Research Scientist at Algorand.
  • Jared Pincus, Masters Student, now a PhD student at Boston University.
  • ChengBin Pang, Visitor (with Jun Xu), now a PhD student at Nanjing University.

We are hiring talented PhD students to join us at Stevens! Please see the current opportunities if you are interested.

RELEASED
TOOLS

All available on GitHub:

RECENT
FUNDING
  • Jul 2023 — NSF Concurrent objects - $593k
  • Aug 2022 — ONR AVTA Transition - $215k
  • Jun 2021 — NSF Dynamic Analysis - $399k
  • May 2020 — NSF Commutativity Analysis - $495k
  • Sep 2017 — ONR Temporal Alignment - $3.2M

 

SELECTED
PUBLICATIONS

    

  • An algebra of alignment for relational verification

    T. Antonopoulos, E. Koskinen, T. Le, R. Nagasamudram, D. Naumann, M. Ngo

    POPL 2023

  •     

  • Veracity: Declarative Multicore Programming with Commutativity

    A Chen, P Fathololumi, E Koskinen, J Pincus

    OOPSLA 2022

  •     

  • Constraint-Based Relational Verification

    H Unno, T Terauchi, E Koskinen

    CAV 2021

  •     

  • Automatic Generation of Precise and Useful Commutativity Conditions

    K Bansal, E Koskinen, O Tripp

    TACAS 2018

  •     

  • Local Temporal Reasoning

    E Koskinen, T Terauchi

    LICS 2014

  •     

  • Temporal property verification as a program analysis task

    B Cook, E Koskinen, M Vardi

    CAV 2011 Award paper

  •     

  • Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects

    M Herlihy, E Koskinen

    PPoPP 2008

  •