Author

Rahul Sihag

h-index 0 View on Semantic Scholar

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Specifying Paxos for System Builders: Pseudocode Made Executable

It is shown how the protocol pseudocode can be expressed easily, essentially line-by-line, in a precise high-level language, DistAlgo, for direct execution in distributed systems.

Yan-Hong A. Liu, Rahul Sihag · 0 citations