{SHORTSTACK}: Distributed, Fault-tolerant, Oblivious Data Access
.
2022. {SHORTSTACK}: Distributed, Fault-tolerant, Oblivious Data Access. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :719--734.
Immortal Threads: Multithreaded Event-driven Intermittent Computing on {Ultra-Low-Power} Microcontrollers
.
2022. Immortal Threads: Multithreaded Event-driven Intermittent Computing on {Ultra-Low-Power} Microcontrollers. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :339--355.
Practically Correct, {Just-in-Time} Shell Script Parallelization
.
2022. Practically Correct, {Just-in-Time} Shell Script Parallelization. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :769--785.
{SparTA}: {Deep-Learning} Model Sparsity via {Tensor-with-Sparsity-Attribute}
.
2022. {SparTA}: {Deep-Learning} Model Sparsity via {Tensor-with-Sparsity-Attribute}. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :213--232.
{ListDB}: Union of {Write-Ahead} Logs and Persistent {SkipLists} for Incremental Checkpointing on Persistent Memory
.
2022. {ListDB}: Union of {Write-Ahead} Logs and Persistent {SkipLists} for Incremental Checkpointing on Persistent Memory. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :161--177.
Groove: Flexible {Metadata-Private} Messaging
.
2022. Groove: Flexible {Metadata-Private} Messaging. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :735--750.
Verifying the {DaisyNFS} concurrent and crash-safe file system with sequential reasoning
.
2022. Verifying the {DaisyNFS} concurrent and crash-safe file system with sequential reasoning. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :447--463.
{FAERY}: An {FPGA-accelerated} Embedding-based Retrieval System
.
2022. {FAERY}: An {FPGA-accelerated} Embedding-based Retrieval System. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :841--856.
{TriCache}: A {User-Transparent} Block Cache Enabling {High-Performance} {Out-of-Core} Processing with {In-Memory} Programs
.
2022. {TriCache}: A {User-Transparent} Block Cache Enabling {High-Performance} {Out-of-Core} Processing with {In-Memory} Programs. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :395--411.
{CAP-VMs}: {Capability-Based} Isolation and Sharing in the Cloud
.
2022. {CAP-VMs}: {Capability-Based} Isolation and Sharing in the Cloud. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :597--612.