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 - discu.eu

Linking pages

Legacy Safety: The Wrocław C++ Meeting | cor3ntin https://cor3ntin.github.io/posts/profiles/ 298 comments
GitHub - tiagodusilva/coral: Ms Thesis @ FEUP https://github.com/tiagodusilva/coral 3 comments

Linked pages

Aether: leveraging linear programming for optimal cloud computing in genomics | Bioinformatics | Oxford Academic https://academic.oup.com/bioinformatics/advance-article/doi/10.1093/bioinformatics/btx787/4708304 6 comments
A few billion lines of code later: using static analysis to find bugs in the real world: Communications of the ACM: Vol 53, No 2 https://dl.acm.org/doi/10.1145/1646353.1646374 2 comments

Related searches:

Search whole site: site:dl.acm.org

Search title: 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

See how to search.

Submit link to: