Ugur Y. Yavuz

According to our database, Ugur Y. Yavuz authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs.

Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti, Stephanie Balzer, Guy E. Blelloch

CoRR, September, 2025

Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm.

Siddhartha Jayanti, Ugur Y. Yavuz

Proceedings of the 37th ACM Symposium on Parallelism in Algorithms and Architectures, 2025

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., January, 2024

Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract).

Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez

Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

2023

A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms.

Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez

CoRR, 2023