Ugur Y. Yavuz -

Registered user since Thu 27 Feb 2025

Name:Ugur Y. Yavuz

Country:Turkey

Affiliation:Boston University

Personal website: https://uguryav.uz/

GitHub: https://github.com/uguryavuz

Contributions

2025

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2024

POPL

Author of A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability within the POPL-track