TY  - RPRT
TI  - Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search
AU  - Rohit Dwivedula
AU  - Divyanshu Saxena
AU  - Sujay Yadalam
AU  - Eric Hayden Campbell
AU  - Daehyeok Kim
AU  - Aditya Akella
PY  - 2026
DO  - 10.1145/3842654.3848582
UR  - https://arxiv.org/abs/2512.25065
ID  - 2512.25065
ER  -