Follow
Cole Schlesinger
Cole Schlesinger
Research Engineer, Galois Inc.
Verified email at schlesinger.tech - Homepage
Title
Cited by
Cited by
Year
P4: Programming protocol-independent packet processors
P Bosshart, D Daly, G Gibb, M Izzard, N McKeown, J Rexford, ...
ACM SIGCOMM Computer Communication Review 44 (3), 87-95, 2014
31602014
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
8502012
NetKAT: Semantic foundations for networks
CJ Anderson, N Foster, A Guha, JB Jeannin, D Kozen, C Schlesinger, ...
Acm sigplan notices 49 (1), 113-126, 2014
5442014
Languages for software-defined networks
N Foster, A Guha, M Reitblatt, A Story, MJ Freedman, NP Katta, ...
IEEE Communications Magazine 51 (2), 128-134, 2013
2712013
Splendid isolation: A slice abstraction for software-defined networks
S Gutz, A Story, C Schlesinger, N Foster
Proceedings of the first workshop on Hot topics in software defined networks …, 2012
1872012
P4v: Practical verification for programmable data planes
J Liu, W Hallahan, C Schlesinger, M Sharif, J Lee, R Soulé, H Wang, ...
Proceedings of the 2018 Conference of the ACM Special Interest Group on data …, 2018
1572018
Verifying higher-order programs with the Dijkstra monad
N Swamy, J Weinberger, C Schlesinger, J Chen, B Livshits
ACM SIGPLAN Notices 48 (6), 387-398, 2013
1492013
Transparent, live migration of a software-defined network
S Ghorbani, C Schlesinger, M Monaco, E Keller, M Caesar, J Rexford, ...
Proceedings of the ACM Symposium on Cloud Computing, 1-14, 2014
702014
Concurrent NetCore: From policies to pipelines
C Schlesinger, M Greenberg, D Walker
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
542014
Type inference for static compilation of JavaScript
S Chandra, CS Gordon, JB Jeannin, C Schlesinger, M Sridharan, F Tip, ...
ACM SIGPLAN Notices 51 (10), 410-429, 2016
462016
IOTA: a calculus for internet of things automation
JL Newcomb, S Chandra, JB Jeannin, C Schlesinger, M Sridharan
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
412017
A practical framework for type inference error explanation
C Loncaric, S Chandra, C Schlesinger, M Sridharan
ACM SIGPLAN Notices 51 (10), 781-799, 2016
412016
Correct by construction networks using stepwise refinement
L Ryzhyk, N Bjørner, M Canini, JB Jeannin, C Schlesinger, DB Terry, ...
14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017
402017
Modular protections against non-control data attacks
C Schlesinger, K Pattabiraman, N Swamy, D Walker, B Zorn
Journal of Computer Security 22 (5), 699-742, 2014
352014
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
342019
Block public access: trust safety verification of access control policies
M Bouchet, B Cook, B Cutler, A Druzkina, A Gacek, L Hadarean, R Jhala, ...
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
242020
Splendid isolation: Language-based security for software-defined networks
C Schlesinger, A Story, S Gutz, N Foster, D Walker
Proc. of Workshop on Hot Topics in Software Defined Networking, 2012
242012
Type-directed program synthesis for restful apis
Z Guo, D Cao, D Tjong, J Yang, C Schlesinger, N Polikarpova
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
122022
Stratified abstraction of access control policies
J Backes, U Berrueco, T Bray, D Brim, B Cook, A Gacek, R Jhala, ...
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
122020
Data plane program verification
J Lee, CN Schlesinger, JN Foster, H Wang, R Soule, W Hallahan, ...
US Patent 11,188,355, 2021
62021
The system can't perform the operation now. Try again later.
Articles 1–20