Hacker News
- RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 2 comments
- On Blockchain Commit Times: How miners choose Bitcoin transactions [pdf] https://people.mpi-sws.org/~johnme/pdf/messias-sdbd-20.pdf 16 comments
- 1ML – Core and modules united (2016) https://people.mpi-sws.org/~rossberg/1ml/ 3 comments
Lobsters
- Light-weight Contexts: An OS Abstraction for Safety and Performance (2016) https://people.mpi-sws.org/~druschel/publications/osdi16.pdf 9 comments freebsd , osdev , pdf , performance , security
- RustBelt: Securing the Foundations of the Rust Programming Language https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 45 comments formalmethods , pdf , rust
- Status of 1ML like languages https://people.mpi-sws.org/~rossberg/1ml/ 37 comments programminglanguages
- In the Interest of Building an SML Language Server https://people.mpi-sws.org/~rossberg/1ml/ 17 comments sml
- What does the term "ownership type system" mean? https://people.mpi-sws.org/~dreyer/research.pdf 3 comments rust