SOSP 2024

Event Info	Date
Submission Deadline:	September 20, 2024, 23:59:59 AOE
Notification of acceptance	October 6, 2024

We are pleased to invite submissions for the poster session at SOSP 2024. This session offers an excellent opportunity to present early-stage work and gather feedback from the community. The Poster Program Committee will select contributions based on a 2-page abstract submitted through the SOSP Poster submission website: https://sosp24posters.hotcrp.com/.

Submissions should address topics within the scope of the SOSP call for papers. We especially encourage submissions that are thought-provoking, controversial or explore novel approaches and ideas. Early-stage work not yet ready for publication in a refereed conference or journal is particularly welcome.

Submissions will be evaluated based on the novelty and insight of the work presented. While we particularly encourage student posters showcasing exciting new results, submissions from non-students are also welcome.

Accepted posters will be presented during a dedicated poster session at the conference.

Special Note for Authors of Accepted SOSP Papers:
Authors of accepted papers are invited to present a poster. Please register your poster on the submission website linked above; an abstract is not required for these submissions.

Submission Instructions

Poster abstracts should be no more than 2 pages long (excluding references) and must adhere to the following formatting guidelines:

• Two-column format
• Text block of a maximum of 7 x 9 inches (17.8 x 22.9 cm)
• Minimum font size of 10pt with 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 meet these requirements will be rejected.

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.

Poster Chair: Daehyeok Kim (The University of Texas at Austin)

Poster Session Program Committee:
Andrew Quinn (UC Santa Cruz)
Ang Chen (University of Michigan)
Antonis Katsarakis (Huawei Research)
Danyang Zhuo (Duke University)
Jian Huang (University of Illinois at Urbana-Champaign)
Juncheng Yang (Harvard University)
Kostis Kaffes (Columbia University)
Liangcheng Yu (Microsoft Research)
Ming Liu (University of Wisconsin-Madison)
Rishabh Iyer (UC Berkeley)
Shravan Narayan (The University of Texas at Austin)
Tianyin Xu (University of Illinois at Urbana-Champaign)

The following posters will appear at the 30th ACM SIGOPS Symposium on Operating Systems Principles (SOSP) Poster session:

• Themis: Efficiently Mitigating Congestion-Induced Fairness Disparities in Long-Haul RDMA Networks
  Rixin Liu, Menghao Zhang, Zihan Niu (Beihang University); Zili Meng (HKUST); Xiaohe Hu (Infrawaves)
• FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring
  Dong Young Yoon (Meta Platforms); Yang Wang, Miao Yu (Meta Platforms and the Ohio State University); Xu Huang, Juan Ignacio Jones, Abhinay Kukkadapu, Osman Kocas, Jonathan Wiepert, Kapil Goenka, Sherry Chen, Yanjun Lin, Zhihui Huang, Jocelyn Kong, Michael Chow, Chunqiang Tang (Meta Platforms)
• If At First You Don’t Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
  Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou (University of Chicago); Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath (Microsoft Research)
• ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation Swapnil Gandhi, Mark Zhao, Athinagoras Skiadopoulos, Christos Kozyrakis (Stanford University))
• NOPE: Strengthening Domain Authentication with Succinct Proofs
  Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish (NYU)
• CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory
  Xuchuan Luo (School of Computer Science, Fudan University; National Key Laboratory of Parallel and Distributed Computing, China); Jiacheng Shen (Duke Kunshan University); Pengfei Zuo (Huawei Cloud); Xin Wang (School of Computer Science, Fudan University; Shanghai Key Laboratory of Intelligent Information Processing, Shanghai, China); Michael R. Lyu (The Chinese University of Hong Kong); Yangfan Zhou (School of Computer Science, Fudan University; National Key Laboratory of Parallel and Distributed Computing, China)
• Flotilla: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant Systems
  Derek Leung, Nickolai Zeldovich, Frans Kaashoek (MIT)
• Arca: An OS Primitive for Function Isolation
  Akshay Srivatsan, Yuhan Deng, Keith Winstein (Stanford University)
• Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10
  Yiqi Liu, Yuqi Xue (University of Illinois Urbana Champaign); Yu Cheng (Peking University and Microsoft Research); Lingxiao Ma (Microsoft Research); Ziming Miao (Microsoft); Jilong Xue (Microsoft Research); Jian Huang (UIUC)
• Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections
  Marcel Wagenländer, Guo Li (Imperial College London); Bo Zhao (Aalto University); Luo Mai (University of Edinburgh); Peter Pietzuch (Imperial College London)
• Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  Yiming Qiu, Patrick Tser Jern Kon (University of Michigan); Ryan Beckett (Microsoft); Ang Chen (University of Michigan)
• Autobahn: Seamless high speed BFT
  Neil Giridharan (UC Berkeley); Florian Suri-Payer (Cornell University)
• EcoScale: Giving Old Servers New Life at Hyperscale
  Jaylen Wang (Carnegie Mellon University); Melissa Z. Pan (UC Berkeley); Udit Gupta (Cornell University); Akshitha Sriraman (Carnegie Mellon University)
• Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection
  Jia Pan, Haoze Wu (Johns Hopkins University); Tanakorn Leesatapornwongsa, Suman Nath (Microsoft Research); Ryan Huang (University of Michigan)
• Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores
  Zhisheng Hu (The Chinese University of Hong Kong); Pengfei Zuo (Huawei Cloud); Yizou Chen, Chao WANG, Junliang HU (The Chinese University of Hong Kong); Ming-Chang Yang (The Chinese University of Hong Kong (CUHK))
• Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability
  Viktor Gsteiger (ETH Zurich); Pin Hong (Daniel) Long, Yiran (Jerry) Sun, Parshan Javanrood, Mohammad Shahrad (University of British Columbia)
• Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution
  Michael Smith (UC San Diego), Abhishek Sharma (University of Texas at Austin), Hovav Shacham (University of Texas at Austin), Ranjit Jhala (UC San Diego), Deian Stefan (UC San Diego)
• TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes
  Jialiang Huang (Tsinghua University, Alibaba Group); Mingxing Zhang (Tsinghua University); Teng Ma (Alibaba Group); Zheng Liu (Zhejiang University, Alibaba Group); Sixing Lin (Tsinghua University, Wuhan University); Kang Chen, Jinlei Jiang, Xia Liao, Yingdi Shan (Tsinghua University); Ning Zhang, Mengting Lu (Alibaba Group); Tao Ma (Alibaba Cloud); Haifeng Gong (Intel); Yongwei Wu (Tsinghua University)
• Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems
  Pierre Tholoniat, Kelly Kostopoulou, Peter McNeely, Prabhpreet Singh Sodhi, Anirudh Varanasi (Columbia University); Benjamin Case (Meta Inc.); Asaf Cidon, Roxana Geambasu (Columbia University); Mathias Lécuyer (University of British Columbia)
• DNS Congestion Control in Adversarial Settings
  Huayi Duan, Jihye Kim, Marc Wyss, Adrian Perrig (ETH Zurich)
• Towards Fast and Power-Efficient System Suspend
  Yussuf Khalil, Felix Zimmer, Fabian Meyer, Frank Bellosa (Karlsruhe Institute of Technology)
• BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance
  Shushu Yi, Shaocong Sun, Li Peng, Yingbo Sun (Peking University); Ming-Chang Yang (The Chinese University of Hong Kong (CUHK)); Zhichao Cao (Arizona State University); Qiao Li (Xiamen University); Myoungsoo Jung (KAIST and Panmnesia); Ke Zhou (Wuhan National Laboratory for Optoelectronics (WNLO) of Huazhong University of Science and Technology (HUST)); Jie Zhang (Peking University)
• Fast Core Scheduling with Userspace Process Abstraction
  Jiazhen lin, Youmin Chen, Shiwei Gao, Youyou Lu (Tsinghua University)
• Skyloft: A General High-Efficient Scheduling Framework in User Space
  Yuekai Jia, Kaifu Tian, Yuyang You (Tsinghua University); Yu Chen (Quan Cheng Laboratory and Tsinghua University); Kang Chen (Tsinghua University)
• SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
  Ashwin Prasad (Indian Institute of Science); Sampath Rajendra, Kaushik Rajan (Microsoft Research); R. Govindarajan (Indian Institute of Science); Uday Bondhugula (Indian Institute of Science and PolyMage Labs)
• BTDefense: A Priority-Aware Adaptive Strategy Against the Block Table Overflow Attack in vLLM
  Yuyan Zhao, Menghao Zhang, Tianyu Wo, Rengyu Yang, Chunming Hu (Beihang University)
• Dirigent: Lightweight Serverless Orchestration
  Lazar Cvetković, François Costa (ETH Zürich); Mihajlo Djokic (IBM Research Europe); Michal Friedman, Ana Klimovic (ETH Zürich)
• Kernel Functions
  Yacqub Mohamed, Robbert van Renesse (Cornell University)
• Demographic Bias in Web Scheduling Systems
  Sara Mahdizadeh Shahri, Akshitha Sriraman (Carnegie Mellon University)
• Unifying serverless and microservice workloads with SigmaOS
  Ariel Szekely (Massachusetts Institute of Technology); Adam Belay (MIT CSAIL); Robert Morris, Frans Kaashoek (MIT)
• Enabling Parallelism Hot Switching for Efficient Training of Large Language Models
  Hao Ge (None); Fangcheng Fu, Haoyang Li, Xuanyu Wang, Sheng Lin, Yujie Wang, Xiaonan Nie, Hailin Zhang (Peking University); Xupeng Miao (Purdue University); Bin Cui (Peking University)
• Tiered Memory Management: Access Latency is the Key!
  Midhul Vuppalapati, Rachit Agarwal (Cornell University)
• Decluttering the data mess in LLM training
  Maximilian Böther, Dan-Ovidiu Graur, Xiaozhe Yao, Ana Klimovic (ETH Zurich)
• LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  Xuhao Luo, Shreesha Gopalakrishna Bhat, Jiyu Hu (University of Illinois Urbana-Champaign); Ramnatthan Alagappan, Aishwarya Ganesan (University of Illinois Urbana-Champaign and VMware Research)
• SWARM: Replicating Shared Disaggregated-Memory Data in No Time
  Antoine Murat, Clément Burgelin (EPFL)
• Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor
  Charly Castes, Neelu Shivprakash Kalani, Sofiaa Saltovskaia, Noé Terrier, Abel Vexina Wilkinson, Edouard Bugnion (EPFL)
• Underconstrained Execution of Device Drivers from Partial Source Code
  Matthew Sotoudeh, Akshay Srivatsan (Stanford University)
• Fast & Safe IO Memory Protection
  Benny Rubin (Cornell University); Saksham Agarwal (UIUC); Qizhe Cai, Rachit Agarwal (Cornell University)
• Fast, Flexible, and Practical Kernel Extensions
  Kumar Kartikeya Dwivedi (EPFL); Rishabh Iyer (UC Berkeley); Sanidhya Kashyap (EPFL)
• Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
  Anish Athalye (Massachusetts Institute of Technology); Henry Corrigan-Gibbs, Frans Kaashoek (MIT); Joseph Tassarotti (NYU); Nickolai Zeldovich (Massachusetts Institute of Technology)
• Verus: A Practical Foundation for Systems Verification
  Andrea Lattuada (MPI-SWS); Travis Hance (Carnegie Mellon University); Jay Bosamiya (Microsoft Research); Matthias Brun (ETH Zurich); Chanhee Cho (Carnegie Mellon University); Hayley LeBlanc (University of Texas at Austin); Pranav Srinivasan (University of Michigan); Reto Achermann (University of British Columbia); Tej Chajed (University of Wisconsin-Madison); Chris Hawblitzel (Microsoft Research); Jon Howell (VMware Research); Jay Lorch (Microsoft Research); Oded Padon (Weizmann Institute of Science); Bryan Parno (Carnegie Mellon University)
• Distributed caches made consistent
  Ziming Mao (UC Berkeley); Atul Adya, Jonathan Ellithorpe (Databricks); Rishabh Iyer (UC Berkeley); Scott Shenker (ICSI AND UC Berkeley); Ion Stoica (UC Berkeley)
• Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
  Siran Liu (Peking University); Chengxiang Qi (University of Chinese Academy of Sciences); Ying Cao (Microsoft Research Asia); Chao Yang (Peking University); Weifang Hu, Xuanhua Shi (Huazhong University of Science and Technology); Fan Yang (Microsoft Research Asia); Mao Yang (Microsoft Research)
• Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions
  Kinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf (Brown University)
• Building a Distributed Database on CXL Memory: Synchronizing Data Accesses Without Networks
  Yibo Huang (UT Austin); Vijay Chidambaram (University of Texas at Austin); Dixin Tang, Emmett Witchel (UT Austin)
• Trustworthy Board Management
  Daniel Schwyn, Timothy Roscoe (ETH Zurich)
• Fundamental OS Design Considerations for CXL-based Hybrid SSDs
  Daniel Habicht, Yussuf Khalil, Lukas Werling, Thorsten Gröninger, Frank Bellosa (Karlsruhe Institute of Technology)
• Improving GPU Utilization with a Zero-Copy Object Store for ML Applications
  Taeklim Kim (The University of Texas at Austin & Hewlett Packard Labs); Sekwon Lee, Sergey Serebryakov, Harumi Kuno, Sharad Singhal (Hewlett Packard Labs); Christopher J. Rossbach (The University of Texas at Austin)
• Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache
  Hojin Park (Carnegie Mellon University); Ziyue Qiu (Carnegie Mellon University, Uber); Greg Ganger, George Amvrosiadis (Carnegie Mellon University)
• Stellux: Exploring Fine-Grain Privilege Access in a Clean-Slate Kernel
  Albert Slepak, Thomas Unger, Jonathan Appavoo (Boston University)
• A Framework for Enabling Realistic Studies of Content Delivery Networks (CDNs)
  Yazhuo Zhang (ETH Zurich); Omer Majeed (Magnition); Juncheng Yang (Harvard University); Ymir Vigfusson (Keystrike); Ana Klimovic (ETH Zurich); Irfan Admed (Magnition))