Microsoft @ POPL 2019

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

Co-Located Conferences

Tuesday, January 15, 2019 | 4:30 PM–5:00 PM | Networks and Concurrency at VMCAI
Fast BGP Simulation of Large Datacenters

Nuno Lopes, Andrey Rybalchenko