Konstantin Weitz

According to our database, Konstantin Weitz authored at least 7 papers between 2013 and 2017.

Collaborative distances:

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

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 CIDR 2017, 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