Papers
401 papers found
Using Dynamically Layered Definite Releases for Verifying the RefFS File System
Mo Zou, Dong Du, Mingkai Dong et al.
Validating the eBPF Verifier via State Embedding
Hao Sun, Zhendong Su
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen et al.
When will my ML Job finish? Toward providing Completion Time Estimates through Predictability-Centric Scheduling
Abdullah Bin Faisal, Noah Martin, Hafiz Mohsin Bashir et al.
μSlope: High Compression and Fast Search on Semi-Structured Logs
Rui Wang, Devin Gibson, Kirk Rodrigues et al.
Accountable authentication with privacy protection: The Larch system for universal login
Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs et al.
AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models
Fan Lai, Wei Zhang, Rui Liu et al.
AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving
Zhuohan Li, Lianmin Zheng, Yinmin Zhong et al.
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing
Adil Ahmad, Alex Schultz, Byoungyoung Lee et al.
Automated Verification of Idempotence for Stateful Serverless Applications
Haoran Ding, Zhaoguo Wang, Zhuohao Shen et al.
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing
Jiawei Wang, Bohdan Trach, Ming Fu et al.
Characterizing Off-path SmartNIC for Accelerating Distributed Systems
Xingda Wei, Rongxin Cheng, Yuhan Yang et al.
Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases
Tamer Eldeeb, Xincheng Xie, Philip A. Bernstein et al.
Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback
Romil Bhardwaj, Kirthevasan Kandasamy, Asim Biswal et al.
Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning
Chen Zhang, Lingxiao Ma, Jilong Xue et al.
Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta
Boris Grubic, Yang Wang, Tyler Petrochko et al.
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, Yizhou Shan, Weidong Cui et al.
Defcon: Preventing Overload with Graceful Feature Degradation
Justin J. Meza, Thote Gowda, Ahmed Eid et al.
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
Zu-Ming Jiang, Si Liu, Manuel Rigger et al.
Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators
Jie Zhao, Siyuan Feng, Xiaoqiang Dan et al.
EINNET: Optimizing Tensor Programs with Derivation-Based Transformations
Liyan Zheng, Haojie Wang, Jidong Zhai et al.
Encrypted Databases Made Secure Yet Maintainable
Mingyu Li, Xuyang Zhao, Le Chen et al.
Ensō: A Streaming Interface for NIC-Application Communication
Hugo Sadok, Nirav Atre, Zhipeng Zhao et al.
ExoFlow: A Universal Workflow System for Exactly-Once DAGs
Siyuan Zhuang, Stephanie Wang, Eric Liang et al.
eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs
Jaehong Min, Chenxingyu Zhao, Ming Liu et al.