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

Jiawei Tyler Gu

dblp:330/8331 · DBLP profile ↗
← Back
5ranked-venue papers
2as first author
5since 2021 · last 2026
0009-0000-8269-2300ORCID · reported

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

Software engineering, systems software and programming languages · 3 · 1 first-author · 3 since 2021Systems, architecture and hardware · 1 · 1 since 2021Computer networks · 1 · 1 first-author · 1 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.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Cloud and datacenter computing · 91% Distributed systems · 9%
Software engineering, system software, and programming languages
3 papers
Software testing · 62% Program verification · 38%

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

TopicWeightPapersLastEvidence papers
Cloud and datacenter computing › cluster resource management and scheduling
cluster resource management
1.322024
Anvil: Verifying Liveness of Cluster Management Controllers · OSDI 2024
Automatic Reliability Testing For Cluster Management Controllers · OSDI 2022
Cloud and datacenter computing › cloud service management
cloud application management
1.012026
Who Watches the Watchers? On the Reliability of Softwarizing Cloud Application Management · NSDI 2026
Program verification › temporal logic verification
liveness verification
0.812024
Anvil: Verifying Liveness of Cluster Management Controllers · OSDI 2024
Software testing › system testing
end-to-end testing
0.712023
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management · SOSP 2023
Cloud and datacenter computing
cloud management
0.712023
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management · SOSP 2023
Software testing › non-functional testing
reliability testing
0.612022
Automatic Reliability Testing For Cluster Management Controllers · OSDI 2022
Distributed systems
fault tolerance
0.312026
Who Watches the Watchers? On the Reliability of Softwarizing Cloud Application Management · NSDI 2026

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

formal verification · 1.5state-reconciliation · 1.3declarative interfaces · 1.3automatic reliability testing · 1.1
YearPublicationVenuePosition
2026 Who Watches the Watchers? On the Reliability of Softwarizing Cloud Application Management
Jiawei Tyler Gu, Yiming Su, Bogdan Alexandru Stoica, Xudong Sun 0013, William X. Zheng, Akond Ashfaque Ur Rahman, Chen Wang 0039, Tianyin Xu
NSDI1
2025 Dynamic Load Scaling via Distributed Trace Sampling and Analysis
abstract
Modern systems often use automation for resource scaling. Current automatic scaling systems focus on systemgenerated metrics like CPU and memory utilization to determine scaling. Although these indicators are precise, they often lack insight into the operational performance of applications affected by scaling. Distributed traces model end-to-end requests or transactions as a hierarchical graph of spans, each representing a measured execution point. Trace data can reveal insights into latencies that are not captured by system-level metrics. To address this, we introduce SCALE, an automated resource scaler that uses distributed traces for scaling decisions. SCALE samples trace spans for duration anomalies and processes them through a heuristic-based modeling engine against defined latency thresholds. If thresholds are exceeded, SCALE triggers scaling commands for orchestration systems. SCALE is evaluated using trace data from Kubernetes microservice benchmarks.
Kevin Mooney, John Durkin, Samson Koshy, Sushil Khadka, Jiawei Tyler Gu
CCGrid5
2024 Anvil: Verifying Liveness of Cluster Management Controllers
Xudong Sun 0013, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada 0001, Oded Padon, Lalith Suresh 0001, Adriana Szekeres, Tianyin Xu
OSDI3
2023 Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
abstract
Cloud systems are increasingly being managed by operation programs termed operators, which automate tedious, human-based operations. Operators of modern management platforms like Kubernetes, Twine, and ECS implement declarative interfaces based on the state-reconciliation principle. An operation declares a desired system state and the operator automatically reconciles the system to that declared state.
Jiawei Tyler Gu, Xudong Sun 0013, Yuxuan Jiang 0016, Chen Wang 0039, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu
SOSP1
2022 Automatic Reliability Testing For Cluster Management Controllers
Xudong Sun 0013, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh 0001, Tianyin Xu
OSDI3