Cole Schlesinger
Cole Schlesinger
Senior Software Engineer, Amazon Web Services
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
15052014
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
7052012
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
3572014
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
2352013
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
1522012
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
842013
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
622014
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
522018
Concurrent NetCore: From policies to pipelines
C Schlesinger, M Greenberg, D Walker
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
432014
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
252016
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 …, 2017
232017
A practical framework for type inference error explanation
C Loncaric, S Chandra, C Schlesinger, M Sridharan
ACM SIGPLAN Notices 51 (10), 781-799, 2016
232016
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
222014
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
192012
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
172017
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
62019
Towards JavaScript verification with the Dijkstra state monad
N Swamy, J Weinberger, C Schlesinger, J Chen, B Livshits
Technical Report MSR-TR-2012-37, 2012
62012
Verification condition generation with the Dijkstra state monad
C Schlesinger, N Swamy
Technical Report MSR-TR-2012-45, 2012
52012
Quality of service abstractions for software-defined networks
C Schlesinger, H Ballani, T Karagiannis, D Vytiniotis
32015
Yarra: An extension to c for data integrity and partial safety
C Schlesinger, K Pattabiraman, N Swamy, D Walker, B Zorn
CSF, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20