Wednesday, January 16, 2019 | 1:45 PM–2:07 PM | Probabilistic Programming and Semantics
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
Friday, January 18, 2019 | 5:21 PM–5:43 PM | Verified Compilation and Concurrency
A Verified, Efficient Embedding of a Verifiable Assembly Language
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy