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
Research interests:Verification, Languages, Concurrency

Contributions

Commute Organizer in Organizing Committee within the Commute 2022-track
Closing Remarks & Business Meeting
Commutativity condition synthesis and language support for commute blocks
Welcome Remarks
PLDI 2022 Committee Member in SRC Reviewers within the SRC-track
Show activities from other conferences

PLDI 2022-profile
View general profile