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.T.Vechev B.Bichsel S.Misailovic D.Dimitrov G.Singh M.Püschel Marco Cusumano-Towner V.K.Mansinghka P.Tsankov L.Vanbever Pascal Wiesmann
Talks about:
probabilist (4) program (3) infer (3) network (2) increment (1) abstract (1) certifi (1) bayonet (1) symbol (1) specif (1)

Person: Timon Gehr

DBLP DBLP: Gehr:Timon

Contributed to:

CAV 20152015
ESOP 20182018
CAV (1) 20162016
PLDI 20182018
POPL 20192019

Wrote 6 papers:

CAV-2015-GehrDV #commutative #learning #specification
Learning Commutativity Specifications (TG, DD, MTV), pp. 307–323.
ESOP-2018-BichselGV #fine-grained #probability #semantics #source code
Fine-Grained Semantics for Probabilistic Programs (BB, TG, MTV), pp. 145–185.
CAV-2016-GehrMV #named #probability #source code
PSI: Exact Symbolic Inference for Probabilistic Programs (TG, SM, MTV), pp. 62–83.
PLDI-2018-Cusumano-Towner18a #incremental #probability #source code
Incremental inference for probabilistic programs (MCT, BB, TG, MTV, VKM), pp. 571–585.
PLDI-2018-GehrMTVWV #named #network #probability
Bayonet: probabilistic inference for networks (TG, SM, PT, LV, PW, MTV), pp. 586–602.
POPL-2019-SinghGPV #abstract domain #network
An abstract domain for certifying neural networks (GS, TG, MP, MTV), p. 30.

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.