publication venue for
- Historia: Refuting Callback Reachability with Message-History Logics 2023
- Verifying Indistinguishability of Privacy-Preserving Protocols 2023
- Mergeable Replicated Data Types 2019
- Static Analysis with Demand-Driven Value Refinement 2019
- Safe Replication through Bounded Concurrency Verification 2018
- Alone Together: Compositional Reasoning and Inference for Weak Isolation 2018
- Understanding the use of lambda expressions in Java 2017