Papers
401 papers found
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization
Colin Unger, Zhihao Jia, Wei Wu et al.
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
Yaniv David, Xudong Sun, Raphael J. Sofaer et al.
Verifying Hardware Security Modules with Information-Preserving Refinement
Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
Tej Chajed, Joseph Tassarotti, Mark Theng et al.
Walle: An End-to-End, General-Purpose, and Large-Scale Production System for Device-Cloud Collaborative Machine Learning
Chengfei Lv, Chaoyue Niu, Renjie Gu et al.
XRP: In-Kernel Storage Functions with eBPF
Yuhong Zhong, Haoyu Li, Yu Jian Wu et al.
zIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO
Timothy Stamler, Deukyeon Hwang, Amanda Raybuck et al.
Addra: Metadata-private voice communication over fully untrusted infrastructure
Ishtiyaque Ahmad, Yuntian Yang, Divyakant Agrawal et al.
Beyond malloc efficiency to fleet efficiency: a hugepage-aware memory allocator
A.H. Hunter, Chris Kennelly, Paul Turner et al.
Bringing Decentralized Search to Decentralized Services
Mingyu Li, Jinhao Zhu, Tianxu Zhang et al.
CLP: Efficient and Scalable Search on Compressed Text Logs
Kirk Rodrigues, Yu Luo, Ding Yuan
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
Jianan Yao, Runzhou Tao, Ronghui Gu et al.
DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling
Tanvir Ahmed Khan, Ian Neal, Gilles Pokam et al.
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads
John Thorpe, Yifan Qiao, Jonathan Eyolfson et al.
Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing
Youngseok Yang, Taesoo Kim, Byung-Gon Chun
GNNAdvisor: An Adaptive and Efficient Runtime System for GNN Acceleration on GPUs
Yuke Wang, Boyuan Feng, Gushu Li et al.
GoJournal: a verified, concurrent, crash-safe journaling system
Tej Chajed, Joseph Tassarotti, Mark Theng et al.
Horcrux: Automatic JavaScript Parallelism for Resource-Efficient Web Computation
Shaghayegh Mardani, Ayush Goel, Ronny Ko et al.
Marius: Learning Massive Graph Embeddings on a Single Machine
Jason Mohoney, Roger Waleffe, Henry Xu et al.
Modernizing File System through In-Storage Indexing
Jinhyung Koo, Junsu Im, Jooyoung Song et al.
Nap: A Black-Box Approach to NUMA-Aware Persistent Memory Indexes
Qing Wang, Youyou Lu, Junru Li et al.
NrOS: Effective Replication and Sharing in an Operating System
Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann et al.
Oort: Efficient Federated Learning via Guided Participant Selection
Fan Lai, Xiangfeng Zhu, Harsha V. Madhyastha et al.
Optimizing Storage Performance with Calibrated Interrupts
Amy Tai, Igor Smolyar, Michael Wei et al.
P3: Distributed Deep Graph Learning at Scale
Swapnil Gandhi, Anand Padmanabha Iyer