Eric Koskinen - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen

Affiliation:Yale University

Personal website: http://www.cs.yale.edu/homes/ejk/

Research interests:Verification, Languages, Concurrency

Contributions

2017

VMCAI

Using Abstract Interpretation to Correct Synchronization Faults

Show activities from other conferences

POPL 2017-profile
View general profile