Paper-Conference

On the Specification and Analysis of Quantum Repeater Protocols
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite URL
Confidential Analytics with Scylla
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Confidential Analytics with Scylla
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Digital Cluster Circuits for Reliable Datacenters
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
FiDe: Reliable and Fast Crash Failure Detection to Boost Datacenter Coordination
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite URL
Nano-consensus: Ultra-fast, Quorum-less Coordination on the Wire
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
FARM: Comprehensive Data Center Network Monitoring and Management
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
CHC Model Validation with Proof Guarantees
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Secure Distributed Data and Event Processing at Scale: Where Are We Now?
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Symbolic Model Checking for TLA+ Made Faster
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL