Panagiotis Vekris


About [CV]


In July 2017 I graduated with my PhD from UC San Diego, advised by Ranjit Jhala.
My research interests are in Programming Languages, Program Analysis, Verification and Type Systems.
Email: pvekris@cs.ucsd.edu

Publications


OOPSLA'17 Fast and Precise Type Checking for JavaScript
Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi
[ arXiv ]
PhD Thesis Precise Type Checking for JavaScript
Panagiotis Vekris
PLDI'16 Refinement Types for TypeScript
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
[ arXiv | github | demo | Talk: pptx pdf ]
ECOOP'15 Trust, but Verify: Two-Phase Typing for Dynamic Languages
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
[ extended | Talk: pptx pdf ]
POPL'15 Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
[ Technical Report | demo ]
HotPower'12 Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs
Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal
[ github ]
PLOS'11 Dynamic Deadlock Avoidance in Systems Code Using Statically Inferred Effects
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris