Wednesday, January 16, 2019 | 1:45 PM–2:07 PM | Probabilistic Programming and Semantics
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic (opens in new tab)
Maria I. Gorinova (opens in new tab), Andrew D. Gordon, Charles Sutton (opens in new tab)
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 (opens in new tab)
Co-Located Conferences
Tuesday, January 15, 2019 | 4:30 PM–5:00 PM | Networks and Concurrency at VMCAI
Fast BGP Simulation of Large Datacenters (opens in new tab)
Nuno Lopes, Andrey Rybalchenko