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
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,024 | Causality-Guided Adaptive Interventional Debugging | 2020 | SIGMOD | 4.4075011e-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 |
|---|---|---|---|---|
| 487 | Why Not? | 2009 | SIGMOD | 0.00022050218 |
| 778 | Declarative Networking: Language, Execution and Optimization | 2006 | SIGMOD | 0.00016791276 |
| 1,440 | Provenance for Generalized Map and Reduce Workflows | 2011 | CIDR | 0.00011961469 |
| 2,892 | Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead | 2017 | CIDR | 7.9480559e-05 |
| 5,708 | Lineage-driven Fault Injection | 2015 | SIGMOD | 5.3603939e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,478 | Debugging Transactions and Tracking their Provenance with Reenactment | 2017 | VLDB | 4.7184026e-05 |
| 10,395 | User-Centric Property Graph Repairs | 2025 | SIGMOD | 4.1945683e-05 |
| 5,445 | QFix: Diagnosing Errors through Query Histories | 2017 | SIGMOD | 5.5020909e-05 |
| 9,024 | Causality-Guided Adaptive Interventional Debugging | 2020 | SIGMOD | 4.4075011e-05 |
| 8,341 | BugDoc: Algorithms to Debug Computational Processes | 2020 | SIGMOD | 4.5433282e-05 |
| 8,504 | Distributed Time-aware Provenance | 2013 | VLDB | 4.496125e-05 |
| 5,708 | Lineage-driven Fault Injection | 2015 | SIGMOD | 5.3603939e-05 |
| 11,837 | QFix: Demonstrating Error Diagnosis in Query Histories | 2016 | SIGMOD | 4.1945683e-05 |
| 8,663 | Transactions Make Debugging Easy | 2023 | CIDR | 4.4722808e-05 |
| 2,892 | Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead | 2017 | CIDR | 7.9480559e-05 |