期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2021; 37 (1-4)
To hide the complexity of the underlying system, graph processing frameworks ask programmers to specify graph computations in user-defined functions (......
期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2021; 38 (1-2)
There is more than a decade-long history of using static analysis to find bugs in systems such as Linux. Most of the existing static analyses develope......
期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2021; 37 (1-4)
Unikernel specializes a minimalistic LibOS and a target application into a standalone single-purpose virtual machine (VM) running on a hypervisor, whi......
期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2020; 36 (4)
Atomic context is an execution state of the Linux kernel in which kernel code monopolizes a CPU core. In this state, the Linux kernel may only perform......
期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2019; 36 (1)
Consolidated server racks are quickly becoming the standard infrastructure for engineering, business, medicine, and science. Such servers are still de......
期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2019; 36 (1)
In-memory caching of intermediate data and active combining of data in shuffle buffers have been shown to be very effective in minimizing the recomput......
期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2019; 36 (3)
Machine Learning (ML) are a family of models for learning from the data to improve performance on a certain task. ML techniques, especially recent ren......
期刊： ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2017; 35 (1)
DrTM is a fast in-memory transaction processing system that exploits advanced hardware features such as remote direct memory access (RDMA) and hardwar......
