Uğur Y. Yavuz
Uğur /uˈɣur/ Y. Yagmur: /jɑːˈmur/ Yavuz /jaˈvuz/
uyyavuz (at) bu (dot) edu
CV

about me

I am a Ph.D. student in the Department of Computer Science at Boston University, advised by Marco Gaboardi and Alley Stoughton. I am a member of the Principles of Programming and Verification (POPV) group at BU.

My research focuses on the specification and formal verification of concurrent algorithms and systems. I am particularly interested in proof development using tools such as TLA+/TLAPS.

publications

news

Conference and journal papers
Formal Machine-Verification of MemSnap: an Efficient, Far-Future Linearizable Snapshot Algorithm
Siddhartha Jayanti, Ugur Y. Yavuz
37th ACM Symposium on Parallelism in Algorithms and Architectures [SPAA '25] · Distinguished Paper Award
PDF Code
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
51st ACM Symposium on Principles of Programming Languages [POPL '24]
PDF Talk Code
Workshop presentations
Verifying Differential Privacy in TLA+ via Self-Products
Ugur Y. Yavuz
TLA+ Community Event at ETAPS 2026 [TLA+ CE '26]
Code
Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures
Prasad Jayanti, Siddhartha Jayanti, Ugur Yavuz, Lizzie Hernandez
ACM Workshop on Highlights of Parallel Computing at SPAA 2024 [HOPC '24]
PDF
Preprints
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti, Stephanie Balzer, Guy Blelloch
arXiv preprint, September 2025
arXiv
Theses
A Machine-Verified Proof of Linearizability for a Queue Algorithm
Ugur Y. Yavuz
Dartmouth College, Master's thesis, 2022
PDF Talk
Producing Easy-to-Verify Proofs of Linearizability
Ugur Y. Yavuz
Dartmouth College, Honors thesis, 2021 · Awarded High Honors
PDF