34 citations · 94 across the 11 of their papers we have counts for
1 paper · 2 filters
John M. Li, Amal Ahmed, Steven Holtzen
We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures probabilistic independence. Inspired by an analogy with mutabl…