Konstantin Weitz

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
SpaceSearch: a library for building and verifying solver-aided tools.
Proc. ACM Program. Lang., 2017

HoTTSQL: proving query rewrites with univalent SQL semantics.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Cosette: An Automated Prover for SQL.
Proceedings of the CIDR 2017, 2017

2016
Scalable verification of border gateway protocol configurations with an SMT solver.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014
A format string checker for Java.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

A type system for format strings.
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.
Proceedings of the Conference on Scientific and Statistical Database Management, 2013


  Loading...