2 papers
cs.OS2026
Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search
Rohit Dwivedula, Divyanshu Saxena, Sujay Yadalam +3
Systems resource management tasks rely primarily on hand-designed heuristics. However, growing hardware heterogeneity and workload diversity require heuristics specialized to parti…
cs.PL2026
Optimal Predicate Pushdown Synthesis
Robert Zhang, Eric Hayden Campbell, Dixin Tang +1
Predicate pushdown is a long-standing performance optimization that filters data as early as possible in a computational workflow. In modern data pipelines, this transformation is…