Saksham Chand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PODC | Brief Announcement: What's Live? Understanding Distributed Consensus. | Saksham Chand, Yanhong A. Liu |
| 2019 | CCS | High-Level Cryptographic Abstractions. | Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu |
| 2019 | PPDP | Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. | Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
| 2016 | FM | Formal Verification of Multi-Paxos for Distributed Consensus. | Saksham Chand, Yanhong A. Liu, Scott D. Stoller |