PLunch: Trace Abstraction Modulo Probability
Kesha Hietala - University of Maryland, College Park
Abstract
Weekly PL lunch discussing the paper "Trace Abstraction Modulo Probability.” Discussion will be led by Kesha Hietala.
Paper available here: https://dl.acm.org/citation.cfm?doid=3302515.3290352
Sign up to present here: https://docs.google.com/
This talk is organized by Kesha Hietala