Sotabase

Career

· Staff Software Engineer, Google2023–
· CEO And Co-Founder, Nexus2021–2023
· Senior Software Engineer, Google2017–2021
· Intern, Google2014–2014
· Intern, VMware2013–2013
· Doctor of Philosophy (PhD), Computer Science, 3.87, University of Washington2012–2017
· Intern, IBM Research2011–2011
· Student Employee, IBM2009–2012

Publications (13)

Cosette: An Automated Prover for SQL
Conference on Innovative Data Systems Research · 2017
106
cited
HoTTSQL: proving query rewrites with univalent SQL semantics
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
94
cited
Scalable verification of border gateway protocol configurations with an SMT solver
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
80
cited
Formal Semantics and Automated Verification for the Border Gateway Protocol
2016
21
cited
SwitchV: automated SDN switch validation with P4 models
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication · 2022
19
cited
A type system for format strings
International Symposium on Software Testing and Analysis · 2014
9
cited
SpaceSearch: a library for building and verifying solver-aided tools
Proc. ACM Program. Lang. · 2017
9
cited
Bagpipe : Verified BGP Configuration Checking
2016
8
cited
Real-time collaborative analysis with (almost) pure SQL: a case study in biogeochemical oceanography
International Conference on Statistical and Scientific Database Management · 2013
5
cited
A format string checker for Java
International Symposium on Software Testing and Analysis · 2014
1
cited
Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers
2017
1
cited
Formal Semantics & Verification for the Border Gateway Protocol
2016
1
cited
DeTEXT : Programming by Example
2012
Sotabase
Konstantin Weitz | Researcher Profile | Sotabase | Sotabase