avatar

Uğur Y. Yavuz

(he/him)

Ph.D. student
Boston University
uyyavuz (at) bu (dot) edu


About me

Hello! I am a third-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

Publications

  1. 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.
    PDF [Workshop Paper]
    HOPC@SPAA

  2. 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 Code
    POPL

  3. A Machine-Verified Proof of Linearizability for a Queue Algorithm
    Ugur Y. Yavuz
    Dartmouth College, Master's thesis, 2022.
    PDF
    Thesis

News