Panagiotis Vekris -

Registered user since Mon 11 May 2015

Name:Panagiotis Vekris

Affiliation:University of California at San Diego, USA

Contributions

SPLASH 2017	Author of Fast and Precise Type Checking for JavaScript within the OOPSLA-track
PLDI 2016	Author of Refinement Types for TypeScript within the Research Papers-track
ECOOP 2015	Author of Trust, but Verify: Two-Phase Typing for Dynamic Languages within the Research Track-track