| 2024 | SOSP | 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, Jonathan Mace, Madanlal Musuvathi, Suman Nath |
| 2023 | HotOS | HotGPT: How to Make Software Documentation More Useful with a Large Language Model? | Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath |
| 2022 | OSDI | Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. | Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath |
| 2021 | SOSP | Understanding and Detecting Software Upgrade Failures in Distributed Systems. | Yongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu, Ding Yuan |
| 2020 | ICSE | Managing data constraints in database-backed web applications. | Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu |
| 2020 | ICSE | Managing data constraints in database-backed web applications. | Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu |