<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">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 class="apple-converted-space"> </span><span style="background:white"><a href="https://urldefense.com/v3/__https:/uchicago.zoom.us/j/94521183450?pwd=dUFaNFpkY2oyTndyOE05aGUwWVJ1QT09__;!!BpyFHLRN4TMTrA!-_YAhCfMs87ZQ5famaNsmskQtUnKFteiGy6g-IiHtpa0R3JGmXfR4BFPwxK_VrLc0uWHSBckEmN1BK9Yvb589XFWRNfm3SBgNN8$" target="_blank" title="https://urldefense.com/v3/__https://uchicago.zoom.us/j/94521183450?pwd=dUFaNFpkY2oyTndyOE05aGUwWVJ1QT09__;!!BpyFHLRN4TMTrA!-_YAhCfMs87ZQ5famaNsmskQtUnKFteiGy6g-IiHtpa0R3JGmXfR4BFPwxK_VrLc0uWHSBckEmN1BK9Yvb589XFWRNfm3SBgNN8$">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</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Times New Roman",serif;color:black;mso-ligatures:none"><o:p> </o:p></span></b></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>