 Quorum Tree Abstractions of Consensus ProtocolsEuropean Symposium on Programming (ESOP), 2023 |
 Plain and Simple Inductive Invariant Inference for Distributed Protocols
in TLA+Formal Methods in Computer-Aided Design (FMCAD), 2022 |
 Formal Verification of a Distributed Dynamic Reconfiguration ProtocolCertified Programs and Proofs (CPP), 2021 |
 |
 Verification of Eventual Consensus in Synod Using a Failure-Aware Actor
ModelNASA Formal Methods (NFM), 2021 |
 Simpler Specifications and Easier Proofs of Distributed Algorithms Using
History VariablesNASA Formal Methods (NFM), 2018 |
 From Clarity to Efficiency for Distributed AlgorithmsACM Transactions on Programming Languages and Systems (TOPLAS), 2014 |
