Accepted Posters

Final Poster Instructions

Poster panels will accommodate posters up to 120 cm (height) × 90 cm (width). Please ensure your poster fits within this space. We recommend printing in A0 size (portrait orientation), but any dimensions within the given limits are acceptable.

The following posters will appear at the SOSP 2025 Poster session:


Accepted Research Papers

  • Device-Assisted Live Migration of RDMA Devices
    Artem Y. Polyakov, Gal Shalom, Asaf Schwartz, Aviad Yehezkel, Omri Ben David, Omri Kahalon, Ariel Shahar, Liran Liss (NVIDIA Corporation)
  • eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle
    Tao Lyu, Kumar Kartikeya Dwivedi, Thomas Bourgeat, Mathias Payer (EPFL), Meng Xu (University of Waterloo), Sanidhya Kashyap (EPFL)
  • Pesto: Cooking up High Performance BFT Queries
    Florian Suri-Payer (Cornell University), Neil Giridharan (UC Berkeley), Liam Arzola (UC San Diego), Shir Cohen, Lorenzo Alvisi (Cornell University), Natacha Crooks (UC Berkeley)
  • Moirai: Optimizing Placement of Data and Compute in Hybrid Clouds
    Ziyue Qiu, Hojin Park (Carnegie Mellon University), Jing Zhao, Yu-Kai Wang, Arnav Balyan, Gurmeet Singh, Yangjun Zhang, Suqiang (Jack) Song (Uber), Gregory R. Ganger, George Amvrosiadis (Carnegie Mellon University)
  • Unlocking True Elasticity for the Cloud-Native Era with Dandelion
    Tom Kuchler, Pinghe Li, Yazhuo Zhang, Lazar Cvetković, Boris Goranov, Tobias Stocker, Leon Thomm, Simone Kalbermatter, Tim Notter (ETH Zurich), Andrea Lattuada (MPI-SWS), Ana Klimovic (ETH Zurich)
  • Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems
    Seung-seob Lee, Jachym Putta (Yale University), Ziming Mao (UC Berkeley), Anurag Khandelwal (Yale University)
  • Scalable Address Spaces using Concurrent Interval Skiplist
    Tae Woo Kim, Youngjin Kwon (KAIST), Jeehoon Kang (KAIST / FuriosaAI)
  • Proto: A Guided Journey through Modern OS Construction
    Wonkyo Choe, Rongxiang Wang, Afsara Benazir, Felix Xiaozhu Lin (University of Virginia)
  • Pie: A Programmable Serving System for Emerging LLM Applications
    In Gim, Zhiyao Ma, Seung-seob Lee, Lin Zhong (Yale University)
  • Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
    Chuandong Li (Peking University and Zhongguancun Laboratory), Ran Yi (Peking University), Zonghao Zhang (Peking University and Zhongguancun Laboratory), Jing Liu (Microsoft Research), Changwoo Min (Igalia), Jie Zhang, Yingwei Luo, Xiaolin Wang (Peking University and Zhongguancun Laboratory), Zhenlin Wang (Michigan Tech), Diyu Zhou (Peking University)
  • Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor
    Kayvan Memarian, Ben Simner, David Kaloper-Meršinjak, Thibaut Pérami, Peter Sewell (University of Cambridge)
  • LithOS: An Operating System for Efficient Machine Learning on GPUs
    Patrick H. Coppock, Brian Zhang, Eliot H. Solomon, Vasileios Kypriotis (Carnegie Mellon University), Leon Yang, Bikash Sharma, Dan Schatzberg (Meta), Todd C. Mowry, Dimitrios Skarlatos (Carnegie Mellon University)
  • WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations
    Yage Hu, Wen Zhang, Botang Xiao, Qingchen Kong, Boyang Yi, Suxin Ji, Songlan Wang, Wenwen Wang (University of Georgia)
  • cache_ext: Customizing the Page Cache with eBPF
    Tal Zussman, Ioannis Zarkadas, Jeremy Carin, Andrew Cheng (Columbia University), Hubertus Franke, Jonas Pfefferle (IBM Research), Asaf Cidon (Columbia University)
  • Atmosphere: Practical Verified Kernels with Rust and Verus
    Xiangdong Chen, Zhaofeng Li, Jerry Zhang (University of Utah), Vikram Narayanan (Palo Alto Networks), Anton Burtsev (University of Utah)
  • AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
    Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu (Stony Brook University)
  • Jenga: Effective Memory Management for Serving LLM with Heterogeneity
    Chen Zhang (Tsinghua University & UC Berkeley), Kuntai Du (University of Chicago), Shu Liu, Woosuk Kwon, Xiangxi Mo (UC Berkeley), Yufeng Wang (Independent Researcher), Xiaoxuan Liu (UC Berkeley), Kaichao You (Tsinghua University), Zhuohan Li (UC Berkeley), Mingsheng Long, Jidong Zhai (Tsinghua University), Joseph Gonzalez, Ion Stoica (UC Berkeley)
  • Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks
    Jiacheng Ma (EPFL), Jonas Kaufmann (Max Planck Institute for Software Systems (MPI-SWS)), Emilien Guandalino (EPFL), Rishabh Iyer (UC Berkeley), Thomas Bourgeat, George Candea (EPFL)
  • Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation
    Jonguk Jeon, Subeen Park (KAIST), Sanidhya Kashyap (EPFL), Sudarsun Kannan (Rutgers University), Diyu Zhou (Peking University), Jeehoon Kang (KAIST / FuriosaAI)
  • The Design and Implementation of a Virtual Firmware Monitor
    Charly Castes (EPFL), François Costa (ETH Zurich), Neelu S. Kalani (EPFL), Timothy Roscoe (ETH Zurich), Nate Foster (Cornell and Jane Street), Thomas Bourgeat, Edouard Bugnion (EPFL)
  • KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
    Chenyuan Yang, Zijie Zhao (University of Illinois at Urbana-Champaign), Zichen Xie (Zhejiang University), Haoyu Li (Shanghai Jiao Tong University), Lingming Zhang (University of Illinois at Urbana-Champaign)
  • IC-Cache: Efficient Large Language Model Serving via In-context Caching
    Yifan Yu (University of Illinois Urbana-Champaign), Yu Gan, Nikhil Sarda, Lillian Tsai, Jiaming Shen, Yanqi Zhou (Google), Arvind Krishnamurthy (Google/Univ. of Washington), Fan Lai (University of Illinois Urbana-Champaign), Hank Levy (Google/Univ. of Washington), David Culler (Google)
  • Running Consistent Applications Closer to Users with Radical for Lower Latency
    Nicolaas Kaashoek (Princeton University), Oleg A. Golev (Sentient Foundation), Austin T. Li (Cornell University), Amit Levy, Wyatt Lloyd (Princeton University)
  • Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation
    Chenxiao Liu (University of Chinese Academy of Sciences), Zhenting Zhu (UCLA), Quanxi Li, Yanwen Xia (University of Chinese Academy of Sciences), Yifan Qiao (UC Berkeley), Xiangyun Deng (Peking University), Youyou Lu (Tsinghua University), Tao Xie (Peking University), Huimin Cui, Zidong Du (University of Chinese Academy of Sciences), Harry Xu (UCLA), Chenxi Wang (University of Chinese Academy of Sciences)
  • ORQ: Complex Analytics on Private Data with Strong Security Guarantees
    Eli Baum, Sam Buxbaum (Boston University), Nitin Mathai (The University of Texas at Austin), Muhammad Faisal, Vasiliki Kalavri, Mayank Varia, John Liagouris (Boston University)
  • PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications
    Kuntai Du (University of Chicago / TensorMesh, Inc.), Bowen Wang, Chen Zhang (Tsinghua University / UC Berkeley), Yiming Cheng (University of Chicago), Qing Lan, Hejian Sang (LinkedIn), Yihua Cheng, Jiayi Yao (University of Chicago / TensorMesh, Inc.), Xiaoxuan Liu, Yifan Qiao, Ion Stoica (UC Berkeley), Junchen Jiang (University of Chicago / TensorMesh, Inc.)
  • Mitigating Application Resource Overload with Targeted Task Cancellation
    Yigong Hu (Boston University), Zeyin Zhang (Johns Hopkins University), Yicheng Liu (University of Michigan & University of California, Los Angeles), Yile Gu (University of Washington), Shuangyu Lei (University of Michigan), Baris Kasikci (University of Washington), Peng Huang (University of Michigan)
  • CortenMM: Efficient Memory Management with Strong Correctness Guarantees
    Junyang Zhang (Peking University and Zhongguancun Laboratory), Xiangcan Xu, Yonghao Zou (Peking University), Zhe Tang (Peking University and Zhongguancun Laboratory), Xinyi Wan (Ant Group), Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang (Peking University and Zhongguancun Laboratory), Hao Chen (CertiK), Lin Huang, Shoumeng Yan (Ant Group), Yuval Tamir (UCLA), Yingwei Luo, Xiaolin Wang, Huashan Yu (Peking University and Zhongguancun Laboratory), Zhenlin Wang (Michigan Tech), Hongliang Tian (Ant Group), Diyu Zhou (Peking University)
  • TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
    Louis-Henri Merino (EPFL), Simone Colombo (King's College London), Rene Reyes (Boston University), Alaleh Azhir (Harvard University), Shailesh Mishra, Pasindu Tennage (EPFL), Mohammad Amin Raeisi (Yale University), Haoqian Zhang, Jeff R. Allen (EPFL), Bernhard Tellenbach (Armasuisse), Vero Estrada-Galiñanes, Bryan Ford (EPFL)
  • Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters
    Foteini Strati, Zhendong Zhang, George Manos (ETH Zurich), Ixeia Sánchez Périz (unaffiliated), Qinghao Hu (MIT), Tiancheng Chen (ETH Zurich), Berk Buzcu (HES-SO), Song Han (MIT), Pamela Delgado (HES-SO), Ana Klimovic (ETH Zurich)
  • Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs
    Pedro F. Silvestre, Peter Pietzuch (Imperial College London)
  • Scalable Far Memory: Balancing Faults and Evictions
    Yueyang Pan (EPFL), Yash Lala (Yale University), Musa Unal, Yujie Ren (EPFL), Seung-seob Lee, Abhishek Bhattacharjee, Anurag Khandelwal (Yale University), Sanidhya Kashyap (EPFL)
  • KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models
    Hongtao Chen, Weiyu Xie, Boxin Zhang (Tsinghua University), Jingqi Tang (Approaching.AI), Jiahao Wang (Approaching.Al, Hangzhou Dianzi University), Jianwei Dong, Shaoyuan Chen (Tsinghua University), Ziwei Yuan (Approaching.AI, University of Electronic Science and Technology of China), Chen Lin, Chengyu Qiu, Yuening Zhu (Tsinghua University), Qingliang Ou (Approaching.AI, Beijing University of Posts and Telecommunications), Jiaqi Liao (Approaching.AI, Beijing Institute of Technology), Xianglin Chen, Zhiyuan Ai (Approaching.AI), Yongwei Wu, Mingxing Zhang (Tsinghua University)
  • CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
    Saar Amar (Apple), Tony Chen (Microsoft), David Chisnall, Nathaniel Wesley Filardo (SCI Semiconductor), Ben Laurie (Google), Hugo Lefeuvre (The University of British Columbia), Kunyan Liu (Microsoft), Simon W. Moore (University of Cambridge), Robert Norton-Wright (SCI Semiconductor), Margo Seltzer (The University of British Columbia), Yucong Tao (Microsoft), Robert N. M. Watson (University of Cambridge), Hongyan Xia (ARM Ltd.)
  • Coyote v2: Raising the Level of Abstraction for Data Center FPGAs
    Benjamin Ramhorst (ETH Zurich), Dario Korolija (AMD Research), Maximilian Jakob Heer, Jonas Dann, Luhao Liu, Gustavo Alonso (ETH Zurich)
  • COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
    Suhas Jayaram Subramanya (Microsoft), Don Kurian Dennis (Meta), Virginia Smith, Gregory R. Ganger (Carnegie Mellon University)
  • SAND: A New Programming Abstraction for Video-based Deep Learning
    Juncheol Ye, Seungkook Lee, Hwijoon Lim (KAIST), JiHyuk Lee (Chung-Ang unversity), Uitaek Hong, Youngjin Kwon, Dongsu Han (KAIST)
  • Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
    Yangtao Deng (The Chinese University of Hong Kong), Lei Zhang (ByteDance), Qinlong Wang, Xiaoyun Zhi (ByteDance Seed), Xinlei Zhang, Zhuo Jiang, Haohan Xu, Lei Wang (ByteDance), Zuquan Song, Gaohong Liu (ByteDance Seed), Yang Bai (ByteDance), Shuguang Wang, Wencong Xiao (ByteDance Seed), Jianxi Ye (ByteDance), Minlan Yu (Harvard University), Hong Xu (The Chinese University of Hong Kong)
  • TrainVerify: Equivalence-Based Verification for Distributed LLM Training
    Yunchi Lu (University of Michigan), Youshan Miao (Microsoft Research), Cheng Tan (Northeastern University), Peng Huang (University of Michigan), Yi Zhu, Xian Zhang, Fan Yang (Microsoft Research)
  • FlexGuard: Fast Mutual Exclusion Independent of Subscription
    Victor Laforet (Inria), Sanidhya Kashyap (EPFL), Călin Iorgulescu (Oracle Labs), Julia Lawall, Jean-Pierre Lozi (Inria)
  • Loom: Efficient Capture and Querying of High-Frequency Telemetry
    Franco Solleza (Brown University), Shihang Li (University of Washington), William Sun, Richard Tang, Malte Schwarzkopf (Brown University), Andrew Crotty (Northwestern University), David Cohen (Intel), Nesime Tatbul (Intel Labs and MIT), Stan Zdonik (Brown University)
  • Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
    Jinkun Geng (Stanford University), Shuai Mu (Stony Brook University), Anirudh Sivaraman (New York University), Balaji Prabhakar (Stanford University)
  • TickTock: Verified Isolation in a Production Embedded OS
    Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, Ranjit Jhala (University of California, San Diego)
  • Optimistic Recovery for High-Availability Software via Partial Process State Preservation
    Yuzhuo Jing, Yuqi Mai, Angting Cai, Yi Chen, Wanning He, Xiaoyang Qian, Peter M. Chen, Peng Huang (University of Michigan)
  • μFork: Supporting POSIX fork Within a Single-Address-Space OS
    John Alistair Kressel (The University of Manchester), Hugo Lefeuvre (The University of British Columbia), Pierre Olivier (The University of Manchester)
  • Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the Market
    Yuxing Xiang (Peking University), Xue Li (Alibaba Group), Kun Qian (Alibaba Group), Yufan Yang (Alibaba Group), Diwen Zhu (Alibaba Group), Wenyuan Yu (Alibaba Group), Ennan Zhai (Alibaba), Xuanzhe Liu (Peking University), Xin Jin (Peking University), Jingren Zhou (Alibaba Group)
  • DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism
    Chenyu Jiang (The University of Hong Kong), Zhenkun Cai (Amazon Web Services, Inc.), Ye Tian (The University of Hong Kong), Zhen Jia, Yida Wang (Amazon Web Services, Inc.), Chuan Wu (The University of Hong Kong)
  • Robust LLM Training Infrastructure at ByteDance
    Borui Wan (The University of Hong Kong), Gaohong Liu, Zuquan Song, Jun Wang, Yun Zhang (ByteDance Seed), Guangming Sheng (The University of Hong Kong), Shuguang Wang, Houmin Wei, Chenyuan Wang, Weiqiang Lou, Xi Yang, Mofan Zhang, Kaihua Jiang, Cheng Ren, Xiaoyun Zhi, Menghan Yu, Zhuolin Zheng, Zhe Nan, Baoquan Zhong, Qinlong Wang, Huan Yu, Jinxin Chi, Wang Zhang, Yuhan Li, Zixian Du, Sida Zhao, Yongqiang Zhang, Jingzhe Tang, Zherui Liu (ByteDance Seed), Chuan Wu (The University of Hong Kong), Yanghua Peng, Haibin Lin, Wencong Xiao, Xin Liu, Liang Xiang (ByteDance Seed)

Accepted Posters

  • Towards Fast, Centralized RDMA-based Lock Management with Commodity NICs
    Jeongeun Kim (Sungshin Women's University), Zhuolong Yu (Microsoft), Gyuyeong Kim (Sungshin Women's University)
  • Hardening Java Applications against ECC-uncorrectable Memory Errors
    Kosuke Okazaki (TUAT), Hiroshi Yamada (TUAT)
  • Performance Impact of Bounds Checks in Rust Loops
    Shunsuke Okawa (Kogakuin University), Saneyasu Yamaguchi (Kogakuin University)
  • Semantic-Aware Prefetching for Short-Form Video
    Changjin Lee (Kangwon National University), HyeongJoon Kim (Kangwon National University), Dayoung Lee (Kangwon National University)
  • Rethinking Web Cache Design for the AI Era
    Yazhuo Zhang (ETH Zurich), Jinqing Cai (ETH Zurich), Avani Wildani (Cloudflare Research), Ana Klimovic (ETH Zurich)
  • QubitStore: Quantum Superposition-Based Conditional Storage System for Hybrid Memory Architectures
    Junsik Moon (Sangmyung University), Kyoungyul Bae (Sogang University), Moonki Cho (Hanyang University)
  • Accelerating Filesystem Garbage Collection for Zoned Flash Storage
    Juwon Kim (KAIST), Hwanseok Yoo (KAIST), Youjip Won (Korea Advanced Institute of Science and Technology)
  • Memory Fit: Architectural Support for Page Placement in Heterogeneous Memories
    Chun Deng (Stanford University), Anna Eaton (Stanford University), Evan Laufer (Stanford University), Philip Levis (Stanford University), Tsachy Weissman (Stanford University)
  • Balancing Distributed Key-Value Stores with Low-Overhead Commodity Caching
    Nakyung Lee (Sungshin Women's University), Eunjae Jo (Sungshin Women‘s University), Yeon-sup Lim (Sungshin Women's University), Gyuyeong Kim (Sungshin Women's University)
  • Lightweight Sidecar-based Service Mesh for Serverless
    Lazar Cvetković (ETH Zurich), Ana Klimovic (ETH Zurich)
  • ADPMoE: Adaptive Parallelism for Serving Large Mixture-of-Expert Models
    Shaoyu Wang (University of Southern California), Chong Li (Amazon), Seo Jin Park (University of Southern California)
  • Transparent DAX Mappings: Towards Automatic Kernel Bypass with CXL-Based Hybrid SSDs
    Yussuf Khalil (Samsung, Karlsruhe Institute of Technology), Daniel Habicht (Karlsruhe Institute of Technology), Pascal Ellinger (Karlsruhe Institute of Technology), Frank Bellosa (Karlsruhe Institute of Technology), Javier Gonzalez (Samsung), Adam Manzanares (Samsung), Vivek Shah (Samsung)
  • Mainframe-style channel controllers for modern disaggregated memory systems
    Zikai Liu (ETH Zurich), Timothy Roscoe (ETH Zurich)
  • Energy-aware Coroutine Scheduling via Core Consolidation
    Bonmoo Koo (KAIST), Seung Won Yoo (KAIST), Dohyun Kim (KAIST), Youjip Won (Korea Advanced Institute of Science and Technology)
  • Quantitative Performance Verification of Schedulers With Probabilistic Programming
    Jingyuan Chen (Princeton University), Amit Levy (Princeton University)
  • NEOS: Neural Exploration of the Operating System
    Aditya Tewari (University of Texas at Austin), Patrick Kenney (University of Texas at Austin, Corvic), Darius Grassi (The University of Texas at Austin), Anish Palakurthi (The University of Texas at Austin), Uzair Nawaz (The University of Texas at Austin), Saurabh Agarwal (University of Texas-Austin), Aditya Akella (UT Austin), Christopher J. Rossbach (UT Austin and Microsoft)
  • Toward Push-Button Verification of Page Table Management Code in Commodity Operating Systems
    Yi-Fan Lin (National Taiwan University), Yu-Fang Chen (Academia Sinica, Taiwan), Shih-Wei Li (National Taiwan University)
  • Coverage-Based Debloating of Linux Kernel Configurations for Real Machine Environments
    Yoshifumi Shu (Nagoya University), Takaaki Fukai (National Institute of Advanced Industrial Science and Technology), Takahiro Shinagawa (The University of Tokyo), Yoshifumi Shu (Nagoya University)
  • Manycore Scalability of Modern Log-Structured Filesystem: Revisited
    Hwanseok Yoo (KAIST), Juwon Kim (KAIST), Youjip Won (Korea Advanced Institute of Science and Technology)
  • Beyond Heuristics: Learning-Guided Multi-Gen LRU Aging in Linux
    Zhanbo Wang (Operating System Group, Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences)
  • Resilient Page Table Management under ECC-uncorrectable Memory Errors
    Kazuki Takeda (TUAT), Hiroshi Yamada (TUAT)
  • Proactive Page Reclamation for Variable Data Intensity
    Rodopi Kosteli (University of Ioannina Greece), Stergios V. Anastasiadis (University of Ioannina Greece)
  • Conserving SmartNIC Memory Bandwidth with Flow-Based Addressing
    Hui Sub Shim (Stanford University), Agur Adams (Stanford University), Colin Drewes (Stanford University), Ben O'Keefe (Stanford University), Philip Levis (Stanford University and Google), Zakir Durumeric (Stanford University)
  • EAPI: Energy Specification Kernel API
    Seung Won Yoo (KAIST), Bonmoo Koo (KAIST), Dohyun Kim (KAIST), Youjip Won (Korea Advanced Institute of Science and Technology)
  • Toward Process-Level TEEs with OS Compatibility and Minimal TCB
    Guojun Wu (The University of Tokyo), Keisuke Iida (The University of Tokyo), Satoru Takekoshi (The University of Tokyo), Takahiro Shinagawa (The University of Tokyo)
  • Libra: One-Shot Parameter Sensitivity Estimation for Transfer Learning in Database Performance Prediction
    Tatsuhiro Nakamori (Keio University), Hideyuki Kawashima (Keio University)
  • Extensible Interfaces For Agentic Tools
    Mingyu Li (Institute of Software, Chinese Academy of Sciences), Yuan Wang (Institute of Software, Chinese Academy of Sciences), Shicheng Deng (Institute of Software, Chinese Academy of Sciences)
  • Redwood: Fast, Scalable, Robust, and Fair, Byzantine Fault Tolerant Ordering
    Timothée Zerbib (Brown University), Neil Giridharan (UC Berkeley), Micah Murray (UC Berkeley), Adriana Szekeres (Microsoft Research), Malte Schwarzkopf (Brown University), Natacha Crooks (UC Berkeley)
  • Practical Network Synchrony for Building Efficient Distributed Protocols
    Yiliang Wan (National University of Singapore), Nitin Shivaraman (Institute of High Performance Computing, A*STAR), Akshaye Shenoi (ETH Zurich), Xiang Liu (National University of Singapore), Tao Luo (Institute of High Performance Computing, A*STAR), Jialin Li (National University of Singapore)
  • Declarative Stack for Cloud Data Analytics
    Pinghe Li (ETH Zurich), Tom Kuchler (ETH Zurich), Marko Kabić (ETH Zürich), Gustavo Alonso (ETH Zurich), Ana Klimovic (ETH Zurich)
  • Towards Memory Specialization: A Case for Long-Term and Short-Term RAM
    Peijing Li (Stanford University), Muhammad Shahir Abdurrahman (Stanford University), Rachel Cleaveland (Stanford University), Sergey Legtchenko (Microsoft Research), Philip Levis (Stanford University and Google), Ioan Stefanovici (Microsoft Research), Thierry Tambe (Stanford University), David Tennenhouse (National Science Foundation), Caroline Trippel (Stanford), H. -S Philip Wong (Stanford University)
  • Bringing Clarity to Chaos: A Deeper Look at Sparse Attention in Video Models
    ShiCheng Deng (Institute of Software, Chinese Academy of Sciences), Mingyu Li (Institute of Software, Chinese Academy of Sciences)
  • Niyama: Breaking the Silos of LLM Inference Serving
    Kanishk Goel (Microsoft Research India), Jayashree Mohan (Microsoft Research), Nipun Kwatra (Microsoft Research India), Ravi Anupindi (Microsoft), Ram Ramjee (Microsoft Research India)

ACM TOCS Invited Paper

  • Diciclo: Flexible User-Level Services for Efficient Multitenant Isolation
    Giorgos Kappes, Stergios V. Anastasiadis(University of Ioannina)

Student Research Competition (SRC) Posters

  • TBD