• Sign in
  • Sign up
conf.researchr.org / Ugur Y. Yavuz
  • PLDI 2025 profile
  • POPL 2024 profile

Registered user since Thu 27 Feb 2025

Name:Ugur Y. Yavuz
Country:United States
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
Share
xTue 28 Oct 06:12
using conf.researchr.org (v1.72.1)
Support page
Sign Up