1 citations · 2 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…