84 citations · 263 across the 34 of their papers we have counts for
Showing cs.OSShow all
2 papers · 1 filter
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…
cs.OS2022
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems
Hayley LeBlanc, Shankara Pailoor, Isil Dillig +2
We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop…