Spiridon Eliopoulos

Identifiers

• name variant Spiridon Eliopoulos 0.60 · backfill

Papers (2)

1. ADsafety: Type-Based Verification of JavaScript Sandboxing cs.PL · 2015 · author #2
2. A Fast Compiler for NetKAT cs.PL · 2015 · author #2

Mentions

• 1506.07813 #2 · backfill · confidence 0.70 Spiridon Eliopoulos
• 1506.06378 #2 · backfill · confidence 0.70 Spiridon Eliopoulos

Frequent Coauthors

• Arjun Guha 2 shared papers
• Joe Gibbs Politz 1 shared papers
• Nate Foster 1 shared papers
• Shriram Krishnamurthi 1 shared papers
• Steffen Smolka 1 shared papers