Spiridon Aristides Eliopoulos

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Code Generation

Level Parallelism

General Purpose

Highly Optimized

Top Venues

Publications

Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A Fast Compiler for NetKAT. CoRR (2015)
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A fast compiler for NetKAT. ICFP (2015)
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
ADsafety: Type-Based Verification of JavaScript Sandboxing. CoRR (2015)
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
ADsafety: Type-Based Verification of JavaScript Sandboxing. USENIX Security Symposium (2011)