Author:
Elliott Archibald Samuel,Ruef Andrew,Hicks Michael,Tarditi David
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Taming shared mutable states of operating systems in Rust;Science of Computer Programming;2024-12
2. A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler;Proceedings of the ACM on Programming Languages;2024-08-15
3. Foundations for a Rust-Like Borrow Checker for C;Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2024-06-20
4. Advanced Memory and Shape Analyses;Computer Science Foundations and Applied Logic;2024
5. A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety;ACM Transactions on Software Engineering and Methodology;2023-12-11