Managing data constraints in database-backed web applications. - Junwen Yang; Utsav Sethi; Cong Yan; Alvin Cheung; Shan Lu 001 (ICSE, 2020)

Understanding and Detecting Software Upgrade Failures in Distributed Systems. - Yongle Zhang; Junwen Yang; Zhuqi Jin; Utsav Sethi; Kirk Rodrigues; Shan Lu 001; Ding Yuan 004 (SOSP, 2021)

Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. - Utsav Sethi; Haochen Pan; Shan Lu 001; Madanlal Musuvathi; Suman Nath (OSDI, 2022)

HotGPT: How to Make Software Documentation More Useful with a Large Language Model? - Yiming Su; Chengcheng Wan 001; Utsav Sethi; Shan Lu 001; Madan Musuvathi; Suman Nath (HotOS, 2023)

If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems. - Bogdan Alexandru Stoica; Utsav Sethi; Yiming Su; Cyrus Zhou; Shan Lu 001; Jonathan Mace; Madanlal Musuvathi; Suman Nath (SOSP, 2024)