2 papers
cs.DS2026
Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points
Srihari Nanniyur, Siddhartha Jayanti
We present a machine-verified proof of the correctness of Toom-Cook multiplication with generalized integer evaluation points. Toom-Cook is a class of fast multiplication algorithm…
cs.PL2025
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti +2
In the past decade, many techniques have been developed to prove linearizability, the gold standard of correctness for concurrent data structures. Intuitively, linearizability requ…