uyyavuz (at) bu (dot) edu

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 and EasyUC.

I currently organize the weekly POPV seminar series.
Feel free to reach out if you would like to give a talk!

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], 2025 · Distinguished Paper Award

PDF 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 (HOPC), 2024

DOI

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), 2024

PDF Talk Code

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