‪Ugur Y. Yavuz‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	4	4
h-index	1	1
i10-index	0	0

0

4

2

202320243 1

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 Machine-Verified Proof of Linearizability for a Queue Algorithm UY Yavuz Dartmouth College, 2022	2	2022
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	1	2024
Producing easy-to-verify proofs of linearizability U Yavuz	1	2021
A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms P Jayanti, S Jayanti, UY Yavuz, L Hernandez arXiv preprint arXiv:2302.00737, 2023		2023

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

Articles 1–4