1. Enoki: High Velocity Linux Kernel Scheduler Development;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22
2. Recovery Preparation;Software Design for Resilient Computer Systems;2024
3. Towards Porting Operating Systems with Program Synthesis;ACM Transactions on Programming Languages and Systems;2023-03-03
4. Towards practical multikernel OSes with MySyS;Proceedings of the 13th ACM SIGOPS Asia-Pacific Workshop on Systems;2022-08-23
5. The Thundering Herd: Amplifying Kernel Interference to Attack Response Times;2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS);2022-05