Cole Schlesinger

According to our database, Cole Schlesinger authored at least 23 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Proc. ACM Program. Lang., 2024

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

2022

Type-directed program synthesis for RESTful APIs.

Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

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, Carsten Varming, Andy Warfield

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

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, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

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

2018

p4v: practical verification for programmable data planes.

Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

2017

I¿¿¿: a calculus for internet of things automation.

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

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

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

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016

Type Inference for Static Compilation of JavaScript (Extended Version).

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

CoRR, 2016

A practical framework for type inference error explanation.

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Type inference for static compilation of JavaScript.

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Abstractions for Software-defined Networks

Cole Schlesinger

PhD thesis, 2015

2014

Modular protections against non-control data attacks.

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

J. Comput. Secur., 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

Comput. Commun. Rev., 2014

NetkAT: semantic foundations for networks.

Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Concurrent NetCore: from policies to pipelines.

Cole Schlesinger, Michael Greenberg, David Walker

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Transparent, Live Migration of a Software-Defined Network.

Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker

Proceedings of the ACM Symposium on Cloud Computing, 2014

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

IEEE Commun. Mag., 2013

Verifying higher-order programs with the dijkstra monad.

Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Tutorial: Practical verification of network programs.

Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Abstractions for network update.

Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Splendid isolation: a slice abstraction for software-defined networks.

Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster

Proceedings of the first workshop on Hot topics in software defined networks, 2012