BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
A.Albarghouthi L.D'Antoni A.V.Nori
Talks about:
probabilist (2) program (2) fair (2) uncertainti (1) constraint (1) synthesi (1) proposit (1) interpol (1) repair (1) effici (1)

Person: Samuel Drews

DBLP DBLP: Drews:Samuel

Contributed to:

CAV (2) 20162016
CAV (1) 20172017
CAV (1) 20192019
OOPSLA 20172017

Wrote 4 papers:

CAV-2016-DrewsA #effectiveness
Effectively Propositional Interpolants (SD, AA), pp. 210–229.
CAV-2017-AlbarghouthiDD #nondeterminism #source code
Repairing Decision-Making Programs Under Uncertainty (AA, LD, SD), pp. 181–200.
CAV-2019-DrewsAD #constraints #performance #probability #synthesis
Efficient Synthesis with Probabilistic Constraints (SD, AA, LD), pp. 278–296.
OOPSLA-2017-AlbarghouthiDDN #named #probability #verification
FairSquare: probabilistic verification of program fairness (AA, LD, SD, AVN), 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.