Fixed It For You: Protocol Repair Using Lineage Graphs
Summary: Use lineage/provenance graphs to express debugging queries over distributed protocol executions, enabling cross-node temporal root-cause analysis. When protocols and correctness specs share a declarative language, Nemo often synthesizes repair rules or pinpoints fixes (validated on six protocols from a 52-bug corpus). (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Lennart Oldenburg (Technical University of Berlin; University of California Santa Cruz)
- 2. Xiangfeng Zhu (University of California Santa Cruz)
- 3. Kamala Ramasubramanian (University of California Santa Cruz)
- 4. Peter Alvaro (University of California Santa Cruz)
BibTeX Citation
@inproceedings{oldenburg_cidr19,
address = {Amsterdam, Netherlands},
series = {{CIDR} '19},
title = {{Fixed It For You: Protocol Repair Using Lineage Graphs}},
booktitle = {Proceedings of the {Conference} on {Innovative} {Data} {Systems} {Research}},
author = {Oldenburg, Lennart and Zhu, Xiangfeng and Ramasubramanian, Kamala and Alvaro, Peter},
year = {2019}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,045 | Causality-Guided Adaptive Interventional Debugging | 2020 | SIGMOD | 5.3252192e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 385 | Why Not? | 2009 | SIGMOD | 0.00019455743 |
| 972 | Declarative Networking: Language, Execution and Optimization | 2006 | SIGMOD | 0.00012874501 |
| 1,366 | Provenance for Generalized Map and Reduce Workflows | 2011 | CIDR | 0.00011016972 |
| 2,807 | Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead | 2017 | CIDR | 8.1009158e-05 |
| 5,574 | Lineage-driven Fault Injection | 2015 | SIGMOD | 6.1681803e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,570 | Debugging Transactions and Tracking their Provenance with Reenactment | 2017 | VLDB |
| 2 | 10,681 | User-Centric Property Graph Repairs | 2025 | SIGMOD |
| 3 | 4,959 | QFix: Diagnosing Errors through Query Histories | 2017 | SIGMOD |
| 4 | 9,045 | Causality-Guided Adaptive Interventional Debugging | 2020 | SIGMOD |
| 5 | 8,610 | Distributed Time-aware Provenance | 2013 | VLDB |
| 6 | 8,185 | BugDoc: Algorithms to Debug Computational Processes | 2020 | SIGMOD |
| 7 | 5,574 | Lineage-driven Fault Injection | 2015 | SIGMOD |
| 8 | 12,038 | QFix: Demonstrating Error Diagnosis in Query Histories | 2016 | SIGMOD |
| 9 | 8,696 | Transactions Make Debugging Easy | 2023 | CIDR |
| 10 | 2,807 | Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead | 2017 | CIDR |