12 citations · 12 across the 2 of their papers we have counts for
4 papers
Second Analysis Ecosystem Workshop Report
Mohamed Aly, Jackson Burzynski, Bryan Cardwell +66
The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the…
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…
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…
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…