2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.DC2025★ 2 cited
CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration
Haoran Zhang, Zihao Zhang, Shuai Mu +2
Cloud applications often insert a caching lay\-er in front of a database in order to reduce I/O latency and improve throughput. One complication occurs when a client fetches some d…
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…