Cole Schlesinger

Most-cited papers

P4: programming protocol-independent packet processors
P. Bosshart, Dan Daly, Glen Gibb, M. Izzard +7 more
2013CCRV3,137 citations
Semantic Scholar
Abstractions for network update
Mark Reitblatt, Nate Foster, J. Rexford, Cole Schlesinger +1 more
2012Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication683 citations Open access
Semantic Scholar
NetKAT: semantic foundations for networks
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin +3 more
2014ACM-SIGACT Symposium on Principles of Programming Languages509 citations
Semantic Scholar
Languages for software-defined networks
Nate Foster, Arjun Guha, Mark Reitblatt, A. Story +8 more
2013IEEE Communications Magazine209 citations Open access
Semantic Scholar
p4v: practical verification for programmable data planes
Jed Liu, William T. Hallahan, Cole Schlesinger, M. Sharif +6 more
2018Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication172 citations Open access
Semantic Scholar
Splendid isolation: a slice abstraction for software-defined networks
S. Gutz, A. Story, Cole Schlesinger, Nate Foster
2012HotSDN '12147 citations
Semantic Scholar
Verifying higher-order programs with the dijkstra monad
Nikhil Swamy, J. Weinberger, Cole Schlesinger, Juan Chen +1 more
2013ACM-SIGPLAN Symposium on Programming Language Design and Implementation124 citations
Semantic Scholar
Transparent, Live Migration of a Software-Defined Network
Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller +3 more
2014ACM Symposium on Cloud Computing54 citations
Semantic Scholar
Type inference for static compilation of JavaScript
S. Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger +3 more
2016Conference on Object-Oriented Programming Systems, Languages, and Applications42 citations
Semantic Scholar
IOTA: a calculus for internet of things automation
Julie L. Newcomb, S. Chandra, Jean-Baptiste Jeannin, Cole Schlesinger +1 more
2017SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software39 citations
Semantic Scholar
Block public access: trust safety verification of access control policies
Malik Bouchet, B. Cook, Bryant Cutler, Anna Druzkina +10 more
2020ESEC/SIGSOFT FSE38 citations Open access
Semantic Scholar
Correct by Construction Networks Using Stepwise Refinement
L. Ryzhyk, Nikolaj S. Bjørner, Marco Canini, Jean-Baptiste Jeannin +3 more
2017Symposium on Networked Systems Design and Implementation37 citations
Semantic Scholar
Concurrent NetCore
Cole Schlesinger, M. Greenberg, D. Walker
2014ACM SIGPLAN International Conference on Functional Programming34 citations
Semantic Scholar
Modular protections against non-control data attacks
Cole Schlesinger, K. Pattabiraman, Nikhil Swamy, D. Walker +1 more
2011IEEE Computer Security Foundations Symposium34 citations Open access
Semantic Scholar
One-Click Formal Methods
John D. Backes, Pauline Bolignano, B. Cook, Andrew Gacek +7 more
2019IEEE Software27 citations
Semantic Scholar
A practical framework for type inference error explanation
Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
2016Conference on Object-Oriented Programming Systems, Languages, and Applications25 citations
Semantic Scholar
Stratified Abstraction of Access Control Policies
John D. Backes, Ulises Berrueco, Tyler Bray, D. Brim +14 more
2020International Conference on Computer Aided Verification23 citations Open access
Semantic Scholar
Type-directed program synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang +2 more
2022ACM-SIGPLAN Symposium on Programming Language Design and Implementation20 citations Open access
Semantic Scholar
KATch: A Fast Symbolic Verifier for NetKAT
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais +4 more
2024Proc. ACM Program. Lang.8 citations Open access
Semantic Scholar
Daedalus: Safer Document Parsing
Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, B. Harris +4 more
2024Proc. ACM Program. Lang.6 citations Open access
Semantic Scholar
Tech Report : A Practical Framework for Type Inference Error Explanation
Calvin Loncaric, S. Chandra, Cole Schlesinger, Manu Sridharan
20166 citations
Semantic Scholar
Verification Condition Generation with the Dijkstra State Monad
Cole Schlesinger, Nikhil Swamy
20126 citations
Semantic Scholar
Quality of Service Abstractions for Software-defined Networks
Cole Schlesinger, H. Ballani, T. Karagiannis, Dimitrios Vytiniotis
20155 citations
Semantic Scholar
Towards JavaScript Verification with the Dijkstra State Monad
Nikhil Swamy, J. Weinberger, Cole Schlesinger, Juan Chen +1 more
20125 citations
Semantic Scholar
Monadic Refinement Types for Verifying JavaScript Programs
Nikhil Swamy, J. Weinberger, Juan Chen, Benjamin Livshits +1 more
20123 citations
Semantic Scholar
Y ARRA : An Extension to C for Data Integrity and Partial Safety
Cole Schlesinger, K. Pattabiraman, D. Walker
20102 citations
Semantic Scholar
Abstractions for Software-defined Networks
Cole Schlesinger
20151 citations
Semantic Scholar
Outline Frenetic Network updates Beyond the research
B. Godfrey, Nate Foster, Mark Reitblatt, J. Rexford +7 more
20170 citations
Semantic Scholar
Towards Correct-by-Construction SDN
L. Ryzhyk, Nikolaj S. Bjørner, Marco Canini, Jean-Baptiste Jeannin +4 more
20160 citations
Semantic Scholar
Tutorial: Practical verification of network programs
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
2013Formal Methods in Computer-Aided Design0 citations
Semantic Scholar
Tutorial I: Syntax-guided synthesis
Rajeev Alur, Jim Grundy, S. Jha, T. Reps +5 more
2013International Conference on Formal Methods and Models for Co-Design0 citations
Semantic Scholar
Inferring Precise Polymorphic Specifications for the Hoare State Monad
Cole Schlesinger, Nikhil Swamy
20120 citations
Semantic Scholar