BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
M.D.Ernst G.Kim S.Srisakaokul S.Chu A.Cheung D.Suciu D.Woos E.Torlak A.Krishnamurthy Z.Tatlock
Talks about:
string (2) format (2) protocol (1) configur (1) scalabl (1) gateway (1) checker (1) unival (1) system (1) solver (1)

Person: Konstantin Weitz

DBLP DBLP: Weitz:Konstantin

Contributed to:

ISSTA 20142014
OOPSLA 20162016
PLDI 20172017

Wrote 4 papers:

ISSTA-2014-WeitzKSE #string #type system
A type system for format strings (KW, GK, SS, MDE), pp. 127–137.
ISSTA-2014-WeitzSKE #java #string
A format string checker for Java (KW, SS, GK, MDE), pp. 441–444.
OOPSLA-2016-WeitzWTEKT #protocol #scalability #smt #verification
Scalable verification of border gateway protocol configurations with an SMT solver (KW, DW, ET, MDE, AK, ZT), pp. 765–780.
PLDI-2017-ChuWCS #named #proving #query #semantics #sql
HoTTSQL: proving query rewrites with univalent SQL semantics (SC, KW, AC, DS), pp. 510–524.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.