Saksham Chand

According to our database, Saksham Chand authored at least 8 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Brief Announcement: What's Live? Understanding Distributed Consensus.

Saksham Chand, Yanhong A. Liu

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

What's Live? Understanding Distributed Consensus.

Saksham Chand, Yanhong A. Liu

CoRR, 2020

2019

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms.

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

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

High-Level Cryptographic Abstractions.

Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

2018

High-level Cryptographic Abstractions.

Christopher Kane, Bo Lin, Saksham Chand, Yanhong A. Liu

CoRR, 2018

Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables.

Saksham Chand, Yanhong A. Liu

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm.

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

CoRR, 2017

2016

Formal Verification of Multi-Paxos for Distributed Consensus.

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

Proceedings of the FM 2016: Formal Methods, 2016