Author:
Elliott Archibald Samuel,Ruef Andrew,Hicks Michael,Tarditi David
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking;Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses;2023-10-16
2. A formal model of Checked C1;Journal of Computer Security;2023-10-13
3. Improving Automatic C-to-Rust Translation with Static Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
4. Safe Low-Level Code Without Overhead is Practical;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05