|
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
|
