1. CARAT KOP: Towards Protecting the Core HPC Kernel from Linux Kernel Modules;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
2. FPVM;Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing;2022-06-27
3. CARAT CAKE: replacing paging via compiler/kernel cooperation;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22
4. The Case for an Interwoven Parallel Hardware/Software Stack;2021 SC Workshops Supplementary Proceedings (SCWS);2021-11
5. Towards a Practical Ecosystem of Specialized OS Kernels;Proceedings of the 9th International Workshop on Runtime and Operating Systems for Supercomputers - ROSS '19;2019