conf.researchr.org / 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