Accepted Posters
Final Poster Instructions
Our poster boards are 70"x46", so anything that fits in that space will work. We recommend 48"x36" (or 36"x48"), but participants are welcome to use whatever dimensions they like, so long as it fits on the poster board.
The following posters will appear at the 32nd ACM SIGOPS Symposium on Operating Systems Principles (SOSP) Poster session:
Accepted Research Papers
- LLM-42: Enabling Determinism in LLM Inference with Verified Speculation
Raja Gond (Microsoft Research India); Aditya K Kamath (University of Washington); Ramachandran Ramjee (Microsoft Research India); Ashish Panwar (Microsoft Research) - Beyond Utilization: Energy-Conscious GPU Sharing for Inference Serving
Prasoon Sinha, Dimitrios Liakopoulos, Nathan Lemma, Neeraja J. Yadwadkar (The University of Texas at Austin) - Disk-Based LSMs: An Unexpectedly Good Index for Partly Coherent CXL Memory
Kiran Hombal (University of Illinois Urbana Champaign); Jiyu Hu (University of Illinois Urbana-Champaign); Marcos K. Aguilera (NVIDIA); Ram Alagappan, Aishwarya Ganesan (University of Illinois Urbana-Champaign) - CryptDough: A unified analytics engine for secure multiparty computation
Muhammad Faisal, Alessandra Lanz, Sam Buxbaum, Adam Godel, Vasiliki Kalavri, Mayank Varia, John Liagouris (Boston University) - TuxBot: Semantic-Aware Online OS Tuning with LLMs
Georgios Liargkovas, Mihir Joshi (Columbia University); Hubertus Franke (IBM); Kostis Kaffes (Columbia University) - PirateShip: Append-Only Ledgers for (Mostly) Trusted Execution Environments
Shubham Mishra (University of California, Berkeley); João Gonçalves (INESC-ID & IST U. Lisboa); Chawinphat Tankuranand, Natacha Crooks, Neil Giridharan (UC Berkeley); Heidi Howard, Chris Jensen (Azure Research, Microsoft) - Smaran: Serving Authenticated Time-Travel Queries
Asim Nepal (University of Oregon); Shistata Subedi (University of Oregon/ Computer Science Department); Shubham Mishra (University of California, Berkeley); Aniket Kate (Purdue University); Hein Meling (University of Stavanger); Suyash Gupta (University of Oregon) - AgileLog: A Forkable Shared Log for Agents on Data Streams
Shreesha G. Bhat, Tony Hong, Michael Noguera, Aishwarya Ganesan, Ram Alagappan (University of Illinois Urbana-Champaign) - Making Hardware Features Bespoke: Operating System Support for Bes-Mode
Bicheng Yang, Yuanpei Wu, Rongchuan Liu, Dong Du, Yubin Xia, Binyu Zang, Haibo Chen (Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, China) - CCKit: An open-source toolkit for cache coherent accelerators
Abishek Ramdas, David Cock, Michael Giardino, Dario Korolija, Anastasiia Ruhzanskaia, Daniel Schwyn, Adam Turowski, Gustavo Alonso, Timothy Roscoe (ETH Zürich) - MeshRT: Compile-Time Governed Wafer-Scale Runtime for Low-Latency High-Throughput Inference
Congjie He, Le Xu, Zhan Lu, Yeqi Huang, Haocheng Xiao, Cheng Deng (University of Edinburgh), Lingxiao Ma, Ziming Miao, Fan Yang (Microsoft Research), Luo Mai (University of Edinburgh) - Wavel: A Fast and Efficient Compilation System for Wafer-Scale Accelerators
Yeqi Huang, Congjie He, Haocheng Xiao, Yanwei Ye, Yi-Chieh Wang, Boyao Song, Yangshen Deng (University of Edinburgh), Ziming Miao, Lingxiao Ma, Fan Yang (Microsoft Research), Luo Mai (University of Edinburgh)
Accepted Posters
- Mitigating Prefix Caching Side Channels in Multi-Tenant LLM Serving Systems
Panagiotis Georgios Pennas, Konstantinos Papaioannou (IMDEA Software Institute / Universidad Politécnica de Madrid); Marco Guarnieri, Thaleia Dimitra Doudali (IMDEA Software Institute) - TRACE: State-Carrying Incremental Search for Correlated Vector Query Streams on Edge Devices
Mohsin Rasheed (Augusta University) - Towards Power-aware Clock Configuration for Embedded Operating Systems
Michel Rottleuthner, Thomas C. Schmidt (Hamburg University of Applied Sciences); Matthias Wählisch (TU Dresden and Barkhausen Institut) - Consigliere: Continuous Resource Renegotiation for the Public Cloud
Tejas Harith (Max Planck Institute for Software Systems); Antoine Kaufmann (Max Planck Institute for Software Systems (MPI-SWS)) - Cortex: Towards Unified, Multi-Domain Placement and Scheduling in Large-scale Clouds
Arno Uhlig (TU Dresden, SAP SE); Iris Braun, Matthias Wählisch (TU Dresden) - VoliMap: Optimizing Key-Value Store Performance by Leveraging Userland Page Tables
Tara Aggoun (Télécom SudParis, Inria Saclay, Institut Polytechnique de Paris); Jana Toljaga (Inria Saclay, Télécom SudParis - Institut Polytechnique de Paris); Nicolas Derumigny (Télécom SudParis); Jean-Pierre Lozi, Gaël Thomas (Inria) - Carbon-Aware and Cost-Effective Geo-Distribution for Latency-Critical Microservices
Georgia Christofidi (IMDEA Software Institute, Universidad Politecnica de Madrid); Francisco Álvarez-Terribas (Telefonica Research, Universidad Pompeu Fabra); Ioannis Roumpos (IMDEA Software Institute); Nicolas Kourtellis (Keysight Technologies, Spain); Jesus Omaña Iglesias (Telefonica Research); Thaleia Dimitra Doudali (IMDEA Software Institute) - Tracing for Microkernel-Based Systems
Antonia Obersteiner (TU Dresden); Till Miemietz, Viktor Reusch (Barkhausen Institut); Till Smejkal (TU Dresden) - Invisible Yet Dominant: Big Stalls of Kernel I/O Mechanisms in Cloud OLTP Databases
Mitsumasa Kondo (NTT) - I Know What You Asked Before: Semantic-Aware Scheduling for Distributed LLM Serving
Giorgos Kappes (University of Macedonia); Evangelos Chasanis (University of Ioannina) - TIO: Trusted Direct I/O for Confidential GPUs
Jiyang Chen, Thore Sommer, Dimitrios Stavrakakis, Harshavardhan Unnibhavi (Technical University of Munich); Le Quoc Do (STACKIT); Atsushi Koshiba (Tokyo University of Science); Pramod Bhatotia (Technical University of Munich) - Generating Representative Microservice Macrobenchmarks with Palette
Ali Fahad Khan Lodhi, Vaastav Anand, Matheus Stolet (Max Planck Institute for Software Systems (MPI-SWS)); Jonathan Mace (Microsoft Research); Antoine Kaufmann (Max Planck Institute for Software Systems (MPI-SWS)) - Rethinking Web Application Firewalls
Laurin Brandner, Laurent Vanbever (ETH Zürich) - Instant Replay: Process snapshots without waiting for fork
Manuel Vögele (Ruhr University Bochum (RUB)); Clemens Tiedt, Sven Köhler (Hasso Plattner Institute, University of Potsdam); Timo Hönig (Ruhr University Bochum) - MUCHA: Memory Unit Characterizing Access Patterns
Clemens Tiedt, Sven Köhler (Hasso Plattner Institute, University of Potsdam); Manuel Vögele (Ruhr University Bochum (RUB)); Benedict Herzog (Ruhr-Universität Bochum (RUB)); Andreas Polze (Hasso Plattner Institute, University of Potsdam); Timo Hönig (Ruhr University Bochum) - vCheck: Building Efficient and Verifiable Checkpointing for LLM Training
Qinyu Xu, Jinkun Geng, Joseph Tassarotti, Anirudh Sivaraman (New York University) - Recovering Internal Command Interfaces from Applications for Direct Agent Invocation
Prince Bhagirathbhai Modi, Varad Kottawar, Ayush Govind (UC San Diego) - Build Less, Pull Less, Restart Never: Fast Container Image Distribution and In-Place Updates
Navidreza Asadi, Bohdan Garchu, Giovanni Bartolomeo, Joerg Ott, Wolfgang Kellerer (Technical University of Munich) - Towards an Empirical Comparison of Virtualization on Constrained IoT Devices
Leonard Herbst, Georg Detlef Bär-Dumont, Thomas Springer, Matthias Wählisch (TU Dresden and Barkhausen Institut) - GPU-Aware Scheduling for LLM Workloads: First Insights Across Kubernetes Schedulers
Valentin Küchler, Arno Uhlig (TU Dresden and SAP SE); Iris Braun, Matthias Wählisch (TU Dresden) - Diversifying Fault-Tolerant Systems using LLMs
Arne Vogel, Christian Berger, Rüdiger Kapitza (FAU Erlangen-Nürnberg) - Finding Metastable Failure Resistant Designs with Bluebell
Zawyar Ur Rehman, Vaastav Anand, Antoine Kaufmann (Max Planck Institute for Software Systems (MPI-SWS)) - Multi-Dispatch Strict Serializability
Christopher Branner-Augmon, Wyatt Lloyd, Amit Levy (Princeton University) - Rethinking Replication for Disk-Based Key-Value Stores
Nathan Nathan, Jinkun Geng (New York University) - Duval: Resource Harvesting on Reconfigurable Dataflow Accelerators
Tejas Harith (Max Planck Institute for Software Systems); Antoine Kaufmann (Max Planck Institute for Software Systems (MPI-SWS)) - SSR: Timing-Aligned Synchronous State Machine Replication for Modern Datacenters
Yuke Ma (Max Planck Institute for Informatics); Paolo Costa (Microsoft Research); Yiting Xia (Max Planck Institute for Informatics)
Student Research Competition (SRC) Posters
- Evaluating Learned Policies as First-Class Kernel Primitives on a Bare-Metal Operating System for Edge Inference
John Jezl (Sonoma State University) - Energy-Efficient Resource Management for Database Systems Using HARP
Leonie Seelisch (Dresden University of Technology) - A Runtime Substrate for Capability-Controlled Extensible LLM Agents
Yingqi Zhang (Tsinghua University) - Closing the Data Alignment Gap in Secure Analytics with Private Edit Distance
Adam Godel (Boston University) - A Tale of Two Memories: OS Isolation for Co-Executing PIM-Accelerated LLMs and Mobile Apps
Shicheng Deng (University of Chinese Academy of Sciences) - ORS: Dynamic Operator-Level Scheduling for Efficient Deep Learning Inference
Yulong Yulong (Xiamen University) - Extensible Interfaces For Agentic Tools
Xianglin Zeng (Harbin Institute of Technology, Weihai); Lebin Liang (Northwestern Polytechnical University) - Flexible ORAM-based Mitigation Against Controlled-Channel Attacks
Raghumani Mehta (University of British Columbia) - Phantom Pods: Decoupling Kubernetes Admission from Function Materialization
Anay Badlani (Georgia Institute of Technology) - AMV-BBox: Automatic Migration and Verification for Confidential Database UDFs via LLM Agents
Jiayin Chen, Ye Xiong (University of Chinese Academy of Sciences) - HotSwap: Workload-Adaptive Placement for Authenticated State
Shistata Subedi (University of Oregon) - Teach the Agent to Fish: Procedural Knowledge for LLM-Driven Database System Auto-Tuning
Weichen Zhang (Beihang University); Hongyu Lin (University of Chinese Academy of Sciences) - Adaptive State Transfer for Stateful Serverless Workflows
Emanuele Valzano (University of Rome Tor Vergata)