2 citations · 4 across the 7 of their papers we have counts for
7 papers
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…
Heterogeneous Paxos: Technical Report
Isaac Sheff, Xinwen Wang, Robbert van Renesse +1
In distributed systems, a group of achieve when, by observing the output of some , they all arrive at the same value. C…
CedrusDB: Persistent Key-Value Store with Memory-Mapped Lazy-Trie
Maofan Yin, Hongbo Zhang, Robbert van Renesse +1
As a result of RAM becoming cheaper, there has been a trend in key-value store design towards maintaining a fast in-memory index (such as a hash table) while logging user operation…
Asynchronous Consensus Without Rounds
Robbert van Renesse
Fault tolerant consensus protocols usually involve ordered rounds of voting between a collection of processes. In this paper, we derive a general specification of fault tolerant as…
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
Isaac Sheff, Xinwen Wang, Haobin Ni +2
We present Charlotte, a framework for composable, authenticated distributed data structures. Charlotte data is stored in blocks that reference each other by hash. Together, all Cha…
A Web of Blocks
Isaac Sheff, Xinwen Wang, Andrew C. Myers +1
Blockchains offer a useful abstraction: a trustworthy, decentralized log of totally ordered transactions. Traditional blockchains have problems with scalability and efficiency, pre…
Secure Abstraction with Code Capabilities
Robbert van Renesse, Håvard Johansen, Nihar Naigaonkar +1
We propose embedding executable code fragments in cryptographically protected capabilities to enable flexible discretionary access control in cloud-like computing infrastructures.…