Eric Koskinen

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen
Affiliation:Stevens Institute of Technology
Research interests:Verification, Languages, Concurrency

Contributions

APLAS 2021 Author of Proving LTL Properties of Bitvector Programs and Decompiled Binaries within the Research Papers-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
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
VMCAI 2017 Author of Using Abstract Interpretation to Correct Synchronization Faults within the VMCAI-track
PLDI 2017 Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track
ECOOP 2016 Committee Member in External Review Committee within the Research Track-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
PPoPP 2016 Committee Member in External Review Committee within the Main conference-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