Dynamic deadlock avoidance in systems code using statically inferred effects. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas; Panagiotis Vekris (PLOS@SOSP, 2011)

Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. - Panagiotis Vekris; Ranjit Jhala; Sorin Lerner; Yuvraj Agarwal (HotPower, 2012)

Trust, but Verify: Two-Phase Typing for Dynamic Languages. - Panagiotis Vekris; Benjamin Cosman; Ranjit Jhala (ECOOP, 2015)

Safe & Efficient Gradual Typing for TypeScript. - Aseem Rastogi; Nikhil Swamy; Cédric Fournet; Gavin M. Bierman; Panagiotis Vekris (POPL, 2015)

Refinement types for TypeScript. - Panagiotis Vekris; Benjamin Cosman; Ranjit Jhala (PLDI, 2016)

Fast and precise type checking for JavaScript. - Avik Chaudhuri; Panagiotis Vekris; Sam Goldman; Marshall Roch; Gabriel Levi (Proc. ACM Program. Lang., 2017)

Precise Type Checking for JavaScript. - Panagiotis Vekris (2017)