| Paper Name |
Venue |
Year |
| An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise |
USENIX ATC |
2024 |
| The C11 and C++11 Concurrency Model |
PhD thesis by Mark Batty |
2014 |
| BOLT: A Practical Binary Optimizer for Data Centers and Beyond |
CGO |
2019 |
| Paper Name |
Venue |
Pub Year |
Fin Date |
| The eXpress Data Path: Fast Programmable Packet Processing in the Operating System Kernel |
CoNEXT |
2018 |
2024-07-14 |
| Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations |
PLDI |
2023 |
2024-07-22 |