Frenetic: a high-level language for OpenFlow networks. - Nate Foster; Michael J. Freedman; Rob Harrison; Jennifer Rexford; Matthew L. Meola; David Walker 001 (PRESTO@CoNEXT, 2010)

Faulty Logic: Reasoning about Fault Tolerant Programs. - Matthew L. Meola; David Walker 001 (ESOP, 2010)