Uğur Y. Yavuz | Boston University

About me

Hello! I am a second-year Ph.D. student at the Department of Computer Science of Boston University, advised by Prof. Marco Gaboardi and Prof. Alley Stoughton. Before joining BU, I received an M.S. degree in Computer Science, and an A.B. degree in Computer Science and Mathematics from Dartmouth College, where I was advised by Prof. Prasad Jayanti.

Research interests

Systems: concurrent algorithms
Theory: cryptography, complexity theory, differential privacy
Verification: specification, formal proofs – in particular, I am interested in the following tools:
- TLA+/TLAPS
- EasyCrypt

Publications

POPL

A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability

Prasad Jayanti, Siddhartha Jayanti, Ugur Yavuz, Lizzie Hernandez

51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2024.

PDF Code

Thesis

A Machine-Verified Proof of Linearizability for a Queue Algorithm

Ugur Y. Yavuz

Dartmouth College, Master's thesis, 2022.

PDF

News

[Jan. 2024] I presented our work on linearizability at POPL 2024 in London, UK.
[Nov. 2023] I presented our work on linearizability at NJPLS November 2023, hosted at Princeton University.
[Oct. 2023] I presented our work on linearizability at BU’s POPV seminar series.
[Aug. 2023] I presented our work on linearizability at VTSA 2023, hosted at INRIA Nancy in Nancy, France.
[May 2022] I defended my master’s thesis at Dartmouth College.