3 papers
cs.OS2026
Characterizing Metastable Faults and Failures
Ali Farahbakhsh, Qingjie Lu, Lorenzo Alvisi +2
Metastable failures are hard to detect, prevent, and mitigate. During a metastable failure, a system exhibits self-sustaining bad behavior even in the absence of adversarial condit…
cs.PL2025
Functional Reasoning for Distributed Systems with Failures
Haobin Ni, Robbert van Renesse, Greg Morrisett
Distributed system theory literature often argues for correctness using an informal, Hoare-like style of reasoning. While these arguments are intuitive, they have not all been fool…
cs.DC2025
Ordered Consensus with Equal Opportunity
Yunhao Zhang, Haobin Ni, Soumya Basu +6
The specification of state machine replication (SMR) has no requirement on the final total order of commands. In blockchains based on SMR, however, order matters, since different o…