BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × India
Collaborated with:
B.Cosman R.Jhala A.Rastogi N.Swamy C.Fournet G.M.Bierman A.Chaudhuri Sam Goldman Marshall Roch Gabriel Levi
Talks about:
type (6) script (2) javascript (1) languag (1) gradual (1) verifi (1) precis (1) effici (1) trust (1) refin (1)

Person: Panagiotis Vekris

DBLP DBLP: Vekris:Panagiotis

Contributed to:

ECOOP 20152015
POPL 20152015
OOPSLA 20172017
PLDI 20162016

Wrote 4 papers:

ECOOP-2015-VekrisCJ #trust #type system #verification
Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.
POPL-2015-RastogiSFBV #performance #type system #typescript
Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
OOPSLA-2017-ChaudhuriVGRL #javascript #performance #precise #type checking
Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.
PLDI-2016-VekrisCJ #refinement #typescript
Refinement types for TypeScript (PV, BC, RJ), pp. 310–325.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.