| 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 | 3447 | 2014 |
| Abstractions for network update M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012 | 860 | 2012 |
| 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 | 568 | 2014 |
| 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 | 273 | 2013 |
| 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 | 185 | 2012 |
| 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 | 177 | 2018 |
| 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 | 157 | 2013 |
| 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 | 70 | 2014 |
| Concurrent NetCore: From policies to pipelines C Schlesinger, M Greenberg, D Walker Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 55 | 2014 |
| 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 | 54 | 2016 |
| A practical framework for type inference error explanation C Loncaric, S Chandra, C Schlesinger, M Sridharan ACM SIGPLAN Notices 51 (10), 781-799, 2016 | 46 | 2016 |
| 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 | 43 | 2017 |
| One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019 | 41 | 2019 |
| 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 | 40 | 2017 |
| 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 | 37 | 2014 |
| 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 | 29 | 2020 |
| 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 | 26 | 2012 |
| 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 | 17 | 2022 |
| 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 | 16 | 2020 |
| Techniques for analyzing security in computing environments with privilege escalation PV Bolignano, JB Cook, AJ Gacek, K Luckow, N Rungta, C Schlesinger, ... US Patent 11,483,317, 2022 | 11 | 2022 |
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
