Showing cs.OSShow all
2 papers · 1 filter
cs.OS2026
OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents
Hengbin Zhang, Qingyuan Liu, Mo Zou +3
Operating systems must evolve continuously. Yet their development remains code-centric and largely manual: even a localized change can require recovering implicit assumptions, coor…
cs.OS2025
Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC
Qingyuan Liu, Mo Zou, Hengbin Zhang +3
File systems are critical OS components that require constant evolution to support new hardware and emerging application needs. However, the traditional paradigm of developing feat…