13 citations · 30 across the 6 of their papers we have counts for
7 papers
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
Alan Beadle, Michael L. Scott, John Criswell
Protected user-level libraries have been proposed as a way to allow mutually distrusting applications to safely share kernel-bypass services. In this paper, we identify and solve s…
Fuzzing BusyBox: Leveraging LLM and Crash Reuse for Embedded Bug Unearthing
Asmita, Yaroslav Oliinyk, Michael Scott +3
BusyBox, an open-source software bundling over 300 essential Linux commands into a single executable, is ubiquitous in Linux-based embedded devices. Vulnerabilities in BusyBox can…
Transactional Composition of Nonblocking Data Structures
Wentao Cai, Haosen Wen, Michael L. Scott
This paper introduces nonblocking transaction composition (NBTC), a new methodology for atomic composition of nonblocking operations on concurrent data structures. Unlike previous…
Fast Nonblocking Persistence for Concurrent Data Structures
Wentao Cai, Haosen Wen, Vladimir Maksimovski +4
We present a fully lock-free variant of the recent Montage system for persistent data structures. Our variant, nbMontage, adds persistence to almost any nonblocking concurrent stru…
Montage: A General System for Buffered Durably Linearizable Data Structures
Haosen Wen, Wentao Cai, Mingzhe Du +3
The recent emergence of fast, dense, nonvolatile main memory suggests that certain long-lived data might remain in its natural pointer-rich format across program runs and hardware…
Understanding and Optimizing Persistent Memory Allocation
Wentao Cai, Haosen Wen, H. Alan Beadle +3
The proliferation of fast, dense, byte-addressable nonvolatile memory suggests that data might be kept in pointer-rich "in-memory" format across program runs and even process and s…
Fast Intra-kernel Isolation and Security with IskiOS
Spyridoula Gravani, Mohammad Hedayati, John Criswell +1
The kernels of operating systems such as Windows, Linux, and MacOS are vulnerable to control-flow hijacking. Defenses exist, but many require efficient intra-address-space isolatio…