Saksham Chand

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 10

Top Topics

Provably Correct

Formal Verification

Distributed Environment

Top Venues

Publications

Saksham Chand, Yanhong A. Liu
Brief Announcement: What's Live? Understanding Distributed Consensus. PODC (2021)
Saksham Chand, Yanhong A. Liu
What's Live? Understanding Distributed Consensus. CoRR (2020)
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. PPDP (2019)
Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu
High-Level Cryptographic Abstractions. PLAS@CCS (2019)
Saksham Chand, Yanhong A. Liu
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. CoRR (2018)
Saksham Chand, Yanhong A. Liu
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. NFM (2018)
Christopher Kane, Bo Lin, Saksham Chand, Yanhong A. Liu
High-level Cryptographic Abstractions. CoRR (2018)
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. CoRR (2017)
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Formal Verification of Multi-Paxos for Distributed Consensus. CoRR (2016)
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Formal Verification of Multi-Paxos for Distributed Consensus. FM (2016)