Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search | Paper Citation Record

Observation e1613ac4-aad9-466e-89b1-59617fe20055 · outbound

This paper cites https://kubernetes.io/ docs/tasks/run-application/horizontal-pod- autoscale/.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search https://kubernetes.io/ docs/tasks/run-application/horizontal-pod- autoscale/

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:16.981914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80bb6347-e1e8-4ddf-830a-72c9e78a79aa · outbound

This paper cites C2tcp: A flexible cellular tcp to meet stringent delay requirements.IEEE Journal on Selected Areas in Com- munications, 37(4):918–932, 2019.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search C2tcp: A flexible cellular tcp to meet stringent delay requirements.IEEE Journal on Selected Areas in Com- munications, 37(4):918–932, 2019

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:16.986032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a77d1da-a9bf-4452-b178-0619e6099b0d · outbound

This paper cites Jonathan Chao.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Jonathan Chao

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:16.989418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a1b08ec-51cb-4334-9598-2f7e93f0a75b · outbound

This paper cites Mitosis work- load btree, 2019.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Mitosis work- load btree, 2019

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:16.993027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5a9eb5d-cad1-420c-9464-edbeae2ddc6e · outbound

This paper cites Vidur: A large-scale simulation framework for llm inference.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Vidur: A large-scale simulation framework for llm inference

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:16.995954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1014d106-7142-4d4b-9d57-5344286b6928 · outbound

This paper cites Kmlib: Towards machine learning for oper- ating systems.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Kmlib: Towards machine learning for oper- ating systems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:16.998812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8bd83b9-21b4-42d4-a56a-7254e5466ff1 · outbound

This paper cites CherryPick: Adaptively unearthing the best cloud configurations for big data analytics.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search CherryPick: Adaptively unearthing the best cloud configurations for big data analytics

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.001866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d41df969-3091-4315-9e2c-7b08fb1209af · outbound

This paper cites Maltz, Jitendra Padhye, Parveen Patel, Balaji Prab- hakar, Sudipta Sengupta, and Murari Sridharan.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Maltz, Jitendra Padhye, Parveen Patel, Balaji Prab- hakar, Sudipta Sengupta, and Murari Sridharan

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.004642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9d1080c-d587-4fe7-9aa4-1f6214e70e2c · outbound

This paper cites Starvation in end-to-end congestion control.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Starvation in end-to-end congestion control

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.007414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0056502d-e5d4-46da-94b3-521f2978bbb7 · outbound

This paper cites Copa: Practical {Delay-Based} congestion control for the internet.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Copa: Practical {Delay-Based} congestion control for the internet

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.013351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37b99586-cd2a-49e7-9eef-9bbd12f5e535 · outbound

This paper cites Caching with delayed hits.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Caching with delayed hits

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.016343Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe1db11a-3a4b-4683-a4c8-6704d0da53cc · outbound

This paper cites Program Synthesis with Large Language Models.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Program Synthesis with Large Language Models

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.019306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7205f698-6a8f-412e-a671-b5415980b0ea · outbound

This paper cites {LHD}: Improving cache hit rate by maximizing hit density.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search {LHD}: Improving cache hit rate by maximizing hit density

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.022961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db554455-dc43-49f1-9753-991a84cd2a19 · outbound

This paper cites an unresolved cited work.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.026280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16b73fd9-4742-44bb-9f2c-0659ba5d5eee · outbound

This paper cites {RobinHood}: Tail latency aware caching–dynamic reallocation from {Cache-Rich} to {Cache-Poor}.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search {RobinHood}: Tail latency aware caching–dynamic reallocation from {Cache-Rich} to {Cache-Poor}

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.029679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a97014b9-1b2d-404e-9d00-60d45fefb447 · outbound

This paper cites Hyperbolic caching: Flexible caching for web applications.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Hyperbolic caching: Flexible caching for web applications

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.032772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91d551cd-e45b-4304-86e0-9cbf2c25d793 · outbound

This paper cites FetchBPF: Customiz- able prefetching policies in linux with eBPF.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search FetchBPF: Customiz- able prefetching policies in linux with eBPF

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.035953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b00d8b1-d125-493f-8e8e-bff2289dfb6f · outbound

This paper cites Bbr: Congestion-based congestion control.Communica- tions of the ACM, 60(2):58–66, 2017.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Bbr: Congestion-based congestion control.Communica- tions of the ACM, 60(2):58–66, 2017

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.038644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d60ee5e5-7a2c-4fee-bde6-3c34db195829 · outbound

This paper cites Evo- prompting: Language models for code-level neural ar- chitecture search.Advances in neural information processing systems, 36:7787–7817, 2023.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Evo- prompting: Language models for code-level neural ar- chitecture search.Advances in neural information processing systems, 36:7787–7817, 2023

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.041594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab1af336-4028-44e8-b89d-872e96a54eb4 · outbound

This paper cites Darwin: Flexible learning- based cdn caching.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Darwin: Flexible learning- based cdn caching

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.044231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd846840-ef05-4243-92ac-48151ab2b043 · outbound

This paper cites an unresolved cited work.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.046925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2246369c-19dd-4446-b785-cedaa49a0ff7 · outbound

This paper cites Barbarians at the gate: How ai is upending systems research.arXiv preprint arXiv:2510.06189, 2025.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Barbarians at the gate: How ai is upending systems research.arXiv preprint arXiv:2510.06189, 2025

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.050398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2b20537-7854-47d3-9414-4245017c0a7e · outbound

This paper cites Hewlett-Packard Laboratories, Palo Alto, CA, USA, 1998.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Hewlett-Packard Laboratories, Palo Alto, CA, USA, 1998

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.053576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 372bff5a-103d-42f5-93d2-87aa828c3363 · outbound

This paper cites Massachusetts Institute of Technology, Cambridge, MA, 1968.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Massachusetts Institute of Technology, Cambridge, MA, 1968

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.056700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61189512-5f96-4dcd-b934-ecee006ebe69 · outbound

This paper cites Let them run cake, Jun 2018.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Let them run cake, Jun 2018

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.059705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8343c13c-e11d-41d7-bd2a-d6d51f678ac6 · outbound

This paper cites The design and operation of {CloudLab}.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search The design and operation of {CloudLab}

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.062541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a28b5377-181f-40cc-8bcc-d937467b5d00 · outbound

This paper cites Man-made heuristics are dead.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Man-made heuristics are dead

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.065823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83f267d9-ffbb-4859-aa15-9e6dd88cf4ed · outbound

This paper cites Tinylfu: A highly efficient cache admission policy.ACM Trans- actions on Storage (ToS), 13(4):1–31, 2017.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Tinylfu: A highly efficient cache admission policy.ACM Trans- actions on Storage (ToS), 13(4):1–31, 2017

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.068933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce23da7e-e9b8-4a8b-ae45-900edfb26765 · outbound

This paper cites Rossbach.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Rossbach

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.071754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c353ff20-e425-4266-8228-ff822b455b59 · outbound

This paper cites The Championship Simulator: Architectural Simulation for Education and Competition.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search The Championship Simulator: Architectural Simulation for Education and Competition

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.077744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8515bbfd-5d9a-4c68-accb-bdeb75929de1 · outbound

This paper cites Goyal, H.M.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Goyal, H.M

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.081247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3821294-9ee1-47a3-b1a9-7cfc0e9caaaa · outbound

This paper cites Altruistic scheduling in Multi-Resource clusters.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Altruistic scheduling in Multi-Resource clusters

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.084194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c55dda7-e411-4945-b180-447ffc2ccbff · outbound

This paper cites GRAPHENE: Pack- ing and Dependency-Aware scheduling for Data- Parallel clusters.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search GRAPHENE: Pack- ing and Dependency-Aware scheduling for Data- Parallel clusters

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.087092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e39eb73-be97-4de6-bf7e-4c3d520486f7 · outbound

This paper cites Cubic: a new tcp-friendly high-speed tcp variant.ACM SIGOPS operating systems review, 42(5):64–74, 2008.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Cubic: a new tcp-friendly high-speed tcp variant.ACM SIGOPS operating systems review, 42(5):64–74, 2008

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.090227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88bec502-56e1-4b38-bc12-2e37a685540b · outbound

This paper cites Glia: A Human-Inspired AI for Automated Systems Design and Optimization.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Glia: A Human-Inspired AI for Automated Systems Design and Optimization

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.093299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5f00ee7-34b6-4377-99ed-b021872bb919 · outbound

This paper cites Congestion Control System Optimization with Large Language Models.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Congestion Control System Optimization with Large Language Models

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.096549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04d34d73-a951-45de-a2be-2c44d43c695f · outbound

This paper cites Measuring Coding Challenge Competence With APPS.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Measuring Coding Challenge Competence With APPS

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.099820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e59ddf4-ae2b-4f80-bf1b-923b50a8a004 · outbound

This paper cites An analysis of facebook photo caching.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search An analysis of facebook photo caching

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.102846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ce93914-2529-4a9b-83e4-a2539dda00db · outbound

This paper cites Intel 64 and ia-32 architectures software developer manuals.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Intel 64 and ia-32 architectures software developer manuals

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.105797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17644419-8bd1-4d48-86c7-308eac99d9b5 · outbound

This paper cites Amazon nova premier: Technical report and model card.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Amazon nova premier: Technical report and model card

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.110166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0836cdc6-bce3-4c1b-a172-6955b93159bb · outbound

This paper cites LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.112956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3939ef08-c863-4ba5-a3dc-fa8f15c768a5 · outbound

This paper cites Clock- pro: An effective improvement of the clock replace- ment.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Clock- pro: An effective improvement of the clock replace- ment

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.116388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc22814a-fd79-484e-833c-2d08c9d1fef1 · outbound

This paper cites 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.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search 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

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.119418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb9773c6-904f-460d-afb1-f08672933123 · outbound

This paper cites 2q: A low over- head high performance buffer management replace- ment algorithm.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search 2q: A low over- head high performance buffer management replace- ment algorithm

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.122245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71a76523-f86b-497b-954c-e1f4edd9203d · outbound

This paper cites libcachesim: a high perfor- mance library for building cache simulators.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search libcachesim: a high perfor- mance library for building cache simulators

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.125440Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ed7fc4d-fb58-439f-993c-64f58e9050a9 · outbound

This paper cites Herding LLaMaS: Using LLMs as an OS Module.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Herding LLaMaS: Using LLMs as an OS Module

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.128352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f8ef05f-5c26-454b-b5f6-e54e5f14e981 · outbound

This paper cites Striking the right chord: Parameter tuning in memory tiering systems.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Striking the right chord: Parameter tuning in memory tiering systems

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.131525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb7eb0cd-71fc-4da6-9c09-1dd3428e233d · outbound

This paper cites Caching strategies to improve disk system performance.Computer, 27(3):38–46, 1994.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Caching strategies to improve disk system performance.Computer, 27(3):38–46, 1994

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.134594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab8a7fd0-26a8-4f14-b1b8-b5b6ca3774d9 · outbound

This paper cites Robust heuristic algorithm design with llms.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Robust heuristic algorithm design with llms

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.137923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ccdb6fa-c1ba-4e27-b032-18cbb78e12ba · outbound

This paper cites Crust- bench: A comprehensive benchmark for c-to-safe-rust transpilation.arXiv preprint arXiv:2504.15254, 2025.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Crust- bench: A comprehensive benchmark for c-to-safe-rust transpilation.arXiv preprint arXiv:2504.15254, 2025

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.141328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73d4a6d7-c570-43fb-9cbc-0908f2dacfe9 · outbound

This paper cites an unresolved cited work.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.144506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3325cce6-f414-4326-be4f-c6456d733934 · outbound

This paper cites Robus: fair cache allocation for data-parallel workloads.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Robus: fair cache allocation for data-parallel workloads

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.147438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20e7834f-c235-4b91-9c37-799f17d3946c · outbound

This paper cites Kurniawan, Rani Ayu Putri, Peiran Qin, Kahfi S.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Kurniawan, Rani Ayu Putri, Peiran Qin, Kahfi S

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.150332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1bb2164-29e8-4471-9010-f0d0da873456 · outbound

This paper cites ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.153188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94915bac-5265-4164-a983-b805276c658b · outbound

This paper cites Memtis: Efficient memory tiering with dynamic page classification and page size deter- mination.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Memtis: Efficient memory tiering with dynamic page classification and page size deter- mination

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.156702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a303a650-88a2-4e66-bc12-5b8b722daa79 · outbound

This paper cites Bush, Prakash Ramanan, Rajesh Kumar, Thomas Chestna, Yajing Liu, Ying Liu, Ye Zhao, Kathryn S.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Bush, Prakash Ramanan, Rajesh Kumar, Thomas Chestna, Yajing Liu, Ying Liu, Ye Zhao, Kathryn S

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.159443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ff35b62-69d7-4fe9-8450-caccd2102709 · outbound

This paper cites The linux scheduler: a decade of wasted cores.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search The linux scheduler: a decade of wasted cores

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.162089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b61f914-45e9-4a56-8b3d-314f1e5ca253 · outbound

This paper cites Visu- alizing data using t-sne.Journal of machine learning research, 9(Nov):2579–2605, 2008.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Visu- alizing data using t-sne.Journal of machine learning research, 9(Nov):2579–2605, 2008

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.165253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db52fe9b-fa32-4258-a586-7c3c38a64673 · outbound

This paper cites an unresolved cited work.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.168099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29622ef1-ea3e-42a0-95a1-f468bfbfc5da · outbound

This paper cites Learning scheduling algorithms for data processing clusters.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Learning scheduling algorithms for data processing clusters

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.171248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d50060f-8d91-4ce8-a35d-03aca9097473 · outbound

This paper cites Tpp: Transparent page place- ment for cxl-enabled tiered-memory.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Tpp: Transparent page place- ment for cxl-enabled tiered-memory

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.174086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9f624d3-4f1d-43af-8924-20ce35868500 · outbound

This paper cites {ARC}: A {Self-Tuning}, low overhead replacement cache.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search {ARC}: A {Self-Tuning}, low overhead replacement cache

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.176860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 814617aa-a979-4764-a826-5f782ddf8dc6 · outbound

This paper cites Interpreting deep learning-based networking systems.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Interpreting deep learning-based networking systems

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.181342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04155e16-d17b-4939-a5ea-435dfdbb1cf9 · outbound

This paper cites Best-offset hardware prefetching.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Best-offset hardware prefetching

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.184208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52404dd7-cd4a-4af8-bd49-a4278826af72 · outbound

This paper cites Timely: Rtt-based congestion control for the dat- acenter.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Timely: Rtt-based congestion control for the dat- acenter

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.187467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 014cdd41-3591-4a80-af2e-a9c8f5af3c7e · outbound

This paper cites Towards automated verification of llm-synthesized c programs, 2025.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Towards automated verification of llm-synthesized c programs, 2025

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.193386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60928d4a-2955-4112-a438-5850be266d4b · outbound

This paper cites Heterogeneity-Aware cluster scheduling policies for deep learning workloads.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Heterogeneity-Aware cluster scheduling policies for deep learning workloads

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.196178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cb5ca59-f69a-4de0-80f3-a6139f3507e3 · outbound

This paper cites Write off-loading: Practical power man- agement for enterprise storage.ACM Transactions on Storage (TOS), 4(3):1–23, 2008.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Write off-loading: Practical power man- agement for enterprise storage.ACM Transactions on Storage (TOS), 4(3):1–23, 2008

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.198964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e890d4d4-2e80-4d14-9a4b-b277a8673f82 · outbound

This paper cites an unresolved cited work.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.201969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4b25ef6-860d-4416-ab21-57045495fce4 · outbound

This paper cites Mahimahi: accurate {Record-and- Replay} for {HTTP}.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Mahimahi: accurate {Record-and- Replay} for {HTTP}

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.204731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e8dd7d1-f3a6-4f9b-9bca-f41ae65203f5 · outbound

This paper cites an unresolved cited work.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.207602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f6524f0-30a6-4263-8f74-04839d9da133 · outbound

This paper cites The akamai network: a platform for high-performance internet applications.ACM SIGOPS Operating Sys- tems Review, 44(3):2–19, 2010.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search The akamai network: a platform for high-performance internet applications.ACM SIGOPS Operating Sys- tems Review, 44(3):2–19, 2010

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.210627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8156d162-31b7-456b-a2d7-58842db4fa02 · outbound

This paper cites O’Neil, Patrick E.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search O’Neil, Patrick E

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.214101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b483afe-fd8f-4455-97df-a874de23b372 · outbound

This paper cites Sparrow: distributed, low latency schedul- ing.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Sparrow: distributed, low latency schedul- ing

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.217228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d12373e5-af89-44dc-8a1d-39b05059ab08 · outbound

This paper cites KernelBench: Can LLMs Write Efficient GPU Kernels?.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search KernelBench: Can LLMs Write Efficient GPU Kernels?

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.219948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6285da47-eff8-4217-8168-f932f24eaaa7 · outbound

This paper cites Completely fair scheduler.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Completely fair scheduler

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.222802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 493453db-30ca-4f98-8052-4e141946bc19 · outbound

This paper cites Mutant: Learning congestion control from exist- ing protocols via online reinforcement learning.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Mutant: Learning congestion control from exist- ing protocols via online reinforcement learning

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.225683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce08c90a-e089-4f0b-86e7-4d8d3e92d806 · outbound

This paper cites Pro- filing dynamic data access patterns with controlled overhead and quality.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Pro- filing dynamic data access patterns with controlled overhead and quality

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.228499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4420b080-7c2c-4131-b990-11da21f41da2 · outbound

This paper cites Real-time dy- namic voltage scaling for low-power embedded oper- ating systems.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Real-time dy- namic voltage scaling for low-power embedded oper- ating systems

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.231237Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0cf5e83-947d-4371-8444-54965f40265a · outbound

This paper cites A sim- ple synchronous distributed-memory algorithm for the hpcc randomaccess benchmark.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search A sim- ple synchronous distributed-memory algorithm for the hpcc randomaccess benchmark

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.234167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1dfa123-2d09-4b85-917e-464c5a52adae · outbound

This paper cites Stratified round robin: A low complexity packet scheduler with bandwidth fairness and bounded delay.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Stratified round robin: A low complexity packet scheduler with bandwidth fairness and bounded delay

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.237817Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb88cdcf-6464-441c-bcad-cf79f0a81a7e · outbound

This paper cites DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.240806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 556750d0-1a52-4700-a53a-c74ffca308bc · outbound

This paper cites SWE-PolyBench: A multi-language benchmark for repository level evaluation of coding agents.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search SWE-PolyBench: A multi-language benchmark for repository level evaluation of coding agents

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.244078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48bc681f-1af5-455a-a4c2-51c026fe0e3b · outbound

This paper cites Hemem: Scalable tiered mem- ory management for big data applications and real nvm.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Hemem: Scalable tiered mem- ory management for big data applications and real nvm

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.247447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7a21e26-88af-4bf6-9f99-4a6b45a84d38 · outbound

This paper cites Learning cache replacement with {CACHEUS}.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Learning cache replacement with {CACHEUS}

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.250132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 214eea96-feff-48ce-b4b9-f5963bc6178c · outbound

This paper cites Mathematical discoveries from pro- gram search with large language models.Nature, 625(7995):468–475, 2024.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Mathematical discoveries from pro- gram search with large language models.Nature, 625(7995):468–475, 2024

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.256074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bbc5fb3-130a-48f3-be14-b78fe252f2f5 · outbound

This paper cites Kerveros: Efficient and scalable cloud 19 admission control.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Kerveros: Efficient and scalable cloud 19 admission control

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.258695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84354c46-1c81-483d-a36c-6c579d90cf2d · outbound

This paper cites How i learned to stop worrying and love learned os policies.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search How i learned to stop worrying and love learned os policies

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.261598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b0dde83-158f-43d5-93dd-0a3a52927419 · outbound

This paper cites {Self- Clocked}{Round-Robin} packet scheduling.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search {Self- Clocked}{Round-Robin} packet scheduling

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.267722Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6e5bd5f-29c9-4e29-8c66-0594dd2f2175 · outbound

This paper cites Openevolve: An open-source evolutionary coding agent.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Openevolve: An open-source evolutionary coding agent

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.270615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48c22884-37e6-4aba-ba85-96552ddabf38 · outbound

This paper cites Reflexion: Language agents with verbal reinforcement learning.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Reflexion: Language agents with verbal reinforcement learning

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.273545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bcd093f-b3aa-4a8c-9b92-480926b53e5c · outbound

This paper cites Effi- cient fair queueing using deficit round robin.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Effi- cient fair queueing using deficit round robin

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.276337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf0c90c6-71d2-4119-8ce6-381e2a9ca45b · outbound

This paper cites Code researcher: Deep research agent for large systems code and commit history.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Code researcher: Deep research agent for large systems code and commit history

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.278853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18d3d022-80e0-4e8f-949b-f641a16c26cc · outbound

This paper cites No silver bullet: ex- tending sdn to the data plane.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search No silver bullet: ex- tending sdn to the data plane

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.281638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e545e91-a1a1-404d-8f91-ac18ad1403b4 · outbound

This paper cites Learning relaxed belady for content distribu- tion network caching.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Learning relaxed belady for content distribu- tion network caching

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.284675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e235a83-ee58-437b-948f-fc00ff086af0 · outbound

This paper cites {HALP}: Heuristic aided learned preference eviction policy for {YouTube} content delivery net- work.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search {HALP}: Heuristic aided learned preference eviction policy for {YouTube} content delivery net- work

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.287356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a7cccfb-2e71-456e-8cfe-9f4cf90760ab · outbound

This paper cites 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.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search 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

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.290027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11fcab16-dbbd-436d-927a-17bd815a1587 · outbound

This paper cites Speedy transactions in multicore in-memory databases.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Speedy transactions in multicore in-memory databases

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.292666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54754014-90ef-4773-9f0a-950a04120acd · outbound

This paper cites Evolution of the bfq storage-i/o scheduler.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Evolution of the bfq storage-i/o scheduler

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.295256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7b4a51e-b8f8-4499-b9ed-60b00918d5d8 · outbound

This paper cites Automatic database management system tuning through large-scale machine learning.

Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search Automatic database management system tuning through large-scale machine learning

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-03T13:15:17.297797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers