| Cosette: An Automated Prover for SQL. S Chu, C Wang, K Weitz, A Cheung CIDR, 2017 | 100 | 2017 |
| HoTTSQL: Proving query rewrites with univalent SQL semantics S Chu, K Weitz, A Cheung, D Suciu ACM SIGPLAN Notices 52 (6), 510-524, 2017 | 90 | 2017 |
| Scalable verification of border gateway protocol configurations with an SMT solver K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock Proceedings of the 2016 acm sigplan international conference on object …, 2016 | 80 | 2016 |
| Formal semantics and automated verification for the border gateway protocol K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock NetPL, March, 2016 | 17 | 2016 |
| A type system for format strings K Weitz, G Kim, S Srisakaokul, MD Ernst Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 15 | 2014 |
| SpaceSearch: A library for building and verifying solver-aided tools K Weitz, S Lyubomirsky, S Heule, E Torlak, MD Ernst, Z Tatlock Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017 | 13 | 2017 |
| SwitchV: automated SDN switch validation with P4 models KD Albab, J DiLorenzo, S Heule, A Kheradmand, S Smolka, K Weitz, ... Proceedings of the ACM SIGCOMM 2022 Conference, 365-379, 2022 | 11 | 2022 |
| Real-time collaborative analysis with (almost) pure SQL: a case study in biogeochemical oceanography D Halperin, F Ribalet, K Weitz, MA Saito, B Howe, EV Armbrust Proceedings of the 25th International Conference on Scientific and …, 2013 | 9 | 2013 |
| Bagpipe: Verified BGP configuration checking K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock Proc. OOPSLA, 2016 | 7 | 2016 |
| Formal Semantics and Verification for the Border Gateway Protocol K Weitz, D Woos, A Krishnamurthy, MD Ernst, Z Tatlock Tech. rep, 2016 | 3 | 2016 |
| A format string checker for Java K Weitz, S Srisakaokul, G Kim, MD Ernst Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 3 | 2014 |
| Leveraging P4 for Fixed-Function Switches K Weitz, S Heule, W Mohsin, L Vicisano, A Vahdat P4 Workshop 2019, 2019 | 2 | 2019 |
| CCS Concepts:• Theory of computation→ Program verification; Constraint and logic programming; Additional Key Words and Phrases: Coq, SMT solver-aided tools, Bagpipe … K WEITZ | | 2017 |
| Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers K Weitz | | 2017 |
| DeTEXT: Programming by Example K Weitz, J Bragg, MTI Aumi | | 2012 |
