Research Group
Proc. ACM Program. Lang. Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Proc. ACM Program. Lang. Approximate Relational Reasoning for Higher-Order Probabilistic Programs
ACM Conference on Computer and Communications Security (CCS)
Logical Relations for Formally Verified Authenticated Data Structures
Proc. ACM Program. Lang. Almost-Sure Termination by Guarded Refinement
Proc. ACM Program. Lang. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement