Panagiotis Vekris
发表
Ranjit Jhala,
Panagiotis Vekris,
B. Cosman,
2016
.
Ranjit Jhala,
Benjamin Cosman,
Panagiotis Vekris,
2016,
PLDI.
Avik Chaudhuri,
Panagiotis Vekris,
Sam Goldman,
2017,
Proc. ACM Program. Lang..
Sorin Lerner,
Ranjit Jhala,
Yuvraj Agarwal,
2012,
HotPower.
Gavin M. Bierman,
Nikhil Swamy,
Cédric Fournet,
2015,
POPL.