Konstantin Weitz

According to our database, Konstantin Weitz authored at least 9 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

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

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

2017

Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers

Konstantin Weitz

PhD thesis, 2017

SpaceSearch: a library for building and verifying solver-aided tools.

Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock

Proc. ACM Program. Lang., 2017

HoTTSQL: proving query rewrites with univalent SQL semantics.

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Cosette: An Automated Prover for SQL.

Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung

Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017

2016

Scalable verification of border gateway protocol configurations with an SMT solver.

Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014

A format string checker for Java.

Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

A type system for format strings.

Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

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

Proceedings of the Conference on Scientific and Statistical Database Management, 2013