| Paper Name |
Venue |
Year |
| 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 |
| Basic Linear Algebra Subprograms for Fortran Usage |
TOMS |
1979 |
| How to Build a Quantum Supercomputer: Scaling from Hundreds to Millions of Qubits |
arXiv |
2024 |
| Efficient Memory Management for Large Language Model Serving with PagedAttention |
SOSP |
2023 |
| 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 |
| An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise |
USENIX ATC |
2024 |
2024-12-24 |
| MLIR: Scaling Compiler Infrastructure for Domain Specific Computation |
CGO |
2025 |
2025-04-08 |
| Cores that don't count |
HotOS |
2021 |
2025-07-13 |