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)

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)
  • 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)
  • 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)