Important Dates

We invite submissions to SOSP’s poster session. The poster session will provide an opportunity to present early-stage work and receive feedback from the community. Contributions will be selected by the Poster program committee based on a 2-page abstract submitted through the SOSP Poster submission website: https://sosp23posters.hotcrp.com/

Topics must fall within the scope of the SOSP call for papers; thought-provoking or controversial work, approaches, or ideas are encouraged. We particularly encourage submission of early work that is not yet ready for publication at a refereed conference or journal.

Submissions will be judged based on novelty and insightfulness of presented work. Preference will be given to student posters presenting exciting new results, however, we welcome abstracts from non-students as well.

Posters must be submitted by September 13, 2023 (23:59:59 AoE). Authors will be notified of the outcome by September 20 27, 2023 (or earlier). The poster will be presented during a poster session at the conference.

Note for accepted SOSP papers: Authors are invited to present a poster. Please register your poster on the above submission website; the abstract is not required.

Submission Instructions

Poster abstract should be at most 2 pages long (excluding references), in two column format, with a text block of maximum 7 x 9 inches (17.8 x 22.9 cm), font size of minimum 10pt, and at least 12pt leading. Submissions must be in PDF format and include:

• title
• author names and affiliations,
• a note indicating which authors (if any) are students

Submissions that do not conform to these requirements will be rejected.

Organizers

Program Chair: Aastha Mehta (University of British Columbia)

Poster Session Program Committee:

• Benjamin Berg (University of North Carolina Chapel Hill)
• Ryan Huang (University of Michigan)
• Vasia Kalavari (Boston University)
• Marios Kogias (Imperial College London)
• Stephanie Wang (UC Berkeley)
• Yang Wang (Ohio State University)
• Kan Wu (Google)
• Tianyin Xu (University of Illinois Urbana-Champaign)

Accepted Posters

• Edna: Disguising and Revealing User Data in Web Applications
• Samurai: Slash your Decentralized Storage
• MEMTIS: Efficient Memory Tiering with Dynamic Page Classification and Page Size Determination
• FMZip: Serving Fine-tuned LLMs Efficiently
• Exploring cache-coherent interconnects with CacheKit and Enzian
• High Performance I/O on the seL4 Microkernel
• FIFO queues are all you need for cache eviction
• Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory
• A Novel Cross-Shard Protocol for Hiearchical State Sharding Blockchain
• Secure Deletion in Adversarial Environments
• Scrooge: A Cross-Cluster Communication Framework
• Towards Cycle-Stealing in HPC Applications: A Two-for-One Deal
• Orion: Interference-aware, Fine-grained GPU Sharing for ML Applications
• Dandelion: Pure Functions Run FaaSt
• Ditto: An Elastic and Adaptive Memory-Disaggregated Caching System
• Mira: A Program-Behavior-Guided Far Memory System
• The de-facto OS of a production SoC
• Using Debug Hardware to Build Tiny and Effective Dynamic Kernel Checkers
• DynaHeap: Dynamic Division of DRAM between Heterogeneous Managed Heaps
• Flotilla: Compositional Formal Verification of Liveness of Distributed Systems Implementations
• VAMPIR: Virtualized Non-Functional Memory Properties for Data-Pipeline Scheduling
• Falcon: Fast OLTP Engine for Persistent Cache and Non-Volatile Memory
• Mars Attacks! Software Protection Against Space Radiation
• The MxKernel - A System Software Architecture for Warehouse-scale Computers
• RackBlox: A Software-Defined Rack-Scale Storage System with Network-Storage Co-Design
• Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
• First steps in verifying the seL4 microkit
• The K2 Architecture for Trustworthy Hardware Security Modules
• Dirigent: A FaaS Orchestration Framework
• Rollbaccine: Herd Immunity Against Rollbacks for TEEs
• OSmosis: Modeling & Building Flexible OS Isolation Mechanisms
• Turbo: Effective Caching in Differentially-Private Databases
• Bottom-Up Memory Safety in Assembly
• Autobahn: Highspeed BFT
• Modyn: A Platform and Benchmark Suite for Model Training on Dynamic Datasets
• Towards Efficient and Proactive State Machine Replication
• Paranoid Stateful Lambda
• When to Use PIM in Data Analytics
• Bagpipe: Accelerating Deep Recommendation Model Training
• Encapsulated Functions: Fortifying Rust’s FFI in Embedded Systems
• PVM: Efficient Shadow Paging for Deploying Secure Containers in Cloud-native Environment
• Transaction Scheduling for Database Systems
• Customizable Enclaves for Service Providers on Untrusted Clouds
• Management of Energy-Aware Processes in Heterogeneous Architectures
• BPF Hybrid Lock: Adaptive Synchronization for Multi-Core Processors
• Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture