Cited By
View all- Li WHe DChen WXue JDoerfert JGrosser TLeather HSadayappan P(2025)Stack Filtering: Elevating Precision and Efficiency in Rust Pointer AnalysisProceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization10.1145/3696443.3708921(331-346)Online publication date: 1-Mar-2025
- Suzuki KIshiguro KKono KBagchi SZhang Y(2024)Balancing analysis time and bug detectionProceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference10.5555/3691992.3692023(493-508)Online publication date: 10-Jul-2024
- LI LZHANG QXU ZZHAO SSHI ZGUAN Y(2024)rOOM: A Rust-Based Linux Out of Memory Kernel ComponentIEICE Transactions on Information and Systems10.1587/transinf.2023MPP0001E107.D:3(245-256)Online publication date: 1-Mar-2024
- Show More Cited By