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: Vekris:Panagiotis
Contributed to:
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.