Collaborated with:V.K.Mansinghka Marco F. Cusumano-Towner M.C.Rinard Alexander K. Lew C.E.Freer Ulrich Schaechtle
Talks about:probabilist (2) program (2) distribut (1) synthesi (1) programm (1) bayesian (1) approxim (1) probabl (1) general (1) discret (1)
Person: Feras A. Saad
DBLP: Saad:Feras_A=
Contributed to:
2019
20192020Wrote 3 papers:
- PLDI-2019-Cusumano-Towner #named #probability #programmable #programming
- Gen: a general-purpose probabilistic programming system with programmable inference (MFCT, FAS, AKL, VKM), pp. 221–236.
- POPL-2019-SaadCSRM #automation #modelling #probability #source code #synthesis
- Bayesian synthesis of probabilistic programs for automatic data modeling (FAS, MFCT, US, MCR, VKM), p. 32.
- POPL-2020-SaadFRM #approximate #probability
- Optimal approximate sampling from discrete probability distributions (FAS, CEF, MCR, VKM), p. 31.