{"as_of":"2026-08-13T03:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7cf5726481412752e8ff203c0ffca2c0de2158605c441dcca0cc6a35eb7b32f5","coverage":[{"denominator":129,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T13:15:17.297797Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T09:28:09.574736Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2512.25065","snapshot_observed_at":"2026-08-01T09:28:09.574736Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21659","last_updated":"2026-07-22T22:58:18Z","snapshot_observed_at":"2026-08-10T02:05:16.456399Z","submitted_at":"2026-07-22T22:58:18Z","title":"Defining AI-Native Systems: Autonomy as Revision Authority","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T09:28:09.574736Z"},"links":{"cited_paper":"/paper/2512.25065","citing_paper":"/paper/2607.21659"},"observation_digest":"sha256:4fb7c007ce6fc1223569ae899fc19dfb5a08c40d2af122e1b29dcb75e36e438a","observation_id":"639363fa-8966-4a5c-8e29-04139ff5717d","resolution":{"observed_at":"2026-08-01T09:28:09.574736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2512.25065/citation-record","integrity":"/paper/2512.25065/integrity","json":"/paper/2512.25065/citation-record.json","paper":"/paper/2512.25065"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:16.981914Z","title":"https://kubernetes.io/ docs/tasks/run-application/horizontal-pod- autoscale/","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:16.981914Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:352461d636569352dbd50449a233528fb2512e00f5e4a652b3c794aa80b0236f","observation_id":"e1613ac4-aad9-466e-89b1-59617fe20055","resolution":{"observed_at":"2026-08-03T13:15:16.981914Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:16.986032Z","title":"C2tcp: A flexible cellular tcp to meet stringent delay requirements.IEEE Journal on Selected Areas in Com- munications, 37(4):918–932, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:16.986032Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:a0b9977dd3c6f348cef6ead1f94a86f20c39ba91f7ec8bdd09437ccc6a27f18b","observation_id":"80bb6347-e1e8-4ddf-830a-72c9e78a79aa","resolution":{"observed_at":"2026-08-03T13:15:16.986032Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:16.989418Z","title":"Jonathan Chao","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:16.989418Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:2d8c3945284d649c886a6758caa82ff455926f4049d00a7d91c1d078a898b3c4","observation_id":"2a77d1da-a9bf-4452-b178-0619e6099b0d","resolution":{"observed_at":"2026-08-03T13:15:16.989418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:16.993027Z","title":"Mitosis work- load btree, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:16.993027Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:c5f313ff2e8d1c1eea36f95e18c84790594d9048bdc6d37ea45a15da1f11ff5b","observation_id":"6a1b08ec-51cb-4334-9598-2f7e93f0a75b","resolution":{"observed_at":"2026-08-03T13:15:16.993027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:16.995954Z","title":"Vidur: A large-scale simulation framework for llm inference","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:16.995954Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:f46755f97e29da6efd76de054ce0334a3e0afe8445c389fcd023d80ee11de470","observation_id":"d5a9eb5d-cad1-420c-9464-edbeae2ddc6e","resolution":{"observed_at":"2026-08-03T13:15:16.995954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:16.998812Z","title":"Kmlib: Towards machine learning for oper- ating systems","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:16.998812Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:4fd81052ef5065a2ca1e3b6ac8a6bde65ca055bd53ce57898b9951339b36f83a","observation_id":"1014d106-7142-4d4b-9d57-5344286b6928","resolution":{"observed_at":"2026-08-03T13:15:16.998812Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.001866Z","title":"CherryPick: Adaptively unearthing the best cloud configurations for big data analytics","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.001866Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:0ef54fb616c6c4e58eef46ec1052124644d2de78b9e242c948fdf67a6c54f378","observation_id":"b8bd83b9-21b4-42d4-a56a-7254e5466ff1","resolution":{"observed_at":"2026-08-03T13:15:17.001866Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.004642Z","title":"Maltz, Jitendra Padhye, Parveen Patel, Balaji Prab- hakar, Sudipta Sengupta, and Murari Sridharan","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.004642Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:08df4e24f97d8d1dc9d437f9c1264c7a33fa1c5922ba4882361dfc96000c3c6c","observation_id":"d41df969-3091-4315-9e2c-7b08fb1209af","resolution":{"observed_at":"2026-08-03T13:15:17.004642Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.007414Z","title":"Starvation in end-to-end congestion control","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.007414Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:f8269bc05d592796e3cd39f552fe023f1ef80a9f00186c05236596a85762eee4","observation_id":"d9d1080c-d587-4fe7-9aa4-1f6214e70e2c","resolution":{"observed_at":"2026-08-03T13:15:17.007414Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.013351Z","title":"Copa: Practical {Delay-Based} congestion control for the internet","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.013351Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:8ee0182c58ea2116fbc515cc740668fcb5b6ae9c72806180e4a23b70a0f2e63e","observation_id":"0056502d-e5d4-46da-94b3-521f2978bbb7","resolution":{"observed_at":"2026-08-03T13:15:17.013351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.016343Z","title":"Caching with delayed hits","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.016343Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:12dc33c225ca18c0bbf5f43641279a7c6f0ab656274c3ba2167c44f585ca7518","observation_id":"37b99586-cd2a-49e7-9eef-9bbd12f5e535","resolution":{"observed_at":"2026-08-03T13:15:17.016343Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-03T13:15:17.019306Z","title":"Pro- gram synthesis with large language models.arXiv preprint arXiv:2108.07732, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.019306Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:deeee43fb3af69e06f3364ba6270f3f9839f86b70b9c5be529526bf13fee4854","observation_id":"fe1db11a-3a4b-4683-a4c8-6704d0da53cc","resolution":{"observed_at":"2026-08-03T13:15:17.019306Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.022961Z","title":"{LHD}: Improving cache hit rate by maximizing hit density","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.022961Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:45974035940424318da9f7de07056205893fc07bab70f2f21e474cc148d29c31","observation_id":"7205f698-6a8f-412e-a671-b5415980b0ea","resolution":{"observed_at":"2026-08-03T13:15:17.022961Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.026280Z","title":null,"venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.026280Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:e64728d267b7543d5ea0e9af6324cce8976db4ef8bf358b6153de556703b344c","observation_id":"db554455-dc43-49f1-9753-991a84cd2a19","resolution":{"observed_at":"2026-08-03T13:15:17.026280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.029679Z","title":"{RobinHood}: Tail latency aware caching–dynamic reallocation from {Cache-Rich} to {Cache-Poor}","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.029679Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:571c009f1e3e17d2baae4f60a5501282fc709c165e7818de8d1ed55e8a195ce6","observation_id":"16b73fd9-4742-44bb-9f2c-0659ba5d5eee","resolution":{"observed_at":"2026-08-03T13:15:17.029679Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.032772Z","title":"Hyperbolic caching: Flexible caching for web applications","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.032772Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:ebb48a6fb1b046ebe97902e059ff08f91ec95665b8e875aead328a9179fc8040","observation_id":"a97014b9-1b2d-404e-9d00-60d45fefb447","resolution":{"observed_at":"2026-08-03T13:15:17.032772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.035953Z","title":"FetchBPF: Customiz- able prefetching policies in linux with eBPF","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.035953Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:f54fb16aca17ef55b28a202ba90bc2fe7ce61edff016c0216b2a9ca54f47cca1","observation_id":"91d551cd-e45b-4304-86e0-9cbf2c25d793","resolution":{"observed_at":"2026-08-03T13:15:17.035953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.038644Z","title":"Bbr: Congestion-based congestion control.Communica- tions of the ACM, 60(2):58–66, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.038644Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:467bac29dc42421570c472e52a48b052cdca7d66b6c9191c9e3499a364409912","observation_id":"1b00d8b1-d125-493f-8e8e-bff2289dfb6f","resolution":{"observed_at":"2026-08-03T13:15:17.038644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.041594Z","title":"Evo- prompting: Language models for code-level neural ar- chitecture search.Advances in neural information processing systems, 36:7787–7817, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.041594Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:bf98fe13a1ba67f29f0bc58db1eb08617d694b785646eeaa9dc7c8a0d718d3f5","observation_id":"d60ee5e5-7a2c-4fee-bde6-3c34db195829","resolution":{"observed_at":"2026-08-03T13:15:17.041594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.044231Z","title":"Darwin: Flexible learning- based cdn caching","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.044231Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:ac19bffe5f508cc9b80caa6301b7cfa4f176ba0ecf915911ab6cffc3ba628515","observation_id":"ab1af336-4028-44e8-b89d-872e96a54eb4","resolution":{"observed_at":"2026-08-03T13:15:17.044231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.046925Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.046925Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:add4be39464946410828a2a4ccbc5e4a044c657c39f56503510cb5582c3a137a","observation_id":"fd846840-ef05-4243-92ac-48151ab2b043","resolution":{"observed_at":"2026-08-03T13:15:17.046925Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.050398Z","title":"Barbarians at the gate: How ai is upending systems research.arXiv preprint arXiv:2510.06189, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.050398Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:a862433beccc66ea2424670fb29ab0d6c2ff5222618529a4b4289968e1589233","observation_id":"2246369c-19dd-4446-b785-cedaa49a0ff7","resolution":{"observed_at":"2026-08-03T13:15:17.050398Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.053576Z","title":"Hewlett-Packard Laboratories, Palo Alto, CA, USA, 1998","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.053576Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:c06f5715eaa534bce6b90f5c83b9e6ca3f35dbe2e2f4366fade516e9f48312e7","observation_id":"f2b20537-7854-47d3-9414-4245017c0a7e","resolution":{"observed_at":"2026-08-03T13:15:17.053576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.056700Z","title":"Massachusetts Institute of Technology, Cambridge, MA, 1968","venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.056700Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:58c7d688bbc380dffdb71bb42a984f6222b61dff6cc75078e83968fc7c00c653","observation_id":"372bff5a-103d-42f5-93d2-87aa828c3363","resolution":{"observed_at":"2026-08-03T13:15:17.056700Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.059705Z","title":"Let them run cake, Jun 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.059705Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:42b7347531ed9f5d1bd4bed92f73c7f694c5fc294beb1033008e9d53204fa8c3","observation_id":"61189512-5f96-4dcd-b934-ecee006ebe69","resolution":{"observed_at":"2026-08-03T13:15:17.059705Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.062541Z","title":"The design and operation of {CloudLab}","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.062541Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:185f7235cf553604dd7b33e5926ab8ff63590acacadb15fb4fabe7adac6bc617","observation_id":"8343c13c-e11d-41d7-bd2a-d6d51f678ac6","resolution":{"observed_at":"2026-08-03T13:15:17.062541Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.065823Z","title":"Man-made heuristics are dead","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.065823Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:125606b4e4c7744a696685d1a0993097103f130787fff122ec4c6aefaf01fedb","observation_id":"a28b5377-181f-40cc-8bcc-d937467b5d00","resolution":{"observed_at":"2026-08-03T13:15:17.065823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.068933Z","title":"Tinylfu: A highly efficient cache admission policy.ACM Trans- actions on Storage (ToS), 13(4):1–31, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.068933Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7032bdb142baf151158495eeb2b3b98df47cd541d5dd4c0abd0fe5f084a5370a","observation_id":"83f267d9-ffbb-4859-aa15-9e6dd88cf4ed","resolution":{"observed_at":"2026-08-03T13:15:17.068933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.071754Z","title":"Rossbach","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.071754Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:44a37d67ea5ab89526439f4793ea8bfe867841b73fbf489b3e05a6ebecc573cf","observation_id":"ce23da7e-e9b8-4a8b-ae45-900edfb26765","resolution":{"observed_at":"2026-08-03T13:15:17.071754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.14324","last_updated":"2022-10-25T20:33:00Z","snapshot_observed_at":"2026-08-10T17:29:51.856454Z","submitted_at":"2022-10-25T20:33:00Z","title":"The Championship Simulator: Architectural Simulation for Education and Competition","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.14324","snapshot_observed_at":"2026-08-03T13:15:17.077744Z","title":"The championship simulator: Architec- tural simulation for education and competition.arXiv preprint arXiv:2210.14324, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.077744Z"},"links":{"cited_paper":"/paper/2210.14324","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:b0925aa3f6f583e7784d7893e006d9e9bc60c24ae6245a58ad6db6adbb3ffe68","observation_id":"c353ff20-e425-4266-8228-ff822b455b59","resolution":{"observed_at":"2026-08-03T13:15:17.077744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.081247Z","title":"Goyal, H.M","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.081247Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:d03744153ebef2ffc98f1ecfe70a5e4a1638bf610608ea82aef1d833fd5cb503","observation_id":"8515bbfd-5d9a-4c68-accb-bdeb75929de1","resolution":{"observed_at":"2026-08-03T13:15:17.081247Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.084194Z","title":"Altruistic scheduling in Multi-Resource clusters","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.084194Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:3deae17f5b40ee54791889e19cbebd28549ce5651f2d91deed916bbd1ed26130","observation_id":"e3821294-9ee1-47a3-b1a9-7cfc0e9caaaa","resolution":{"observed_at":"2026-08-03T13:15:17.084194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.087092Z","title":"GRAPHENE: Pack- ing and Dependency-Aware scheduling for Data- Parallel clusters","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.087092Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:af6dee86e6558be96e036b1a308d058c9c0e966c6c6251cdf3fa8f59df58d13f","observation_id":"1c55dda7-e411-4945-b180-447ffc2ccbff","resolution":{"observed_at":"2026-08-03T13:15:17.087092Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.090227Z","title":"Cubic: a new tcp-friendly high-speed tcp variant.ACM SIGOPS operating systems review, 42(5):64–74, 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.090227Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:ccc0189a519d9bb8e65327589a3464ed21616f86022417734edad4ab1dd461c1","observation_id":"2e39eb73-be97-4de6-bf7e-4c3d520486f7","resolution":{"observed_at":"2026-08-03T13:15:17.090227Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.27176","last_updated":"2026-04-03T01:49:52Z","snapshot_observed_at":"2026-08-12T14:42:24.214703Z","submitted_at":"2025-10-31T04:58:00Z","title":"Glia: A Human-Inspired AI for Automated Systems Design and Optimization","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.27176","snapshot_observed_at":"2026-08-03T13:15:17.093299Z","title":"Glia: A human-inspired ai for automated systems design and optimization.arXiv preprint arXiv:2510.27176, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.093299Z"},"links":{"cited_paper":"/paper/2510.27176","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:6901904622fa6d4be7a66362d1ad988f4d8bb3f5cb59446f849b71fe02bcf961","observation_id":"88bec502-56e1-4b38-bc12-2e37a685540b","resolution":{"observed_at":"2026-08-03T13:15:17.093299Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.16074","last_updated":"2025-08-22T04:07:50Z","snapshot_observed_at":"2026-08-10T02:04:32.123146Z","submitted_at":"2025-08-22T04:07:50Z","title":"Congestion Control System Optimization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.16074","snapshot_observed_at":"2026-08-03T13:15:17.096549Z","title":"Congestion control system opti- mization with large language models.arXiv preprint arXiv:2508.16074, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.096549Z"},"links":{"cited_paper":"/paper/2508.16074","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:24c8121c363ecf2c0ff963998a15aef7f5e4358790d7d6bc29461fee8c7c3b3e","observation_id":"c5f00ee7-34b6-4377-99ed-b021872bb919","resolution":{"observed_at":"2026-08-03T13:15:17.096549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.09938","last_updated":"2021-11-08T21:16:44Z","snapshot_observed_at":"2026-08-04T23:13:25.514661Z","submitted_at":"2021-05-20T17:58:42Z","title":"Measuring Coding Challenge Competence With APPS","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.09938","snapshot_observed_at":"2026-08-03T13:15:17.099820Z","title":"Mea- suring coding challenge competence with apps.arXiv preprint arXiv:2105.09938, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.099820Z"},"links":{"cited_paper":"/paper/2105.09938","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7c6e4afb39387a5874d266a12d5a9f37ab5ed62a25416dedd6ebc7b9c1f11baa","observation_id":"04d34d73-a951-45de-a2be-2c44d43c695f","resolution":{"observed_at":"2026-08-03T13:15:17.099820Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.102846Z","title":"An analysis of facebook photo caching","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.102846Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:6b0a103dba3e177ea8105b7c823c330be4381cf7298026117cd1188f389440d3","observation_id":"6e59ddf4-ae2b-4f80-bf1b-923b50a8a004","resolution":{"observed_at":"2026-08-03T13:15:17.102846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.105797Z","title":"Intel 64 and ia-32 architectures software developer manuals","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.105797Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:ac87dd3ac7b6859f46f1f974dd922a17838524999b1f87dc33b17e73767256f9","observation_id":"1ce93914-2529-4a9b-83e4-a2539dda00db","resolution":{"observed_at":"2026-08-03T13:15:17.105797Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.110166Z","title":"Amazon nova premier: Technical report and model card","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.110166Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:45e761de375781acb21b7570e502e7051ebdae37ec9fd13e7f68a5fcb3d44e0e","observation_id":"17644419-8bd1-4d48-86c7-308eac99d9b5","resolution":{"observed_at":"2026-08-03T13:15:17.110166Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07974","last_updated":"2024-06-06T17:41:21Z","snapshot_observed_at":"2026-08-10T03:07:35.408836Z","submitted_at":"2024-03-12T17:58:04Z","title":"LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.07974","snapshot_observed_at":"2026-08-03T13:15:17.112956Z","title":"Live- codebench: Holistic and contamination free evaluation of large language models for code.arXiv preprint arXiv:2403.07974, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.112956Z"},"links":{"cited_paper":"/paper/2403.07974","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7b1b4818bf2e93c75d239ba7f5c6f965f0383ffba84f865638604217e75177d3","observation_id":"0836cdc6-bce3-4c1b-a172-6955b93159bb","resolution":{"observed_at":"2026-08-03T13:15:17.112956Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.116388Z","title":"Clock- pro: An effective improvement of the clock replace- ment","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.116388Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:33f1c23127f9652dd986b8a4742af450334ad61b9d97b13747df7e486437363d","observation_id":"3939ef08-c863-4ba5-a3dc-fa8f15c768a5","resolution":{"observed_at":"2026-08-03T13:15:17.116388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.119418Z","title":"Lirs: An efficient low inter-reference recency set replacement policy to improve buffer cache performance.ACM SIGMET- RICS Performance Evaluation Review, 30(1):31–42, 2002","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.119418Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:a5f911b9e692c61bf64a81c5096f3259a2db161379bd7b682a0c639144f40458","observation_id":"bc22814a-fd79-484e-833c-2d08c9d1fef1","resolution":{"observed_at":"2026-08-03T13:15:17.119418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.122245Z","title":"2q: A low over- head high performance buffer management replace- ment algorithm","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.122245Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:9209efd5414174decce03493bf258bc96ea2f0d02e0cedac60301d6121bbb22f","observation_id":"cb9773c6-904f-460d-afb1-f08672933123","resolution":{"observed_at":"2026-08-03T13:15:17.122245Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.125440Z","title":"libcachesim: a high perfor- mance library for building cache simulators","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.125440Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:201cd62e38fd35e0d7032fdee180de2a90cd5853c59626ad962e764d1b27d123","observation_id":"71a76523-f86b-497b-954c-e1f4edd9203d","resolution":{"observed_at":"2026-08-03T13:15:17.125440Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08908","last_updated":"2024-01-17T01:32:45Z","snapshot_observed_at":"2026-08-08T00:02:17.844603Z","submitted_at":"2024-01-17T01:32:45Z","title":"Herding LLaMaS: Using LLMs as an OS Module","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08908","snapshot_observed_at":"2026-08-03T13:15:17.128352Z","title":"Herding lla- mas: Using llms as an os module.arXiv preprint arXiv:2401.08908, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.128352Z"},"links":{"cited_paper":"/paper/2401.08908","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:2b14d9c54b6048d4d9b474bd0305172817a82e0a5da46a9accddbd655a9f2f53","observation_id":"5ed7fc4d-fb58-439f-993c-64f58e9050a9","resolution":{"observed_at":"2026-08-03T13:15:17.128352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.131525Z","title":"Striking the right chord: Parameter tuning in memory tiering systems","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.131525Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:772437908d7923a318cd11084a005c5b7720afabb42519b7fc85c8cf11e4d2f5","observation_id":"5f8ef05f-5c26-454b-b5f6-e54e5f14e981","resolution":{"observed_at":"2026-08-03T13:15:17.131525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.134594Z","title":"Caching strategies to improve disk system performance.Computer, 27(3):38–46, 1994","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.134594Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:aa70565855c85b62e5042dd1f6390fc89cb49ff3cb9ccbeb2c325ff3ff1a50a4","observation_id":"cb7eb0cd-71fc-4da6-9c09-1dd3428e233d","resolution":{"observed_at":"2026-08-03T13:15:17.134594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.137923Z","title":"Robust heuristic algorithm design with llms","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.137923Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:2255d6b20504482b50bff2ddae685517cc87ee60d1aff6761fc286434622d746","observation_id":"ab8a7fd0-26a8-4f14-b1b8-b5b6ca3774d9","resolution":{"observed_at":"2026-08-03T13:15:17.137923Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.141328Z","title":"Crust- bench: A comprehensive benchmark for c-to-safe-rust transpilation.arXiv preprint arXiv:2504.15254, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.141328Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:5b23a20c2d1a204c5474612596edf2638ed038543a3df5b678a0f9fda3817fc8","observation_id":"1ccdb6fa-c1ba-4e27-b032-18cbb78e12ba","resolution":{"observed_at":"2026-08-03T13:15:17.141328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.144506Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.144506Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:c5665b7e1fd11213c375f1b243562135e044bc459d5427d95ebd0e19f334973f","observation_id":"73d4a6d7-c570-43fb-9cbc-0908f2dacfe9","resolution":{"observed_at":"2026-08-03T13:15:17.144506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.147438Z","title":"Robus: fair cache allocation for data-parallel workloads","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.147438Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:0fb9657fc79fecabacbb1fe0f647aaacad8933ec2806253846569b921f680f88","observation_id":"3325cce6-f414-4326-be4f-c6456d733934","resolution":{"observed_at":"2026-08-03T13:15:17.147438Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.150332Z","title":"Kurniawan, Rani Ayu Putri, Peiran Qin, Kahfi S","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.150332Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:a57bce7ead6eac0f592387723ca5417ca88d58d25a1291bbef0852cf93a05b2a","observation_id":"20e7834f-c235-4b91-9c37-799f17d3946c","resolution":{"observed_at":"2026-08-03T13:15:17.150332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.19349","last_updated":"2025-09-17T17:49:02Z","snapshot_observed_at":"2026-08-12T18:56:15.144016Z","submitted_at":"2025-09-17T17:49:02Z","title":"ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.19349","snapshot_observed_at":"2026-08-03T13:15:17.153188Z","title":"Shinkaevolve: Towards open-ended and sample-efficient program evolution.arXiv preprint arXiv:2509.19349, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.153188Z"},"links":{"cited_paper":"/paper/2509.19349","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7fc4eec72c7bfab0ee26e40e98583c16a0ee9a549257cd37f6b9887966921d61","observation_id":"e1bb2164-29e8-4471-9010-f0d0da873456","resolution":{"observed_at":"2026-08-03T13:15:17.153188Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.156702Z","title":"Memtis: Efficient memory tiering with dynamic page classification and page size deter- mination","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.156702Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:25244f5b5a96e98bf7084a2e61bfbf6c910a2b909e477a90f149b48f71eac312","observation_id":"94915bac-5265-4164-a983-b805276c658b","resolution":{"observed_at":"2026-08-03T13:15:17.156702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.159443Z","title":"Bush, Prakash Ramanan, Rajesh Kumar, Thomas Chestna, Yajing Liu, Ying Liu, Ye Zhao, Kathryn S","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.159443Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:23e67b4c9a78767474f7709be8d39e1b74d0a024f5a6ff759553ecedeea83af9","observation_id":"a303a650-88a2-4e66-bc12-5b8b722daa79","resolution":{"observed_at":"2026-08-03T13:15:17.159443Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.162089Z","title":"The linux scheduler: a decade of wasted cores","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.162089Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:9b752b0d1696e34bd8ef2ad8e844a49716c6b25ceafea0abd16603676e4db40c","observation_id":"1ff35b62-69d7-4fe9-8450-caccd2102709","resolution":{"observed_at":"2026-08-03T13:15:17.162089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.165253Z","title":"Visu- alizing data using t-sne.Journal of machine learning research, 9(Nov):2579–2605, 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.165253Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:fba6d3d895373f2dcb9fd69f5c9a33855aedacf806b905eec9c5d04558f6add8","observation_id":"2b61f914-45e9-4a56-8b3d-314f1e5ca253","resolution":{"observed_at":"2026-08-03T13:15:17.165253Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.168099Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.168099Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:d58197a863ee991f236d69737c039425955d4c81765ac5cc9068082cf9cda410","observation_id":"db52fe9b-fa32-4258-a586-7c3c38a64673","resolution":{"observed_at":"2026-08-03T13:15:17.168099Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.171248Z","title":"Learning scheduling algorithms for data processing clusters","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.171248Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:d4c15b3eefdea12a014ee03ecc6d14cf7fb3182d641bc4c130df733bd760c273","observation_id":"29622ef1-ea3e-42a0-95a1-f468bfbfc5da","resolution":{"observed_at":"2026-08-03T13:15:17.171248Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.174086Z","title":"Tpp: Transparent page place- ment for cxl-enabled tiered-memory","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.174086Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:488c53cbe202aafb6e01484a8ecad1936c1b0d991ce049f8a971d9f4887f76f3","observation_id":"2d50060f-8d91-4ce8-a35d-03aca9097473","resolution":{"observed_at":"2026-08-03T13:15:17.174086Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.176860Z","title":"{ARC}: A {Self-Tuning}, low overhead replacement cache","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.176860Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:d627fca11ce32bb8692538936ab26ab1a904147607f8f8e9b681c25fc0ad7fb3","observation_id":"d9f624d3-4f1d-43af-8924-20ce35868500","resolution":{"observed_at":"2026-08-03T13:15:17.176860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.181342Z","title":"Interpreting deep learning-based networking systems","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.181342Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:41da69c67aa338a4d3f9585be2ea5d1a30d76daf3a09caaa6fde803f738fce69","observation_id":"814617aa-a979-4764-a826-5f782ddf8dc6","resolution":{"observed_at":"2026-08-03T13:15:17.181342Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.184208Z","title":"Best-offset hardware prefetching","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.184208Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:d48015bbd12f35c5325a45b0bd77414b0e9bd3aca1a93889900f40865ce8d9a4","observation_id":"04155e16-d17b-4939-a5ea-435dfdbb1cf9","resolution":{"observed_at":"2026-08-03T13:15:17.184208Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.187467Z","title":"Timely: Rtt-based congestion control for the dat- acenter","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.187467Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:fa222b44472080a3a43be7f57fc883a0a8fdf3bfe706cd944f6a7559b20eda27","observation_id":"52404dd7-cd4a-4af8-bd49-a4278826af72","resolution":{"observed_at":"2026-08-03T13:15:17.187467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.193386Z","title":"Towards automated verification of llm-synthesized c programs, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.193386Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7c1599db52fac9cc063a7e359323590f1e004e84cd5eee1bdd4740dc8164d467","observation_id":"014cdd41-3591-4a80-af2e-a9c8f5af3c7e","resolution":{"observed_at":"2026-08-03T13:15:17.193386Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.196178Z","title":"Heterogeneity-Aware cluster scheduling policies for deep learning workloads","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.196178Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:483722af5c4c7f3a03b32578be88b9bf9c8c4a07b682d3edd64ac721af192759","observation_id":"60928d4a-2955-4112-a438-5850be266d4b","resolution":{"observed_at":"2026-08-03T13:15:17.196178Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.198964Z","title":"Write off-loading: Practical power man- agement for enterprise storage.ACM Transactions on Storage (TOS), 4(3):1–23, 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.198964Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:aba5abd0b1cdad29a7be5eae1fcfe441b13e563b5b2be853f7aed460bb4d8121","observation_id":"4cb5ca59-f69a-4de0-80f3-a6139f3507e3","resolution":{"observed_at":"2026-08-03T13:15:17.198964Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.201969Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.201969Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:b2a80a7415ca1af5b2ee766ab1252a4d456f9a2bce8e5f20d5ff73a10d580d26","observation_id":"e890d4d4-2e80-4d14-9a4b-b277a8673f82","resolution":{"observed_at":"2026-08-03T13:15:17.201969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.204731Z","title":"Mahimahi: accurate {Record-and- Replay} for {HTTP}","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.204731Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7f49f1227b31a05467ea9c6083a59489177a510028f046fc553bb9dcf99edcc8","observation_id":"e4b25ef6-860d-4416-ab21-57045495fce4","resolution":{"observed_at":"2026-08-03T13:15:17.204731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.207602Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.207602Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:5aa23bee450433c40e79e28d17e6384bec8a90761ab7a4eb8029aad55952ebe9","observation_id":"7e8dd7d1-f3a6-4f9b-9bca-f41ae65203f5","resolution":{"observed_at":"2026-08-03T13:15:17.207602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.210627Z","title":"The akamai network: a platform for high-performance internet applications.ACM SIGOPS Operating Sys- tems Review, 44(3):2–19, 2010","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.210627Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:365040e69f578cb13002a812b796b5d40eae63d36eae684a6ac4081e0c109707","observation_id":"7f6524f0-30a6-4263-8f74-04839d9da133","resolution":{"observed_at":"2026-08-03T13:15:17.210627Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.214101Z","title":"O’Neil, Patrick E","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.214101Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:8e3814b1f3570566f6d161f1d3f59b432c761e1b01e1b56975910e8fda1a3a0c","observation_id":"8156d162-31b7-456b-a2d7-58842db4fa02","resolution":{"observed_at":"2026-08-03T13:15:17.214101Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.217228Z","title":"Sparrow: distributed, low latency schedul- ing","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.217228Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:50a1e993f8dcf0eb068042a32719cb0c9161a610f55dbff25b6d17f8c6e450e5","observation_id":"4b483afe-fd8f-4455-97df-a874de23b372","resolution":{"observed_at":"2026-08-03T13:15:17.217228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.10517","last_updated":"2025-02-14T19:30:53Z","snapshot_observed_at":"2026-08-11T09:07:12.560478Z","submitted_at":"2025-02-14T19:30:53Z","title":"KernelBench: Can LLMs Write Efficient GPU Kernels?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.10517","snapshot_observed_at":"2026-08-03T13:15:17.219948Z","title":"Kernelbench: Can llms write efficient gpu ker- nels?arXiv preprint arXiv:2502.10517, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.219948Z"},"links":{"cited_paper":"/paper/2502.10517","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:edec2f8ce4235a2cd2d9acb63293927c008bb1c23d88f472c744b65bb406ab89","observation_id":"d12373e5-af89-44dc-8a1d-39b05059ab08","resolution":{"observed_at":"2026-08-03T13:15:17.219948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.222802Z","title":"Completely fair scheduler","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.222802Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:f3b98f9da08e56caf79453f062c2937b0433b8f570dc775ee7670e6222603f2d","observation_id":"6285da47-eff8-4217-8168-f932f24eaaa7","resolution":{"observed_at":"2026-08-03T13:15:17.222802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.225683Z","title":"Mutant: Learning congestion control from exist- ing protocols via online reinforcement learning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.225683Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:f84baf7d4baa03ae54f73c88f008b50d83b7ed7916a4b319eda9796755954db3","observation_id":"493453db-30ca-4f98-8052-4e141946bc19","resolution":{"observed_at":"2026-08-03T13:15:17.225683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.228499Z","title":"Pro- filing dynamic data access patterns with controlled overhead and quality","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.228499Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7b7fbd34421863f37ca7f0e1790da70d3f5be2d7e1278939845c87ef8d28e801","observation_id":"ce08c90a-e089-4f0b-86e7-4d8d3e92d806","resolution":{"observed_at":"2026-08-03T13:15:17.228499Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.231237Z","title":"Real-time dy- namic voltage scaling for low-power embedded oper- ating systems","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.231237Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:5f42c860805fc1345433e872a40fb3ba1b14fec2b7d74edd872677212899c0a4","observation_id":"4420b080-7c2c-4131-b990-11da21f41da2","resolution":{"observed_at":"2026-08-03T13:15:17.231237Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.234167Z","title":"A sim- ple synchronous distributed-memory algorithm for the hpcc randomaccess benchmark","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.234167Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:9042a9309db66c787f303ea4834667d574bc62a0f6eff5f0d170ae9c4742cf69","observation_id":"c0cf5e83-947d-4371-8444-54965f40265a","resolution":{"observed_at":"2026-08-03T13:15:17.234167Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.237817Z","title":"Stratified round robin: A low complexity packet scheduler with bandwidth fairness and bounded delay","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.237817Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:87260796ec431e255ca87719b5477a34c3e256f221795ebf07cfeb420be33325","observation_id":"f1dfa123-2d09-4b85-917e-464c5a52adae","resolution":{"observed_at":"2026-08-03T13:15:17.237817Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.04249","last_updated":"2025-05-06T01:01:33Z","snapshot_observed_at":"2026-08-12T22:30:02.065919Z","submitted_at":"2024-10-05T18:11:14Z","title":"DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.04249","snapshot_observed_at":"2026-08-03T13:15:17.240806Z","title":"Diffspec: Differential testing with llms using natural language specifications and code artifacts.arXiv preprint arXiv:2410.04249, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.240806Z"},"links":{"cited_paper":"/paper/2410.04249","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:b4ac5512b6cecc3991a57a20e8cd5e527d63f07c11d5264146ef3124182c35dc","observation_id":"bb88cdcf-6464-441c-bcad-cf79f0a81a7e","resolution":{"observed_at":"2026-08-03T13:15:17.240806Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.08703","last_updated":"2025-04-23T20:22:37Z","snapshot_observed_at":"2026-08-10T02:18:45.862185Z","submitted_at":"2025-04-11T17:08:02Z","title":"SWE-PolyBench: A multi-language benchmark for repository level evaluation of coding agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.08703","snapshot_observed_at":"2026-08-03T13:15:17.244078Z","title":"Swe-polybench: A multi-language benchmark for repository level evaluation of coding agents.arXiv preprint arXiv:2504.08703, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.244078Z"},"links":{"cited_paper":"/paper/2504.08703","citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:60d14c0f6f24f3eaa3c5e684e70a6f538fb5b831d4947cf1acbf387aaeb55b10","observation_id":"556750d0-1a52-4700-a53a-c74ffca308bc","resolution":{"observed_at":"2026-08-03T13:15:17.244078Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.247447Z","title":"Hemem: Scalable tiered mem- ory management for big data applications and real nvm","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.247447Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:234b59bf33b475ef6e53ad23a2c15f329394cf8884bf5e3e7dc3b1dbe0bba559","observation_id":"48bc681f-1af5-455a-a4c2-51c026fe0e3b","resolution":{"observed_at":"2026-08-03T13:15:17.247447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.250132Z","title":"Learning cache replacement with {CACHEUS}","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.250132Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:63203780ed3a0d8caaf205309f5469be5b4dbe6cd32071aebda71b1a33fd368f","observation_id":"b7a21e26-88af-4bf6-9f99-4a6b45a84d38","resolution":{"observed_at":"2026-08-03T13:15:17.250132Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.256074Z","title":"Mathematical discoveries from pro- gram search with large language models.Nature, 625(7995):468–475, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.256074Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:da7974411d8b6248242c27b6d17f8b33f7fb323eda490b7a8e1eedb4c839216c","observation_id":"214eea96-feff-48ce-b4b9-f5963bc6178c","resolution":{"observed_at":"2026-08-03T13:15:17.256074Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.258695Z","title":"Kerveros: Efficient and scalable cloud 19 admission control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.258695Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:60749eb52b7847930f5d5e8f13815fcfcbbf62b295de27ebf8830bf5fd9e03ea","observation_id":"7bbc5fb3-130a-48f3-be14-b78fe252f2f5","resolution":{"observed_at":"2026-08-03T13:15:17.258695Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.261598Z","title":"How i learned to stop worrying and love learned os policies","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.261598Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:7278a0d6116c7322a97bf94fbad639a99ed822a7364997a487210a3545452832","observation_id":"84354c46-1c81-483d-a36c-6c579d90cf2d","resolution":{"observed_at":"2026-08-03T13:15:17.261598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.267722Z","title":"{Self- Clocked}{Round-Robin} packet scheduling","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.267722Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:78c86800ba5f0baff55b50488ac2d452d87a652b16247da7462f3dc12e6a932f","observation_id":"4b0dde83-158f-43d5-93dd-0a3a52927419","resolution":{"observed_at":"2026-08-03T13:15:17.267722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.270615Z","title":"Openevolve: An open-source evolutionary coding agent","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.270615Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:0616d30961db42dbb3ff633b2e8ee701b3fd710062acc5526d3bd870e0e0318a","observation_id":"e6e5bd5f-29c9-4e29-8c66-0594dd2f2175","resolution":{"observed_at":"2026-08-03T13:15:17.270615Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.273545Z","title":"Reflexion: Language agents with verbal reinforcement learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.273545Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:28ebc5c4efdfcdab672c237cb0f2f0e21c3aa7aaf123ac2318564d286e3f74bb","observation_id":"48c22884-37e6-4aba-ba85-96552ddabf38","resolution":{"observed_at":"2026-08-03T13:15:17.273545Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.276337Z","title":"Effi- cient fair queueing using deficit round robin","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.276337Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:b7901cebcf5d5d805ebef975ed3595d31e318781f5530d894a550c16986ea07a","observation_id":"8bcd093f-b3aa-4a8c-9b92-480926b53e5c","resolution":{"observed_at":"2026-08-03T13:15:17.276337Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.278853Z","title":"Code researcher: Deep research agent for large systems code and commit history","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.278853Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:6fe030590658f643d690a4c5adc31458ed07dd3954294f90e2b7b0eb0577614c","observation_id":"bf0c90c6-71d2-4119-8ce6-381e2a9ca45b","resolution":{"observed_at":"2026-08-03T13:15:17.278853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.281638Z","title":"No silver bullet: ex- tending sdn to the data plane","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.281638Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:2747b6b74f1aaea3a016e68fb672d1e2dd1a9a5e51c07555545db3e57c96f0bd","observation_id":"18d3d022-80e0-4e8f-949b-f641a16c26cc","resolution":{"observed_at":"2026-08-03T13:15:17.281638Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.284675Z","title":"Learning relaxed belady for content distribu- tion network caching","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.284675Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:1ac23d2aebe7222e57b4056071f993c1ba562a5757a3cec82e8b905308962da9","observation_id":"2e545e91-a1a1-404d-8f91-ac18ad1403b4","resolution":{"observed_at":"2026-08-03T13:15:17.284675Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.287356Z","title":"{HALP}: Heuristic aided learned preference eviction policy for {YouTube} content delivery net- work","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.287356Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:8904b552c57920c8525590bfa5656849860c44ff399dddf598ee2fa4cbb16e43","observation_id":"8e235a83-ee58-437b-948f-fc00ff086af0","resolution":{"observed_at":"2026-08-03T13:15:17.287356Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.290027Z","title":"Xsbench-the development and verifi- cation of a performance abstraction for monte carlo reactor analysis.The Role of Reactor Physics toward a Sustainable Future (PHYSOR), 2014","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.290027Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:753a769d5aac51fe9b720a67a71457b68805a6dcccd0aa2411c0fb7447dd0a37","observation_id":"6a7cccfb-2e71-456e-8cfe-9f4cf90760ab","resolution":{"observed_at":"2026-08-03T13:15:17.290027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.292666Z","title":"Speedy transactions in multicore in-memory databases","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.292666Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:10e27190d24f7a16741c1f1f896dde05d6fa8565f42070b61827f3f7ae2cc423","observation_id":"11fcab16-dbbd-436d-927a-17bd815a1587","resolution":{"observed_at":"2026-08-03T13:15:17.292666Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.295256Z","title":"Evolution of the bfq storage-i/o scheduler","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.295256Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:9c9967c2ea05ad6838b86028101c5b8a1960f204c06441b7d8855cb19aa5004e","observation_id":"54754014-90ef-4773-9f0a-950a04120acd","resolution":{"observed_at":"2026-08-03T13:15:17.295256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:15:17.297797Z","title":"Automatic database management system tuning through large-scale machine learning","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","version":2},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-03T13:15:17.297797Z"},"links":{"citing_paper":"/paper/2512.25065"},"observation_digest":"sha256:999cb4875d023580aecd71add4025c1c53af9d2058e6755ac6697e5e05f0a875","observation_id":"d7b4a51e-b8f8-4499-b9ed-60b00918d5d8","resolution":{"observed_at":"2026-08-03T13:15:17.297797Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2512.25065","last_updated":"2026-06-16T17:27:56Z","latest_version":2,"primary_category":"cs.OS","snapshot_observed_at":"2026-08-10T02:04:46.374678Z","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":100,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":129},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 100 of 129 outbound references and 1 inbound Pith citation observation for arXiv:2512.25065."}