Collaborated with:Marco F. Cusumano-Towner V.K.Mansinghka Feras A. Saad Benjamin Sherman M.Carbin
Talks about:probabilist (2) programm (2) infer (2) program (1) languag (1) general (1) system (1) semant (1) purpos (1) trace (1)
Person: Alexander K. Lew
DBLP: Lew:Alexander_K=
Contributed to:
2019
2020Wrote 2 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-2020-LewCSCM #probability #programmable #semantics
- Trace types and denotational semantics for sound programmable inference in probabilistic languages (AKL, MFCT, BS, MC, VKM), p. 32.