Panagiotis Vekris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | PLDI | Refinement types for TypeScript. | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
| 2015 | ECOOP | Trust, but Verify: Two-Phase Typing for Dynamic Languages. | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
| 2015 | POPL | Safe & Efficient Gradual Typing for TypeScript. | Aseem Rastogi, Nikhil Swamy, Cdric Fournet, Gavin M. Bierman, Panagiotis Vekris |
| 2012 | OSDI | Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. | Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal |
| 2011 | SOSP | Dynamic deadlock avoidance in systems code using statically inferred effects. | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris |