Panagiotis Vekris

According to our database, Panagiotis Vekris authored at least 7 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Precise Type Checking for JavaScript.

Panagiotis Vekris

PhD thesis, 2017

Fast and precise type checking for JavaScript.

Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi

Proc. ACM Program. Lang., 2017

2016

Refinement types for TypeScript.

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Safe & Efficient Gradual Typing for TypeScript.

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Trust, but Verify: Two-Phase Typing for Dynamic Languages.

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2012

Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs.

Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal

Proceedings of the 2012 Workshop on Power-Aware Computing Systems, HotPower'12, 2012

2011

Dynamic deadlock avoidance in systems code using statically inferred effects.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011