{"id":17162,"date":"2023-03-28T13:51:36","date_gmt":"2023-03-28T17:51:36","guid":{"rendered":"https:\/\/www.bu.edu\/cs\/?post_type=profile&#038;p=17162"},"modified":"2024-11-22T13:11:06","modified_gmt":"2024-11-22T18:11:06","slug":"ugur-yavuz","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/cs\/profiles\/ugur-yavuz\/","title":{"rendered":"Ugur Yavuz"},"content":{"rendered":"<p><span>Ugur Yavuz is a first-year PhD student in the Principles of Programming and Verification research group, co-advised by Marco Gaboardi and Alley Stoughton. His research interests include formal verification, concurrent algorithms, complexity theory, and logic.<\/span><\/p>\n<h3>Publications<\/h3>\n<p class=\"x_ContentPasted2\"><span class=\"x_ContentPasted3\"><span class=\"x_ContentPasted4\"><a href=\"https:\/\/arxiv.org\/abs\/2302.00737\" title=\"https:\/\/arxiv.org\/abs\/2302.00737\" id=\"LPNoLPOWALinkPreview\"><span class=\"x_ContentPasted5\">A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms<\/span><\/a><\/span><\/span><\/p>\n<p>Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez<b class=\"x_ContentPasted5\"><br \/>\n<\/b><\/p>\n<p><a href=\"https:\/\/digitalcommons.dartmouth.edu\/cgi\/viewcontent.cgi?article=1053&amp;context=masters_theses\" class=\"x_ContentPasted6\" title=\"https:\/\/digitalcommons.dartmouth.edu\/cgi\/viewcontent.cgi?article=1053&amp;context=masters_theses\">A Machine-Verified Proof of Linearizability for a Queue Algorithm<\/a><\/p>\n<p class=\"x_ContentPasted2\"><span class=\"x_ContentPasted3\"><span class=\"x_ContentPasted4\"><span class=\"x_ContentPasted5\">Ugur Y. Yavuz (MS thesis) <\/span><\/span><\/span><\/p>\n<h3>Website<\/h3>\n<p><a href=\"https:\/\/cs-people.bu.edu\/uyyavuz\/\">https:\/\/cs-people.bu.edu\/uyyavuz\/<\/a><\/p>\n","protected":false},"author":20056,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/17162"}],"collection":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/users\/20056"}],"version-history":[{"count":1,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/17162\/revisions"}],"predecessor-version":[{"id":17164,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/17162\/revisions\/17164"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/media?parent=17162"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}