A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms. - Prasad Jayanti; Siddhartha Jayanti; Ugur Y. Yavuz; Lizzie Hernandez (CoRR, 2023)

Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract). - Prasad Jayanti; Siddhartha Jayanti; Ugur Y. Yavuz; Lizzie Hernandez (HOPC@SPAA, 2024)

A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability. - Prasad Jayanti; Siddhartha Jayanti; Ugur Y. Yavuz; Lizzie Hernandez (Proc. ACM Program. Lang., 2024)