Folgen
Cole Schlesinger
Cole Schlesinger
Senior Software Engineer, Amazon Web Services
Bestätigte E-Mail-Adresse bei schlesinger.tech - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
25452014
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
8192012
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
4932014
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
2632013
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
1752012
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
1232013
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
1132018
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
652014
Concurrent NetCore: From policies to pipelines
C Schlesinger, M Greenberg, D Walker
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
512014
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
352017
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
342016
A practical framework for type inference error explanation
C Loncaric, S Chandra, C Schlesinger, M Sridharan
ACM SIGPLAN Notices 51 (10), 781-799, 2016
332016
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
292014
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
282017
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
232012
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
212019
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
132020
Stratified abstraction of access control policies
J Backes, U Berrueco, T Bray, D Brim, B Cook, A Gacek, R Jhala, ...
International Conference on Computer Aided Verification, 165-176, 2020
92020
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
Quality of service abstractions for software-defined networks
C Schlesinger, H Ballani, T Karagiannis, D Vytiniotis
52015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20