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,025 | Causality-Guided Adaptive Interventional Debugging | 2020 | SIGMOD | 4.4032759e-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.00022030123 |
| 774 | Declarative Networking: Language, Execution and Optimization | 2006 | SIGMOD | 0.00016775162 |
| 1,441 | Provenance for Generalized Map and Reduce Workflows | 2011 | CIDR | 0.00011950114 |
| 2,903 | Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead | 2017 | CIDR | 7.9403877e-05 |
| 5,718 | Lineage-driven Fault Injection | 2015 | SIGMOD | 5.3552421e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,477 | Debugging Transactions and Tracking their Provenance with Reenactment | 2017 | VLDB | 4.7138771e-05 |
| 10,406 | User-Centric Property Graph Repairs | 2025 | SIGMOD | 4.1905499e-05 |
| 5,454 | QFix: Diagnosing Errors through Query Histories | 2017 | SIGMOD | 5.4967096e-05 |
| 9,025 | Causality-Guided Adaptive Interventional Debugging | 2020 | SIGMOD | 4.4032759e-05 |
| 8,335 | BugDoc: Algorithms to Debug Computational Processes | 2020 | SIGMOD | 4.538972e-05 |
| 8,501 | Distributed Time-aware Provenance | 2013 | VLDB | 4.4918817e-05 |
| 5,718 | Lineage-driven Fault Injection | 2015 | SIGMOD | 5.3552421e-05 |
| 11,845 | QFix: Demonstrating Error Diagnosis in Query Histories | 2016 | SIGMOD | 4.1905499e-05 |
| 8,661 | Transactions Make Debugging Easy | 2023 | CIDR | 4.4679937e-05 |
| 2,903 | Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead | 2017 | CIDR | 7.9403877e-05 |