Matthew L. Meola

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker
Frenetic: a high-level language for OpenFlow networks. PRESTO@CoNEXT (2010)
Matthew L. Meola, David Walker
Faulty Logic: Reasoning about Fault Tolerant Programs. ESOP (2010)