Eric Koskinen

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen
Bio:

Biography

Eric Koskinen is an Assistant Professor at Stevens Institute of Technology. In 2021, he was appointed to the endowed Charles Berendsen Assistant Professor of Computer Science. Dr. Koskinen’s research focuses on reliable and efficient software, through automated software verification, parallelization, and language advances that improve the way programmers develop concurrent software. Previously, Dr. Koskinen received a Ph.D in Computer Science from the University of Cambridge, spent time at IBM Watson and Microsoft, and was a Software Engineer at Amazon.com.

Commutativity

In recent years, I have focused on new techniques and tools to verify commutativity conditions, synthesize commutativity conditions, or use them as part of our new programming language, Veracity.

Country:United States
Affiliation:Stevens Institute of Technology
Research interests:Verification, Languages, Concurrency

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023 Author of Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification within the POPL-track
Author of An Algebra of Alignment for Relational Verification within the POPL-track
VMCAI 2023 Invited Speaker of Verifying, Inferring and Exploiting Code Commutativity within the VMCAI 2023-track
Session Chair of Model Checking (part of VMCAI 2023)
APLAS 2022 Committee Member in Program Committee
SPLASH 2022 Author of Veracity: Declarative Multicore Programming with Commutativity within the OOPSLA-track
PLDI 2022 Committee Member in SRC Reviewers within the SRC-track
Commute Organizer in Organizing Committee within the Commute 2022-track
Author of Closing Remarks & Business Meeting within the Commute 2022-track
Author of Commutativity condition synthesis and language support for commute blocks within the Commute 2022-track
Author of Welcome Remarks within the Commute 2022-track
SPLASH 2021 Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the SIGPLAN Papers-track
Committee Member in External Review Committee within the OOPSLA-track
APLAS 2021 Author of Proving LTL Properties of Bitvector Programs and Decompiled Binaries within the Research Papers-track
VMCAI 2021 Author of Decomposing Data Structure Commutativity Proofs with mn-Differencing within the VMCAI-track
SPLASH 2020 Mentor in Mentors within the PLMW-track
Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track
Session Chair of W-4 (part of OOPSLA)
POPL 2020 Committee Member in Program Committee within the Research Papers-track
APLAS 2019 Author of Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects within the Research Papers-track
SPLASH 2019 Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track
Author of Specification and Inference of Trace Refinement Relations within the OOPSLA Artifacts-track
Session Chair of Formalization (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
PPoPP 2018 Committee Member in Program Committee
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
PLDI 2017 Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track
VMCAI 2017 Author of Using Abstract Interpretation to Correct Synchronization Faults within the VMCAI-track
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
PPoPP 2016 Committee Member in External Review Committee within the Main conference-track
POPL 2016 ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Author of Reducing Crash Recoverability to Reachability within the Research Papers-track
PLDI 2015 Author of The Push/Pull model of transactions within the Research Papers-track
SPLASH 2013 Author of Turning Nondeterminism into Parallelism within the OOPSLA-track