83 citations · 108 across the 14 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024
A Nominal Approach to Probabilistic Separation Logic
John M. Li, Jon Aytac, Philip Johnson-Freyd +2
Currently, there is a gap between the tools used by probability theorists and those used in formal reasoning about probabilistic programs. On the one hand, a probability theorist d…
cs.CR2024
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
Lisa Oakley, Steven Holtzen, Alina Oprea
Programmatically generating tight differential privacy (DP) bounds is a hard problem. Two core challenges are (1) finding expressive, compact, and efficient encodings of the distri…