5 citations · 12 across the 6 of their papers we have counts for
5 papers · 1 filter
A Formalization of the Correctness of the Floodsub Protocol
Ankit Kumar, Panagiotis Manolios
Floodsub is a simple, robust and popular peer-to-peer publish/subscribe (pubsub) protocol, where nodes can arbitrarily leave or join the network, subscribe to or unsubscribe from t…
Proving Calculational Proofs Correct
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Teaching proofs is a crucial component of any undergraduate-level program that covers formal reasoning. We have developed a calculational reasoning format and refined it over sever…
Verification of GossipSub in ACL2s
Ankit Kumar, Max von Hippel, Panagiotis Manolios +1
GossipSub is a popular new peer-to-peer network protocol designed to disseminate messages quickly and efficiently by allowing peers to forward the full content of messages only to…
Calculational Proofs in ACL2s
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Teaching college students how to write rigorous proofs is a critical objective in courses that introduce formal reasoning. Over the course of several years, we have developed a mec…
Automated Grading of Automata with ACL2s
Ankit Kumar, Andrew Walter, Panagiotis Manolios
Almost all Computer Science programs require students to take a course on the Theory of Computation (ToC) which covers various models of computation such as finite automata, push-d…