Konstantin Weitz

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 6

Top Topics

Duplicate Elimination

Aggregate Functions

Top Venues

Proc. ACM Program. Lang.

Publications

Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
SwitchV: automated SDN switch validation with P4 models. SIGCOMM (2022)
Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung
Cosette: An Automated Prover for SQL. CIDR (2017)
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock
SpaceSearch: a library for building and verifying solver-aided tools. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
HoTTSQL: proving query rewrites with univalent SQL semantics. PLDI (2017)
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
Scalable verification of border gateway protocol configurations with an SMT solver. OOPSLA (2016)
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics. CoRR (2016)
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst
A type system for format strings. ISSTA (2014)
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst
A format string checker for Java. ISSTA (2014)
Daniel Halperin, Francois Ribalet, Konstantin Weitz, Mak A. Saito, Bill Howe, E. Virginia Armbrust
Real-time collaborative analysis with (almost) pure SQL: a case study in biogeochemical oceanography. SSDBM (2013)