<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
This is an announcement of Utsav Sethi's Candidacy Exam.<br class="">
===============================================<br class="">
Candidate: Utsav Sethi<br class="">
<br class="">
Date: Wednesday, March 20, 2024<br class="">
<br class="">
Time: 11:30 am CT<br class="">
<br class="">
Remote Location: <a href="https://urldefense.com/v3/__https://uchicago.zoom.us/j/95373049575?pwd=ZVRLWDNCd0x6NnV0dEc1cncwa2h3UT09__;!!BpyFHLRN4TMTrA!6Kd87ooGEeBDdRRiO1_pRxXYZXfJin5hgNQhJu7hfwkVeaIera9hiLzfSOHhz2V_HgI1BekIxrgMyzH6GPSMPuIg1yfL-RiAAtOu$" class="">https://uchicago.zoom.us/j/95373049575?pwd=ZVRLWDNCd0x6NnV0dEc1cncwa2h3UT09</a><br class="">
<br class="">
Location: JCL 390<br class="">
<br class="">
Title: Improving Task-Oriented Functionalities for System Resilience: An Analysis of Retry and Cancel Defects and Automated Methods for Static Detection<br class="">
<br class="">
Abstract: A few core, task-execution oriented functionalities such as retry, cancellation, checkpointing, timeout and the like are particularly important in building resilient software applications. Yet, these functionalities are not trivial to implement correctly,
and thus prone to defects, for a variety of reasons, e.g.: they require nuanced handling of partial execution states, rely on notions of “correctness” that are often not clearly defined, use non-standard implementations that may not be well supported by existing
libraries or frameworks, and are frequently disabled or omitted in application testing. <br class="">
<br class="">
This work aims to develop a detailed understanding of root cause defects in two of these functionalities - cancellation and retry - and ways that static program analysis can help identify certain classes of defects. Additionally this work evaluates how the
program analysis capabilities of LLMs can be used to complement classical approaches, especially for non-standard implementations difficult to identify through traditional static analysis. <br class="">
<br class="">
Advisors: Shan Lu<br class="">
<br class="">
Committee Members: Haryadi Gunawi, Shan Lu, and Madan Musuvathi<br class="">
<div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
</div>
<br class="">
</body>
</html>