Hacker News
- RefinedC: Automating Foundational Verification of C Code with Refined Ownership https://plv.mpi-sws.org/refinedc/ 34 comments
- Stacked Borrows: An Aliasing Model for Rust https://plv.mpi-sws.org/rustbelt/stacked-borrows/ 26 comments
- RustBelt: Logical Foundations for the Future of Safe Systems Programming http://plv.mpi-sws.org/rustbelt/#project 16 comments
Lobsters
- RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types http://plv.mpi-sws.org/refinedc/ 4 comments c , formalmethods
- GhostCell: Separating Permissions from Data in Rust http://plv.mpi-sws.org/rustbelt/ghostcell/ 59 comments rust
- Repairing Sequential Consistency in C/C++11 http://plv.mpi-sws.org/scfix/paper.pdf 6 comments rust
- RustBelt: Logical Foundations for the Future of Safe Systems Programming (Phd & Postdoc positions) http://plv.mpi-sws.org/rustbelt/ 21 comments rust
- Backpack: An ML-like module system for Haskell http://plv.mpi-sws.org/backpack/ 43 comments haskell
- Backpack: Retrofitting Haskell with Interfaces http://plv.mpi-sws.org/backpack/ 23 comments haskell