2 papers
cs.PL2026
Type-Directed Discretization of Probabilistic Programs (Extended Version)
Katherine Wu, Jules Jacobs, Kevin Batz +1
We study exact discretization as a semantics-preserving transformation for recursive, higher-order probabilistic programs with continuous distributions. We target programs where co…
cs.CR2026
Automatically Tightening Access Control Policies with Restricter
Ka Lok Wu, Christa Jenkins, Scott D. Stoller +1
Robust access control is a cornerstone of secure software, systems, and networks. An access control mechanism is as effective as the policy it enforces. However, authoring effectiv…