Faculty
Proc. ACM Program. Lang. Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic
European Symposium on Programming (ESOP) Aneris: A Mechanized Logic for Modular Reasoning about Distributed Systems
Principles of Security and Trust (POST) A Dependently Typed Library for Static Information-Flow Control in Idris