Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Utsav Sethi

dblp:276/3282 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
4since 2021 · last 2024
0009-0002-5865-6187ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 1 first-author · 4 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
4 papers
Software maintenance and evolution · 30% Operating systems · 26% Program analysis · 24%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%

Topics — the 6 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › static analysis
bug detection
0.812024
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems · SOSP 2024
Software maintenance and evolution
software updates
0.512021
Understanding and Detecting Software Upgrade Failures in Distributed Systems · SOSP 2021
Distributed systems
fault tolerance
0.512021
Understanding and Detecting Software Upgrade Failures in Distributed Systems · SOSP 2021
Empirical software engineering
mining software repositories
0.412020
Managing data constraints in database-backed web applications · ICSE 2020
Operating systems › fault tolerance
fault tolerance mechanisms
0.212024
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems · SOSP 2024
Concurrent programming
concurrency bugs
0.212022
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures · OSDI 2022

Methods — techniques the papers use, named apart from their topics

empirical study · 2.0LLM-informed tooling · 0.8static checking · 0.4
YearPublicationVenuePosition
2024 If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
abstract
Retry---the re-execution of a task on failure---is a common mechanism to enable resilient software systems. Yet, despite its commonality and long history, retry remains difficult to implement and test.
Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu 0001, Jonathan Mace, Madan Musuvathi, Suman Nath
SOSP2
2023 HotGPT: How to Make Software Documentation More Useful with a Large Language Model?
abstract
It is well known that valuable information is contained in the natural language components of software systems, like comments and manual, and such information can be used to improve system performance and reliability. Past research has attempted to extract such information through task-specific machine learning models and tool chains. Here, we investigate a general, one-model-fit-all solution through a state-of-the-art large language model (e.g., the GPT series). Our investigation covers three representative tasks: extracting locking rules from comments, synthesizing exception predicates from comments, and identifying performance-related configurations; it reveals challenges and opportunities in applying large language models to system maintenance tasks.
Yiming Su, Chengcheng Wan 0001, Utsav Sethi, Shan Lu 0001, Madan Musuvathi, Suman Nath
HotOS3
2022 Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures
Utsav Sethi, Haochen Pan, Shan Lu 0001, Madan Musuvathi, Suman Nath
OSDI1
2021 Understanding and Detecting Software Upgrade Failures in Distributed Systems
abstract
Upgrade is one of the most disruptive yet unavoidable maintenance tasks that undermine the availability of distributed systems. Any failure during an upgrade is catastrophic, as it further extends the service disruption caused by the upgrade. The increasing adoption of continuous deployment further increases the frequency and burden of the upgrade task. In practice, upgrade failures have caused many of today's high-profile cloud outages. Unfortunately, there has been little understanding of their characteristics.
Yongle Zhang 0007, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu 0001, Ding Yuan 0004
SOSP4
2020 Managing data constraints in database-backed web applications
abstract
Database-backed web applications manipulate large amounts of persistent data, and such applications often contain constraints that restrict data length, data value, and other data properties. Such constraints are critical in ensuring the reliability and usability of these applications. In this paper, we present a comprehensive study on where data constraints are expressed, what they are about, how often they evolve, and how their violations are handled. The results show that developers struggle with maintaining consistent data constraints and checking them across different components and versions of their web applications, leading to various problems. Guided by our study, we developed checking tools and API enhancements that can automatically detect such problems and improve the quality of such applications.
Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu 0001
ICSE2