Panagiotis Vekris

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 4

Top Topics

Mobile Platforms

Obstructive Sleep Apnea

Top Venues

Proc. ACM Program. Lang.

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi
Fast and precise type checking for JavaScript. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi
Fast and Precise Type Checking for JavaScript. CoRR (2017)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Refinement types for TypeScript. PLDI (2016)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Refinement Types for TypeScript. CoRR (2016)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Trust, but Verify: Two-Phase Typing for Dynamic Languages. ECOOP (2015)
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
Trust, but Verify: Two-Phase Typing for Dynamic Languages. CoRR (2015)
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris
Safe & Efficient Gradual Typing for TypeScript. POPL (2015)
Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal
Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. HotPower (2012)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris
Dynamic deadlock avoidance in systems code using statically inferred effects. PLOS@SOSP (2011)