[Colloquium] Utsav Sethi Candidacy Exam/Mar 20, 2024

[Megan Woodward]

This is an announcement of Utsav Sethi's Candidacy Exam.
===============================================
Candidate: Utsav Sethi

Date: Wednesday, March 20, 2024

Time: 11:30 am CT

Remote Location:  https://uchicago.zoom.us/j/95373049575?pwd=ZVRLWDNCd0x6NnV0dEc1cncwa2h3UT09

Location: JCL 390

Title: Improving Task-Oriented Functionalities for System Resilience: An Analysis of Retry and Cancel Defects and Automated Methods for Static Detection

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.

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.

Advisors: Shan Lu

Committee Members: Haryadi Gunawi, Shan Lu, and Madan Musuvathi








-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20240319/57ac166b/attachment-0001.html>