‪Ugur Y. Yavuz‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	7	7
h-index	2	2
i10-index	0	0

0

4

2

202320243 4

Co-authors

Siddhartha JayantiResearch Scientist, Google ResearchVerified email at google.com
Prasad JayantiDartmouth CollegeVerified email at cs.dartmouth.edu

Ugur Y. Yavuz

Ugur Y. Yavuz

Ph.D. Student, Boston University

Verified email at bu.edu - Homepage

Formal Verification Distributed Computing Algorithms


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability P Jayanti, S Jayanti, U Yavuz, L Hernandez Proceedings of the ACM on Programming Languages 8 (POPL), 2456-2484, 2024	4	2024
A Machine-Verified Proof of Linearizability for a Queue Algorithm UY Yavuz Dartmouth College, 2022	2	2022
Producing easy-to-verify proofs of linearizability U Yavuz	1	2021

The system can't perform the operation now. Try again later.

Articles 1–3