Paper Citation Record · LEDGER

Astragalus: Automatic Configuration Repair for Production Networks

As of 7 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2605.22092.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2605.22092 v2

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-30T16:38:31.006752Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

34 of 34 outbound references displayed

verified exact2
verified fuzzy31
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 11cbc4e1-31f3-40b8-bf52-d7012952d5ae · outbound

This paper cites Tiramisu: Fast and General Network Verification.

Astragalus: Automatic Configuration Repair for Production Networks Tiramisu: Fast and General Network Verification

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-06-30T16:44:56.178965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f4aa8aab-6f40-4400-8f2e-23175ef4f2dd · outbound

This paper cites Aed: Incrementally synthesizing policy-compliant and manage- able configurations.

Astragalus: Automatic Configuration Repair for Production Networks Aed: Incrementally synthesizing policy-compliant and manage- able configurations

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.051200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 22d7fd8a-ed51-468c-9824-ce363ce11368 · outbound

This paper cites On the ac- curacy of spectrum-based fault localization.

Astragalus: Automatic Configuration Repair for Production Networks On the ac- curacy of spectrum-based fault localization

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.063925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d3f7d409-7a51-44b1-a400-9acccbd0579a · outbound

This paper cites Fault-localization tech- niques for software systems: A literature review.ACM SIGSOFT Soft- ware Engineering Notes, 39(5):1–8.

Astragalus: Automatic Configuration Repair for Production Networks Fault-localization tech- niques for software systems: A literature review.ACM SIGSOFT Soft- ware Engineering Notes, 39(5):1–8

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.019149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2f91933b-2c4d-480b-a0bc-5deb5cdf6908 · outbound

This paper cites A scalable, commodity data center network architecture.ACM SIGCOMM computer communication review, 38(4):63–74.

Astragalus: Automatic Configuration Repair for Production Networks A scalable, commodity data center network architecture.ACM SIGCOMM computer communication review, 38(4):63–74

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.010983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 27efe4d4-6013-4e16-81ec-73ce4859adbd · outbound

This paper cites The plastic surgery hypothesis.

Astragalus: Automatic Configuration Repair for Production Networks The plastic surgery hypothesis

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.055229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f59ae2a9-5bb4-41ed-9d10-5d4fb6acf54b · outbound

This paper cites Clone detection using abstract syntax trees.

Astragalus: Automatic Configuration Repair for Production Networks Clone detection using abstract syntax trees

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.005594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 40be6089-9d60-408a-bf06-598f577c81e2 · outbound

This paper cites A gen- eral approach to network configuration verification.

Astragalus: Automatic Configuration Repair for Production Networks A gen- eral approach to network configuration verification

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.013156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bae44f98-405b-4d90-84f8-ff3b66084878 · outbound

This paper cites Pinpoint: Problem determination in large, dynamic internet services.

Astragalus: Automatic Configuration Repair for Production Networks Pinpoint: Problem determination in large, dynamic internet services

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.015103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6c1f62c6-d7f8-40e3-ae4a-e463ad20b1f7 · outbound

This paper cites an unresolved cited work.

Astragalus: Automatic Configuration Repair for Production Networks Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-07-08T12:44:54.046010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6dc0900f-81ab-4684-8ae8-c4c38564be90 · outbound

This paper cites Efficient network reachability analysis using a succinct control plane representation.

Astragalus: Automatic Configuration Repair for Production Networks Efficient network reachability analysis using a succinct control plane representation

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.017105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 10640022-409d-426e-8105-07a979063aa3 · outbound

This paper cites A general approach to network configuration analysis.

Astragalus: Automatic Configuration Repair for Production Networks A general approach to network configuration analysis

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.053060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6677cbe4-bc53-4cff-b8af-7bf23a1e6e37 · outbound

This paper cites Automatic software repair: A survey.

Astragalus: Automatic Configuration Repair for Production Networks Automatic software repair: A survey

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.062108Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2eeb2fe0-4dab-4e55-be45-0250ebe2fdf0 · outbound

This paper cites Automatically repairing network control planes using an abstract representation.

Astragalus: Automatic Configuration Repair for Production Networks Automatically repairing network control planes using an abstract representation

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.065687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d59f3c96-2b24-45b4-808e-e6ea244199ad · outbound

This paper cites Localizing Router Configuration Errors Using Minimal Correction Sets.

Astragalus: Automatic Configuration Repair for Production Networks Localizing Router Configuration Errors Using Minimal Correction Sets

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-06-30T16:44:56.176266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 782ac9a4-377d-4a35-9ad0-991d0100e4cc · outbound

This paper cites Fast control plane analysis using an abstract represen- tation.

Astragalus: Automatic Configuration Repair for Production Networks Fast control plane analysis using an abstract represen- tation

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.060430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1a714fe2-cac6-4477-9e37-46cba06c14ba · outbound

This paper cites Empirical evaluation of the tarantula automatic fault-localization technique.

Astragalus: Automatic Configuration Repair for Production Networks Empirical evaluation of the tarantula automatic fault-localization technique

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.067436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 620b7eca-009d-4701-946e-940b3f3e19c4 · outbound

This paper cites Genprog: A generic method for automatic software repair.

Astragalus: Automatic Configuration Repair for Production Networks Genprog: A generic method for automatic software repair

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.056949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 07653fe3-3ee9-43ee-86a1-5d33e8fccf6f · outbound

This paper cites R2fix: Auto- matically generating bug fixes from bug reports.

Astragalus: Automatic Configuration Repair for Production Networks R2fix: Auto- matically generating bug fixes from bug reports

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.047854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 61a77243-83cc-4663-a9f2-e67fe8d47a94 · outbound

This paper cites Automatic life cycle management of network configurations.

Astragalus: Automatic Configuration Repair for Production Networks Automatic life cycle management of network configurations

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.049498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 882a90f3-ee62-4dd0-bd68-3473f5728b5d · outbound

This paper cites Directfix: Looking for simple program repairs.

Astragalus: Automatic Configuration Repair for Production Networks Directfix: Looking for simple program repairs

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.044352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 90ad89f5-f055-4a2b-9e23-b09ea28b033b · outbound

This paper cites Automatic software repair: A bibliography.ACM Computing Surveys (CSUR), 51(1):1–24.

Astragalus: Automatic Configuration Repair for Production Networks Automatic software repair: A bibliography.ACM Computing Surveys (CSUR), 51(1):1–24

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.042357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation beccf964-5143-463b-9881-1fd26f229db1 · outbound

This paper cites Semfix: Program repair via semantic analysis.

Astragalus: Automatic Configuration Repair for Production Networks Semfix: Program repair via semantic analysis

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.023095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fa17d286-d14f-4736-9bdb-28abcd49e387 · outbound

This paper cites Acorn network control plane abstraction using route nondeterminism.

Astragalus: Automatic Configuration Repair for Production Networks Acorn network control plane abstraction using route nondeterminism

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.036937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0e2b119c-5bb6-4278-994d-37e4d33a94a8 · outbound

This paper cites Jupiter rising: A decade of clos topologies and central- ized control in google’s datacenter network.ACM SIGCOMM computer communication review, 45(4):183–197.

Astragalus: Automatic Configuration Repair for Production Networks Jupiter rising: A decade of clos topologies and central- ized control in google’s datacenter network.ACM SIGCOMM computer communication review, 45(4):183–197

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.038801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 45d1228d-cb8e-442a-b6f6-be64c7fa04aa · outbound

This paper cites Automated fixing of programs with con- tracts.

Astragalus: Automatic Configuration Repair for Production Networks Automated fixing of programs with con- tracts

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.035106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 548a46e0-dbb8-4f68-8ae0-cc5a9b49e0cd · outbound

This paper cites Leveraging program equivalence for adaptive program repair: Models and first Conference acronym ’XX, June 03–05, 2018, Woodstock, NY Z.

Astragalus: Automatic Configuration Repair for Production Networks Leveraging program equivalence for adaptive program repair: Models and first Conference acronym ’XX, June 03–05, 2018, Woodstock, NY Z

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.027170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bd85f193-e2b8-4c24-968e-5864bf9df232 · outbound

This paper cites 2021 facebook outage — Wikipedia, the free encyclopedia.https://en.wikipedia.org/w/index.php?title=2021_ Facebook_outage&oldid=1221077563.

Astragalus: Automatic Configuration Repair for Production Networks 2021 facebook outage — Wikipedia, the free encyclopedia.https://en.wikipedia.org/w/index.php?title=2021_ Facebook_outage&oldid=1221077563

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.029265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bd21b48d-5fb0-415a-a6dc-804d56f76a08 · outbound

This paper cites Software fault localization using dstar (d*).

Astragalus: Automatic Configuration Repair for Production Networks Software fault localization using dstar (d*)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.031195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e4a01b24-8721-4339-9e51-737243e9f0ea · outbound

This paper cites The plastic surgery hypothesis in the era of large language models.

Astragalus: Automatic Configuration Repair for Production Networks The plastic surgery hypothesis in the era of large language models

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.033105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6c157d67-5dc7-4123-b15b-22cd0cc0fe2e · outbound

This paper cites Accuracy, scalability, coverage: A practical configuration verifier on a global wan.

Astragalus: Automatic Configuration Repair for Production Networks Accuracy, scalability, coverage: A practical configuration verifier on a global wan

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.025082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3d55e43d-6165-41bd-ba2d-d3651e91d4b7 · outbound

This paper cites Automatic test packet generation.

Astragalus: Automatic Configuration Repair for Production Networks Automatic test packet generation

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.040511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f5f6130e-c248-49d2-9db3-f8aba588c176 · outbound

This paper cites Differential network analysis.

Astragalus: Automatic Configuration Repair for Production Networks Differential network analysis

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.020991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9c086c73-56ff-4773-8cc9-b2568175216d · outbound

This paper cites {APKeep}: Realtime verification for real networks.

Astragalus: Automatic Configuration Repair for Production Networks {APKeep}: Realtime verification for real networks

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T12:44:54.058736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.