Cole Schlesinger

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 14

Top Topics

Connectionist Learning

Access Control Policies

Trust Negotiation

Symbolic Description

Top Venues

Proc. ACM Program. Lang.

Publications

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. CoRR (2024)
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Type-Directed Program Synthesis for RESTful APIs. CoRR (2022)
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Type-directed program synthesis for RESTful APIs. PLDI (2022)
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
Stratified Abstraction of Access Control Policies. CAV (1) (2020)
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
Block public access: trust safety verification of access control policies. ESEC/SIGSOFT FSE (2020)
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
One-Click Formal Methods. IEEE Softw. 36 (6) (2019)
Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster
p4v: practical verification for programmable data planes. SIGCOMM (2018)
Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese
Correct by Construction Networks Using Stepwise Refinement. NSDI (2017)
Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan
I¿¿¿: a calculus for internet of things automation. Onward! (2017)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type Inference for Static Compilation of JavaScript (Extended Version). CoRR (2016)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type inference for static compilation of JavaScript. OOPSLA (2016)
Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
A practical framework for type inference error explanation. OOPSLA (2016)
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
NetkAT: semantic foundations for networks. POPL (2014)
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn
Modular protections against non-control data attacks. J. Comput. Secur. 22 (5) (2014)
Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker
Transparent, Live Migration of a Software-Defined Network. SoCC (2014)
Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, David Walker
P4: programming protocol-independent packet processors. Comput. Commun. Rev. 44 (3) (2014)
Cole Schlesinger, Michael Greenberg, David Walker
Concurrent NetCore: from policies to pipelines. ICFP (2014)
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
Tutorial: Practical verification of network programs. FMCAD (2013)
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
Languages for software-defined networks. IEEE Commun. Mag. 51 (2) (2013)
Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits
Verifying higher-order programs with the dijkstra monad. PLDI (2013)
Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster
Splendid isolation: a slice abstraction for software-defined networks. HotSDN@SIGCOMM (2012)
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker
Abstractions for network update. SIGCOMM (2012)
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn
Modular Protections against Non-control Data Attacks. CSF (2011)