21 citations · 33 across the 3 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 12 cited
Towards an Automatic Proof of Lamport's Paxos
Aman Goel, Karem A. Sakallah
Lamport's celebrated Paxos consensus protocol is generally viewed as a complex hard-to-understand algorithm. Notwithstanding its complexity, in this paper, we take a step towards a…
physics.soc-ph2021
Learning from the Pandemic: the Future of Meetings in HEP and Beyond
Mark S. Neubauer, Todd Adams, Jennifer Adelman-McCarthy +36
The COVID-19 pandemic has by-and-large prevented in-person meetings since March 2020. While the increasing deployment of effective vaccines around the world is a very positive deve…
cs.LO2021★ 21 cited
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
Aman Goel, Karem A. Sakallah
Proving that an unbounded distributed protocol satisfies a given safety property amounts to finding a quantified inductive invariant that implies the property for all possible inst…