Faculty
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. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
Proc. ACM Program. Lang. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Proc. ACM Program. Lang. Almost-Sure Termination by Guarded Refinement
Proc. ACM Program. Lang. Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Proc. ACM Program. Lang. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Higher-Order Separation Logic for Distributed Systems and Security
Proc. ACM Program. Lang. Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic