Eric Koskinen -

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen

Bio:

Biography

I am an Assistant Professor at Stevens Institute of Technology. Previously, I was a Lecturer/Researcher at Yale University and a Visiting Professor at New York University. I received a Ph.D in Computer Science from the University of Cambridge. I also spent time at IBM Watson, Microsoft, and from 2002-2005, I was a Software Engineer at Amazon.com. My research yields techniques that improve the way programmers develop reliable and efficient concurrent software for multi-core and distributed systems. To this end, I have made advances along a spectrum of fields, ranging from systems/concurrency methodologies to foundational results in formal methods.

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

Personal website:http://www.erickoskinen.com

Research interests:Verification, Languages, Concurrency

Contributions

Commute	Organizer in Organizing Committee within the Commute 2022-track
APLAS 2022	Committee Member in Program Committee
PLDI 2022	Committee Member in SRC Reviewers within the SRC-track
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