Showing cs.OSShow all
3 papers · 1 filter
cs.OS2025
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.OS2025
Man-Made Heuristics Are Dead. Long Live Code Generators!
Rohit Dwivedula, Divyanshu Saxena, Aditya Akella +2
Policy design for various systems controllers has conventionally been a manual process, with domain experts carefully tailoring heuristics for the specific instance in which the po…
cs.OS2023
On a Foundation Model for Operating Systems
Divyanshu Saxena, Nihal Sharma, Donghyun Kim +15
This paper lays down the research agenda for a domain-specific foundation model for operating systems (OSes). Our case for a foundation model revolves around the observations that…