Spiridon Eliopoulos
Spiridon Eliopoulos
Inhabited Type LLC
Verified email at inhabitedtype.com - Homepage
Title
Cited by
Cited by
Year
ADsafety: Type-based verification of JavaScript sandboxing
JG Politz, S Eliopoulos, A Guha, S Krishnamurthi
arXiv preprint arXiv:1506.07813, 2015
1072015
A fast compiler for NetKAT
S Smolka, S Eliopoulos, N Foster, A Guha
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
562015
The system can't perform the operation now. Try again later.
Articles 1–2