OSDI '22 Poster Session

OSDI '22 Poster Session and Reception

The following posters will be presented during the Poster Session and Reception on Monday, July 11, 2022, from 6:30 pm–8:00 pm.

Unpublished Work

Posters of unpublished research.

Apiary: A DBMS-Backed Transactional Function-as-a-Service Framework
Qian Li and Peter Kraft, Stanford University

Automatic Compartmentalization of Distributed Protocols
David Chu, UC Berkeley

CheckSync: Using Runtime-Integrated Checkpoints to Achieve High Availability
Nicolaas Kaashoek, Princeton University; Robert Morris, MIT CSAIL

Coda: A Context-Oriented Data Architecture for Data-driven Applications in IoT
Silvery Fu and Amy Ousterhout, UC Berkeley; Steve McCanne, Brim Data; Sylvia Ratnasamy, UC Berkeley

Correct and Performant Device Drivers via Intralingual Design
Ramla Ijaz and Lin Zhong, Yale University

Exoshuffle: Large-Scale Shuffle at the Application Level
Frank Sifei Luan, Stephanie Wang, and Samyukta Yagati, UC Berkeley

Faasten: Rethinking FaaS Security to Promote Accessibility
Yue Tan and Amit Levy, Princeton University

Flexible User Control over Data in Web Applications with Edna
Lillian Tsai, MIT; Hannah Gross, Brown University; Eddie Kohler, Harvard University; Malte Schwarzkopf, Brown University

Formal Verification of the Linux Kernel eBPF Verifier Range Analysis
Sanjit Bhat, MIT & UT Austin; Hovav Shacham, UT Austin

Gaggle: a Private and Consistent Communication Model
Shai Caspin, Natalie Popescu, and Amit Levy, Princeton University

High Velocity Scheduler Development
Samantha Miller, University of Washington; Danyang Zhuo, Duke University; Ang Chen, Rice University; Thomas Anderson, University of Washington

It's a Heterogeneous World and Enzian is a Heterogeneous Platform
Michael Giardino, ETH Zürich

Millenial: Modular Microservices Macrobenchmarks
Vaastav Anand, Antoine Kaufmann, Deepak Garg, and Jonathan Mace, Max Planck Institute for Software Systems (MPI-SWS)

Modular Verification of Distributed Systems with Grove
Upamanyu Sharma and Ralf Jung, Massachusetts Institute of Technology; Joseph Tassarotti, Boston College; Frans Kaashoek and Nickolai Zeldovich, Massachusetts Institute of Technology

On-the-Fly Memory Programming for Largely Unmodified Applications
Sam Kumar, David E. Culler, and Raluca Ada Popa, University of California, Berkeley

Optimizing for Transactional Hit Rate in Web Caches
Audrey Cheng, David Chu, Terrance Li, Natacha Crooks, Joseph M. Hellerstein, and Ion Stoica, UC Berkeley; Xiangyao Yu, University of Wisconsin - Madison

RALF: Accuracy-aware Maintenance for Feature Stores
Sarah Wooders, Simon Mo, Ion Stoica, Joseph M. Hellerstein, Natacha Crooks, and Joseph Gonzalez, UC Berkeley

TC-GNN: Accelerating Sparse Graph Neural Network Computation Via GPU Dense
Tensor Core Yuke Wang, Boyuan Feng, Zheng Wang, and Yufei Ding, University of California, Santa Barbara

The Elephant in the Basement: Hardware in the TCB
Nils Asmussen, Sebastian Haas, and Michael Roitzsch, Barkhausen Institut

ULTIMA: Robust and Tail-Optimal All-Reduce for Distributed Deep Learning
Ertza Warraich and Leonard Liu, Purdue University; Omer Shabtai and Yonatan Piasetzky, NVIDIA; Shay Vargaftik, VMware Research; Matty Kadosh, NVIDIA; Lalith Suresh, VMware Research; Muhammad Shahbaz, Purdue University

Understanding the Overheads of Modern Isolation Mechanisms
Zhaofeng Li, Xiangdong Chen, and Vikram Narayanan, University of California, Irvine; Anton Burtsev, University of Utah

Verus -- SMT-based verification of low-level systems code
Andrea Lattuada, ETH Zurich; Chris Hawblitzel, Microsoft Research; Chanhee Cho, Yi Zhou, and Bryan Parno, Carnegie Mellon University; Jon Howell, VMware Research

Published Work

Posters of papers published at OSDI '22.

Jawa: Web Archival in the Era of JavaScript
Ayush Goel and Jingyuan Zhu, University of Michigan; Ravi Netravali, Princeton University; Harsha V. Madhyastha, University of Michigan

Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization
Colin Unger, Stanford University; Zhihao Jia, Carnegie Mellon University and Meta; Wei Wu, Los Alamos National Laboratory and NVIDIA; Sina Lin, Microsoft; Mandeep Baines and Carlos Efrain Quintero Narvaez, Meta; Vinay Ramakrishnaiah, Nirmal Prajapati, Pat McCormick, and Jamaludin Mohd-Yusof, Los Alamos National Laboratory; Xi Luo, SLAC National Accelerator Laboratory; Dheevatsa Mudigere, Jongsoo Park, and Misha Smelyanskiy, Meta; Alex Aiken, Stanford University

Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning
Lianmin Zheng, Zhuohan Li, and Hao Zhang, UC Berkeley; Yonghao Zhuang, Shanghai Jiao Tong University; Zhifeng Chen and Yanping Huang, Google; Yida Wang, Amazon Web Services; Yuanzhong Xu, Google; Danyang Zhuo, Duke University; Eric P. Xing, MBZUAI and Carnegie Mellon University; Joseph E. Gonzalez and Ion Stoica, UC Berkeley

Application-Informed Kernel Synchronization Primitives
Sujin Park, Georgia Tech; Diyu Zhou and Yuchen Qian, EPFL; Irina Calciu, Graft; Taesoo Kim, Georgia Tech; Sanidhya Kashyap, EPFL

Automatic Reliability Testing For Cluster Management Controllers
Xudong Sun, Wenqing Luo, and Jiawei Tyler Gu, University of Illinois at Urbana-Champaign; Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, and Lalith Suresh, VMware; Tianyin Xu, University of Illinois at Urbana-Champaign

BlockFlex: Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms
Benjamin Reidys and Jinghan Sun, University of Illinois at Urbana-Champaign; Anirudh Badam and Shadi Noghabi, Microsoft Research; Jian Huang, University of Illinois at Urbana-Champaign

Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures
Utsav Sethi and Haochen Pan, University of Chicago; Shan Lu, University of Chicago and Microsoft; Madanlal Musuvathi and Suman Nath, Microsoft Research

CAP-VMs: Capability-Based Isolation and Sharing in the Cloud
Vasily A. Sartakov and Lluís Vilanova, Imperial College London; David Eyers, University of Otago; Takahiro Shinagawa, The University of Tokyo; Peter Pietzuch, Imperial College London

Carbink: Fault-Tolerant Far Memory
Yang Zhou, Harvard University; Hassan M. G. Wassel, Google; Sihang Liu, University of Virginia; Jiaqi Gao and James Mickens, Harvard University; Minlan Yu, Harvard University and Google; Chris Kennelly, Paul Turner, and David E. Culler, Google; Henry M. Levy, University of Washington and Google; Amin Vahdat, Google

Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
Chang Lou, Yuzhuo Jing, and Peng Huang, Johns Hopkins University

DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
Jianan Yao, Runzhou Tao, Ronghui Gu, and Jason Nieh, Columbia University

DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs
Xinwei Fu, Virginia Tech; Dongyoon Lee, Stony Brook University; Changwoo Min, Virginia Tech

Ekko: A Large-Scale Deep Learning Recommender System with Low-Latency Model Update
Chijun Sima, Tencent; Yao Fu and Man-Kit Sit, The University of Edinburgh; Liyi Guo, Xuri Gong, Feng Lin, Junyu Wu, Yongsheng Li, and Haidong Rong, Tencent; Pierre-Louis Aublin, IIJ research laboratory; Luo Mai, The University of Edinburgh

Hubble: Performance Debugging with In-Production, Just-In-Time Method Tracing on Android
Yu Luo and Kirk Rodrigues, University of Toronto; Cuiqin Li, Feng Zhang, Lijin Jiang, and Bing Xia, Huawei Technologies Co., Ltd.; David Lion and Ding Yuan, University of Toronto

KSplit: Automating Device Driver Isolation
Yongzhe Huang, Pennsylvania State University; Vikram Narayanan and David Detweiler, University of California, Irvine; Kaiming Huang, Gang Tan, and Trent Jaeger, Pennsylvania State University; Anton Burtsev, University of California, Irvine, and University of Utah

ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory
Wonbae Kim, UNIST; Chanyeol Park, Sungkyunkwan University and Naver; Dongui Kim, Sungkyunkwan University and Line; Hyeongjun Park, Sungkyunkwan University; Young-ri Choi, UNIST; Alan Sussman, University of Maryland, College Park; Beomseok Nam, Sungkyunkwan University

Metastable Failures in the Wild
Lexiang Huang, The Pennsylvania State University; Twitter; Matthew Magnusson and Abishek Bangalore Muralikrishna, University of New Hampshire; Salman Estyak, The Pennsylvania State University; Rebecca Isaacs, Twitter; Abutalib Aghayev and Timothy Zhu, The Pennsylvania State University; Aleksey Charapko, University of New Hampshire

Occualizer: Optimistic Concurrent Search Trees From Sequential Code
Tomer Shanny and Adam Morrison, Tel Aviv University

ODINFS: Scaling PM Performance with Opportunistic Delegation
Diyu Zhou, Yuchen Qian, Vishal Gupta, and Zhifei Yang, EPFL; Changwoo Min, Virginia Tech; Sanidhya Kashyap, EPFL

Operating System Support for Safe and Efficient Auxiliary Execution
Yuzhuo Jing and Peng Huang, Johns Hopkins University

Orca: A Distributed Serving System for Transformer-Based Generative Models
Gyeong-In Yu and Joo Seong Jeong, Seoul National University; Geon-Woo Kim, FriendliAI and Seoul National University; Soojeong Kim, FriendliAI; Byung-Gon Chun, FriendliAI and Seoul National University

ORION and the Three Rights: Sizing, Bundling, and Prewarming for Serverless DAGs
Ashraf Mahgoub and Edgardo Barsallo Yi, Purdue University; Karthick Shankar, Carnegie Mellon University; Sameh Elnikety, Microsoft Research; Somali Chaterji and Saurabh Bagchi, Purdue University

Practically Correct, Just-in-Time Shell Script Parallelization
Konstantinos Kallas, University of Pennsylvania; Tammam Mustafa, MIT CSAIL; Jan Bielak, XIV Staszic High School; Dimitris Karnikis, Aarno Labs; Thurston H.Y. Dang, MIT CSAIL; Michael Greenberg, Stevens Institute of Technology; Nikos Vasilakis, MIT CSAIL

RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud Infrastructure
Chang Lou, Johns Hopkins University; Cong Chen, Microsoft Azure; Peng Huang, Johns Hopkins University; Yingnong Dang, Microsoft Azure; Si Qin, Microsoft Research; Xinsheng Yang, Meta; Xukun Li, Microsoft Azure; Qingwei Lin, Microsoft Research; Murali Chintalapati, Microsoft Azure

Verifying Hardware Security Modules with Information-Preserving Refinement
Anish Athalye, M. Frans Kaashoek, and Nickolai Zeldovich, MIT CSAIL

Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
Tej Chajed, MIT CSAIL; Joseph Tassarotti, Boston College; Mark Theng, M. Frans Kaashoek, and Nickolai Zeldovich, MIT CSAIL

XRP: In-Kernel Storage Functions with eBPF
Yuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao, Evan Mesterhazy, Michael Makris, and Junfeng Yang, Columbia University; Amy Tai, Google; Ryan Stutsman, University of Utah; Asaf Cidon, Columbia University

zIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO
Timothy Stamler, Deukyeon Hwang, and Amanda Raybuck, UT Austin; Wei Zhang, Microsoft; Simon Peter, University of Washington

Tiger: Disk-Adaptive Redundancy Without Placement Restrictions
Saurabh Kadekodi, Google; Francisco Maturana and Sanjith Athlur, Carnegie Mellon University; Arif Merchant, Google; K. V. Rashmi and Gregory R. Ganger, Carnegie Mellon University

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
Yaniv David, Columbia University; Xudong Sun, Nanjing University; Raphael J. Sofaer, Columbia University; Aditya Senthilnathan, IIT, Delhi; Junfeng Yang, Columbia University; Zhiqiang Zuo, Nanjing University; Guoqing Harry Xu, UCLA; Jason Nieh and Ronghui Gu, Columbia University