Splendid isolation: a slice abstraction for software-defined networks. - Stephen Gutz; Alec Story; Cole Schlesinger; Nate Foster (HotSDN@SIGCOMM, 2012)

Abstractions for network update. - Mark Reitblatt; Nate Foster; Jennifer Rexford; Cole Schlesinger; David Walker 001 (SIGCOMM, 2012)

Tutorial: Practical verification of network programs. - Nate Foster; Arjun Guha; Mark Reitblatt; Cole Schlesinger (FMCAD, 2013)

Verifying higher-order programs with the dijkstra monad. - Nikhil Swamy; Joel Weinberger; Cole Schlesinger; Juan Chen 002; Benjamin Livshits (PLDI, 2013)

Languages for software-defined networks. - Nate Foster; Arjun Guha; Mark Reitblatt; Alec Story; Michael J. Freedman; Naga Praveen Katta; Christopher Monsanto; Joshua Reich; Jennifer Rexford; Cole Schlesinger; David Walker 001; Rob Harrison (IEEE Commun. Mag., 2013)

Transparent, Live Migration of a Software-Defined Network. - Soudeh Ghorbani; Cole Schlesinger; Matthew Monaco; Eric Keller; Matthew Caesar 001; Jennifer Rexford; David Walker 001 (SoCC, 2014)

Concurrent NetCore: from policies to pipelines. - Cole Schlesinger; Michael Greenberg 002; David Walker 001 (ICFP, 2014)

NetkAT: semantic foundations for networks. - Carolyn Jane Anderson; Nate Foster; Arjun Guha; Jean-Baptiste Jeannin; Dexter Kozen; Cole Schlesinger; David Walker 001 (POPL, 2014)

P4: programming protocol-independent packet processors. - Pat Bosshart; Dan Daly; Glen Gibb; Martin Izzard; Nick McKeown; Jennifer Rexford; Cole Schlesinger; Dan Talayco; Amin Vahdat; George Varghese; David Walker 001 (Comput. Commun. Rev., 2014)

Modular protections against non-control data attacks. - Cole Schlesinger; Karthik Pattabiraman; Nikhil Swamy; David Walker 001; Benjamin G. Zorn (J. Comput. Secur., 2014)

Abstractions for Software-defined Networks - Cole Schlesinger (2015)

Type inference for static compilation of JavaScript. - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (OOPSLA, 2016)

A practical framework for type inference error explanation. - Calvin Loncaric; Satish Chandra 001; Cole Schlesinger; Manu Sridharan (OOPSLA, 2016)

Type Inference for Static Compilation of JavaScript (Extended Version). - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (CoRR, 2016)

Correct by Construction Networks Using Stepwise Refinement. - Leonid Ryzhyk; Nikolaj S. Bjørner; Marco Canini; Jean-Baptiste Jeannin; Cole Schlesinger; Douglas B. Terry; George Varghese (NSDI, 2017)

I¿¿¿: a calculus for internet of things automation. - Julie L. Newcomb; Satish Chandra 001; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan (Onward!, 2017)

p4v: practical verification for programmable data planes. - Jed Liu; William T. Hallahan; Cole Schlesinger; Milad Sharif; Jeongkeun Lee; Robert Soulé; Han Wang 009; Calin Cascaval; Nick McKeown; Nate Foster (SIGCOMM, 2018)

One-Click Formal Methods. - John Backes; Pauline Bolignano; Byron Cook; Andrew Gacek; Kasper Søe Luckow; Neha Rungta; Martin Schäf; Cole Schlesinger; Rima Tanash; Carsten Varming; Michael W. Whalen (IEEE Softw., 2019)

Stratified Abstraction of Access Control Policies. - John Backes; Ulises Berrueco; Tyler Bray; Daniel Brim; Byron Cook; Andrew Gacek; Ranjit Jhala; Kasper Søe Luckow; Sean McLaughlin; Madhav Menon; Daniel Peebles; Ujjwal Pugalia; et al. (CAV (1), 2020)

Block public access: trust safety verification of access control policies. - Malik Bouchet; Byron Cook; Bryant Cutler; Anna Druzkina; Andrew Gacek; Liana Hadarean; Ranjit Jhala; Brad Marshall; Daniel Peebles; Neha Rungta; Cole Schlesinger; Chriss Stephens; et al. (ESEC/SIGSOFT FSE, 2020)

Type-directed program synthesis for RESTful APIs. - Zheng Guo 003; David Cao; Davin Tjong; Jean Yang 001; Cole Schlesinger; Nadia Polikarpova (PLDI, 2022)

Daedalus: Safer Document Parsing. - Iavor S. Diatchki; Mike Dodds; Harrison Goldstein; Bill Harris; David A. Holland; Benoît Razet; Cole Schlesinger; Simon Winwood (Proc. ACM Program. Lang., 2024)

KATch: A Fast Symbolic Verifier for NetKAT. - Mark Moeller; Jules Jacobs; Olivier Savary Bélanger; David Darais; Cole Schlesinger; Steffen Smolka; Nate Foster; Alexandra Silva 001 (Proc. ACM Program. Lang., 2024)