Konstantin Weitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SIGCOMM | SwitchV: automated SDN switch validation with P4 models. | Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu |
| 2017 | CIDR | Cosette: An Automated Prover for SQL. | Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung |
| 2017 | PLDI | HoTTSQL: proving query rewrites with univalent SQL semantics. | Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu |
| 2016 | OOPSLA | Scalable verification of border gateway protocol configurations with an SMT solver. | Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock |
| 2014 | ISSTA | A type system for format strings. | Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst |
| 2014 | ISSTA | A format string checker for Java. | Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst |
| 2013 | SSDBM | Real-time collaborative analysis with (almost) pure SQL: a case study in biogeochemical oceanography. | Daniel Halperin, Francois Ribalet, Konstantin Weitz, Mak A. Saito, Bill Howe, E. Virginia Armbrust |