There is a newer version of the record available.

Published September 1, 2025 | Version v1
Other Open

SOSP '25 Artifacts and Proofs - Running Consistent Applications Closer to Users with Radical for Lower Latency

Authors/Creators

  • 1. EDMO icon Princeton University

Description

This record contains the code for reproducing the experiments detailed in our SOSP 2025 Paper, as well as the protocol proofs for both the replicated and single server version of the system.

Files

proof.pdf

Files (311.1 kB)

Name Size Download all
md5:a1d8968b7163bbf21ba82488c8eadc60
297.6 kB Preview Download
md5:0b5f54bc557c4f7a22eb3939fe44067e
13.5 kB Download

Additional details

Related works

Is supplement to
Conference paper: 10.1145/3731569.3764831 (DOI)

Software

Programming language
Rust , Go , Python