Concepedia

Panagiotis Vekris

PV

5

Publications

196

Citations

5

H-Index

2011

Active since

Affiliations

University of California San Diego(Current)

Microsoft (United States)

University of Maryland, College Park

Oracle (United Kingdom)

Microsoft Research (United Kingdom)

Panagiotis Vekris is an author at University of California San Diego specializing in formal methods, computer science, and software analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware TestingSystems Engineering

Publications per year

2011–2016

5

Publications

5

Safe & Efficient Gradual Typing for TypeScript

Aseem Rastogi, Nikhil Swamy, Cédric Fournet et al. · 2014 · 83 citations

Engineering, Type Theory, Verification +16

Towards verifying android apps for the absence of no-sleep energy bugs

Panagiotis Vekris, Ranjit Jhala, Sorin Lerner et al. · Organic Letters · 2012 · 52 citations

Refinement types for TypeScript

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala · 2016 · 39 citations

Engineering, Type Theory, Verification +19

Dynamic deadlock avoidance in systems code using statically inferred effects

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas et al. · 2011 · 11 citations · Full text

Engineering, Verification, Software Engineering +21

Safe & Efficient Gradual Typing for TypeScript

Aseem Rastogi, Nikhil Swamy, Cédric Fournet et al. · ACM SIGPLAN Notices · 2015 · 11 citations

Rows per page

1–5 of 5