List of works - Steven Holtzen - Paulina

List of works by Steven Holtzen

A Nominal Approach to Probabilistic Separation Logic

scientific article published on 21 June 2024

Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces

scientific article published on 05 July 2024

Bit Blasting Probabilistic Programs

scientific article published on 20 June 2024

Lilac: A Modal Separation Logic for Conditional Probability

scientific article published on 06 June 2023

Paulina is supported by:

About Paulina

Help