Processes, containers, and virtual machines (VMs) offer different trade-offs between performance, isolation, and resource sharing. Yet, they represent just three points in a vast design space. Developers repeatedly introduce ad-hoc isolation mechanisms to tune these trade-offs for specific deployments, but there is no...
Sidhartha Agrawal, Shaurya Patel, Linh Pham et al.· Proceedings of the 14th Work...· 0 citations
This work is building an executable formal semantics for eBPF in F* that explicitly distinguishes cross-platform and platform-specific behaviors and envision this semantics as a practical foundation for a uniform, trustworthy eBPF across platforms.
Yan-Ze Li, Reto Achermann, Ivan Beschastnikh et al.· Proceedings of the 4th Works...· 0 citations
This work presents a methodology that lets us validate an abstract formal model against real hardware by generating test cases, executing them on real hardware to capture traces of observable behavior, and employing a synthesis approach to identify the internal microarchitectural steps that explain the observable behav...
Rishika Varma Kalidindi, Reto Achermann· Proceedings of the 14th Work...· 0 citations
This paper proposes a deployment scheme for agentic workloads tailored for serverless, accompanied by pre-warming policies that minimize the idle resource footprint and startup latencies and outlines promising research directions for serverless agents.
Ian Dougherty, Natalie Lambert, Joshua Wang et al.· ACM SIGOPS Operating Systems...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
