<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div class="elementToProof" style="font-family: Calibri, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">

This is an announcement of Bogdan Stoica's Candidacy Exam.<br>

===============================================<br>

Candidate: Bogdan Stoica<br>

<br>

Date: Friday, June 07, 2024<br>

<br>

Time: 11 am CT<br>

<br>

Remote Location: <span style="background-color: rgb(255, 255, 255);"><a href="https://uchicago.zoom.us/j/94521183450?pwd=dUFaNFpkY2oyTndyOE05aGUwWVJ1QT09" target="_blank" id="OWA539eae8b-9921-578f-1039-f0a13ce423c4" class="OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="0" style="margin: 0px; background-color: rgb(255, 255, 255); text-align: left;">https://uchicago.zoom.us/j/94521183450?pwd=dUFaNFpkY2oyTndyOE05aGUwWVJ1QT09</a></span><br>

<br>

Title: Insights and Tooling for Bug Finding at Scale<br>

<br>

Abstract: Large-scale distributed systems are essential to the infrastructure of numerous applications and services. The rapid adoption of such systems however, introduces unprecedented scalability challenges related to availability, consistency, and concurrency,

 among others.<br>

<br>

One emerging set of scale-related issues involves capacity bugs --- defects that surface when a system is reaching one or more of its limits while in operation. These bugs often lead to significant operational challenges, including system downtime and data

 loss. While latent in small-scale settings, capacity bugs surface as the system scales up. As such, they require focused studies to develop effective detection strategies.<br>

<br>

This work aims to develop an understanding of the symptoms and root causes of capacity bugs, and propose tooling than can identify certain classes of such defects. While we initially explore capacity bugs at-large, we narrow our attention on retry logic and

 memory ordering bugs. Moreover, our proposed solutions revolve around three key themes: (1) developing fault injection techniques to simulate specific bug triggers, (2) re-purposing existing tests as bug-triggering inputs, and (3) leveraging large language

 models to support more robust code analysis.<br>

<br>

Advisors: Shan Lu<br>

<br>

Committee Members: Shan Lu, Haryadi Gunawi, Kexin Pei, and Suman Nath</div>

<div id="Signature">

<div style="background-color: rgb(255, 255, 255); font-family: Calibri, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">

<br>

</div>

</div>

</body>

</html>