Papers
401 papers found
ShRing: Networking with Shared Receive Rings
Boris Pismenny, Adam Morrison, Dan Tsafrir
SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory
Xuchuan Luo, Pengfei Zuo, Jiacheng Shen et al.
Spoq: Scaling Machine-Checkable Systems Verification in Coq
Xupeng Li, Xuheng Li, Wei Qiang et al.
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers
Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman et al.
Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate
Audrey Cheng, David Chu, Terrance Li et al.
Triangulating Python Performance Issues with SCALENE
Emery D. Berger, Sam Stern, Juan Altmayer Pizzorno et al.
Userspace Bypass: Accelerating Syscall-intensive Applications
Zhe Zhou, Yanxiang Bi, Junpeng Wan et al.
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
Qianxi Zhang, Shuotao Xu, Qi Chen et al.
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma et al.
Welder: Scheduling Deep Learning Memory Access via Tile-graph
Yining Shi, Zhi Yang, Jilong Xue et al.
Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning
Lianmin Zheng, Zhuohan Li, Hao Zhang et al.
Application-Informed Kernel Synchronization Primitives
Sujin Park, Diyu Zhou, Yuchen Qian et al.
Automatic Reliability Testing For Cluster Management Controllers
Xudong Sun, Wenqing Luo, Jiawei Tyler Gu et al.
BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems
Alexander Van't Hof, Jason Nieh
Blockaid: Data Access Policy Enforcement for Web Applications
Wen Zhang, Eric Sheng, Michael Chang et al.
BlockFlex: Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms
Benjamin Reidys, Jinghan Sun, Anirudh Badam et al.
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures
Utsav Sethi, Haochen Pan, Shan Lu et al.
CAP-VMs: Capability-Based Isolation and Sharing in the Cloud
Vasily A. Sartakov, Lluís Vilanova, David Eyers et al.
Carbink: Fault-Tolerant Far Memory
Yang Zhou, Hassan M. G. Wassel, Sihang Liu et al.
Debugging the OmniTable Way
Andrew Quinn, Jason Flinn, Michael Cafarella et al.
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
Chang Lou, Yuzhuo Jing, Peng Huang
Design and Verification of the Arm Confidential Compute Architecture
Xupeng Li, Xuheng Li, Christoffer Dall et al.
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
Jianan Yao, Runzhou Tao, Ronghui Gu et al.
DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs
Xinwei Fu, Dongyoon Lee, Changwoo Min
Efficient and Scalable Graph Pattern Mining on GPUs
Xuhao Chen, Arvind