Rudra: Finding memory safety bugs in Rust at the Ecosystem scale

Not yet public
[Google Scholar] [DBLP] [Citeseer] [url]

28th ACM Symposium on Operating System Principles (SOSP'21)
Association for Computing Machinery
2021
Note(s): Rust language