◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Saksham Chand

5 papers hereh-index 5107 citations8 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author3
  • middle author2

Across the 5 of 5 papers where every author was matched, so the position is known.

fields
  • cs.DC4
  • cs.CR1

identity via Semantic Scholar / OpenAlex

activity
20162020
most citedFormal Verification of Multi-Paxos for Distributed Consensus

43 citations · 57 across the 5 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.DC2016★ 43 cited

Formal Verification of Multi-Paxos for Distributed Consensus

Saksham Chand, Yanhong A. Liu, Scott D. Stoller

Paxos is an important algorithm for a set of distributed processes to agree on a single value or a sequence of values, for which it is called Basic Paxos or Multi-Paxos, respective…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.