Author:
Necula George C.,Lee Peter
Cited by
118 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
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. 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
3. Certifying the synthesis of heap-manipulating programs;Proceedings of the ACM on Programming Languages;2021-08-22
4. Bertha: Tunneling through the Network API;Proceedings of the 19th ACM Workshop on Hot Topics in Networks;2020-11-04
5. CARAT: a case for virtual memory through compiler- and runtime-based address translation;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06