Cole Schlesinger
003Publications

Selected publications.

A curated list. The complete record lives on Google Scholar.

2024
  1. PLDI 2024

    Daedalus: Safer Document Parsing

    Iavor Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David Holland, Benoît Razet, Cole Schlesinger, Simon Winwood.
  2. PLDI 2024

    KATch: A Fast Symbolic Verifier for NetKAT

    Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva.
2022
  1. PLDI 2022

    Type-Directed Program Synthesis for RESTful APIs

    Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova.
2017–18
  1. SIGCOMM 2018

    p4v: Practical Verification for Programmable Data Planes

    Jed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Călin Cascaval, Nick McKeown, Nate Foster.
  2. Onward! 2017

    Iota: A Calculus for Internet of Things Automation

    Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan.
  3. NSDI 2017

    Correct by Construction Networks Using Stepwise Refinement

    Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese.
2016
  1. OOPSLA 2016

    Type Inference for Static Compilation of JavaScript

    Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Yong-Il Choi.
  2. OOPSLA 2016

    A Practical Framework for Type Inference Error Explanation

    Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan.
  3. NetPL 2016

    Towards Correct-by-construction Network Programming

    Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Nina Narodytska, Cole Schlesinger, Douglas B. Terry, George Varghese.
2014–15
  1. Princeton · 2015

    Abstractions for Software-defined Networks

    Cole Schlesinger. Ph.D. dissertation, advised by David Walker.
  2. Tech Report · 2015

    Quality of Service Abstractions for Software-defined Networks

    Cole Schlesinger, Hitesh Ballani, Thomas Karagiannis, Dimitrios Vytiniotis.
  3. SOCC 2014

    Transparent, Live Migration of a Software-defined Network

    Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker.
  4. ICFP 2014

    Concurrent NetCore: From Policies to Pipelines

    Cole Schlesinger, Michael Greenberg, David Walker.
  5. POPL 2014

    NetKAT: Semantic Foundations for Networks

    Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker.
2011–13
  1. PLDI 2013

    Verifying Higher-Order Programs with the Dijkstra Monad

    Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Ben Livshits.
  2. IEEE Comms · 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, Rob Harrison.
  3. SIGCOMM 2012

    Abstractions for Network Update

    Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker.
  4. HotSDN 2012

    Splendid Isolation: A Slice Abstraction for Software-Defined Networks

    Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster.
  5. CSF 2011

    Modular Protections against Non-control Data Attacks

    Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin Zorn.