SOSP 2024 Call for Posters

Important dates

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

Submission Information

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.

Organizers

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)

Poster Program

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