| 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 | 2770 | 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 | 829 | 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 | 512 | 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 | 262 | 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 | 180 | 2012 |
| 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 | 136 | 2013 |
| 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 | 129 | 2018 |
| 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 | 68 | 2014 |
| Concurrent NetCore: From policies to pipelines C Schlesinger, M Greenberg, D Walker Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 51 | 2014 |
| Correct by construction networks using stepwise refinement L Ryzhyk, N Bjørner, M Canini, JB Jeannin, C Schlesinger, DB Terry, ... USENIX Association Berkeley, CA, USA, 2017 | 40 | 2017 |
| 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 | 38 | 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 | 34 | 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 | 33 | 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 | 31 | 2014 |
| One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019 | 28 | 2019 |
| 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 | 23 | 2012 |
| 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 | 19 | 2020 |
| 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 | 10 | 2020 |
| Quality of service abstractions for software-defined networks C Schlesinger, H Ballani, T Karagiannis, D Vytiniotis | 5 | 2015 |
| 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 | 5 | 2012 |
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
