About Me

I am a third-year Ph.D. student in the Department of Computer Science at Boston University, advised by Marco Gaboardi and Alley Stoughton. I am part of the Principles of Programming and Verification group at BU, where I organize the weekly POPV seminar series. Before joining BU, I received an M.S. in Computer Science and an A.B. in Computer Science and Mathematics from Dartmouth College, where I had the pleasure of working with Prof. Prasad Jayanti.

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, EasyCrypt, and EasyUC. Most recently, I’ve been exploring how to study linearizability as a universally composable (UC) security property using the EasyUC framework.

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

(with collaborators)

Under review

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

(with collaborators)

Under review

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 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

Ugur Y. Yavuz

Dartmouth College, Honors thesis (awarded High Honors), 2021

PDF

[03/2025] Serving on the Artifact Evaluation Committee for PLDI 2025.
[08/2024] Completed a Student Researcher engagement at Google, Cambridge, MA.
[06/2024] Helping organize and attending OPLSS 2024 at BU! 🎓
[01/2024] Presented our POPL 2024 paper 🎡 on meta-configuration tracking, with my co-author Siddhartha Jayanti.
[11/2023] Gave a talk at NJPLS 2023 (at Princeton) on a preliminary version of our POPL work.
[10/2023] Spoke at BU's POPV seminar series on our upcoming POPL 2024 paper.
[08/2023] Presented at VTSA 2023 (Inria Nancy, France) on using TLA+/TLAPS for meta-configuration tracking.
[09/2022] Joined the POPV group at Boston University as a Ph.D. student!
[08/2022] Finished a remote internship at Microsoft, working on bug-patch metadata generation via InferSharp.
[05/2022] Defended my master's thesis at Dartmouth College! 🎉🌲

Coming soon! 🚧
This section is under construction — check back soon for updates.