research
∙
03/31/2022
Reachability Logic for Low-Level Programs
Automatic exploit generation is a relatively new area of research. Work ...
share
research
∙
02/27/2022
Scalable Byzantine Fault Tolerance via Partial Decentralization
Byzantine consensus is a critical component in many permissioned Blockch...
research
∙
01/20/2022
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers
While address space layout randomization (ASLR) has been extensively stu...
research
∙
01/06/2022
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage
The concurrency literature presents a number of approaches for building ...
research
∙
10/27/2021
Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs
Datacenter servers are increasingly heterogeneous: from x86 host CPUs, t...
research
∙
08/05/2021
Crystalline: Fast and Memory Efficient Wait-Free Reclamation
Historically, memory management based on lock-free reference counting wa...
research
∙
10/03/2020
DuoBFT: Resilience vs. Efficiency Trade-off in Byzantine Fault Tolerance
This paper presents DuoBFT, a Byzantine fault-tolerant protocol that pro...
research
∙
02/20/2020
LibrettOS: A Dynamically Adaptable Multiserver-Library OS
We present LibrettOS, an OS design that fuses two paradigms to simultane...
research
∙
01/07/2020
Universal Wait-Free Memory Reclamation
In this paper, we present a universal memory reclamation scheme, Wait-Fr...
research
∙
05/20/2019
Hyaline: Fast and Transparent Lock-Free Memory Reclamation
We present a new lock-free safe memory reclamation algorithm, Hyaline, w...
research
∙
04/12/2019
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication
We present ezBFT, a novel leaderless, distributed consensus protocol cap...
research
∙
02/15/2019