| | GenMC: Model checking for concurrent C programs (mpi-sws.org) |
|
61 points by todsacerdoti 57 days ago | past | 3 comments
|
|
| | GhostCell: Separating Permissions from Data in Rust (mpi-sws.org) |
|
3 points by fanf2 59 days ago | past
|
|
| | RefinedC: Automating the foundational verification of C code with refine (2021) (mpi-sws.org) |
|
2 points by fanf2 8 months ago | past
|
|
| | Higher-Order Typed Functional Coreographic Programming [pdf] (mpi-sws.org) |
|
3 points by todsacerdoti on Aug 27, 2023 | past
|
|
| | RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] (mpi-sws.org) |
|
120 points by Tomte on May 8, 2022 | past | 2 comments
|
|
| | RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] (mpi-sws.org) |
|
1 point by Tomte on Aug 31, 2021 | past
|
|
| | GhostCell: Separating Permissions from Data in Rust [pdf] (mpi-sws.org) |
|
5 points by kibwen on July 19, 2021 | past | 1 comment
|
|
| | RustBelt Project (mpi-sws.org) |
|
3 points by belter on July 9, 2021 | past
|
|
| | RefinedC: Automating Foundational Verification of C Code with Refined Ownership (mpi-sws.org) |
|
76 points by matt_d on May 24, 2021 | past | 34 comments
|
|
| | RustBelt Meets Relaxed Memory (mpi-sws.org) |
|
2 points by mkwt on April 7, 2021 | past
|
|
| | GhostCell: Separating Permissions from Data in Rust (mpi-sws.org) |
|
4 points by dralley on April 1, 2021 | past
|
|
| | RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] (mpi-sws.org) |
|
2 points by Tomte on Feb 1, 2021 | past
|
|
| | Understanding and Evolving the Rust Programming Language [pdf] (mpi-sws.org) |
|
2 points by slondr on Nov 17, 2020 | past
|
|
| | SML to OCaml Cheat Sheet (mpi-sws.org) |
|
4 points by kaashmonee on Oct 31, 2020 | past | 1 comment
|
|
| | Understanding and Evolving the Rust Programming Language (mpi-sws.org) |
|
1 point by matt_d on Sept 5, 2020 | past
|
|
| | PhD Thesis: Understanding and Evolving the Rust Programming Language (mpi-sws.org) |
|
2 points by azhenley on Sept 3, 2020 | past
|
|
| | Understanding and Evolving the Rust programming language [pdf] (mpi-sws.org) |
|
2 points by fluffything on Sept 3, 2020 | past
|
|
| | On Blockchain Commit Times: How miners choose Bitcoin transactions [pdf] (mpi-sws.org) |
|
52 points by johnnatan20 on Aug 18, 2020 | past | 16 comments
|
|
| | Stacked Borrows: An Aliasing Model for Rust (mpi-sws.org) |
|
180 points by pjmlp on Feb 9, 2020 | past | 26 comments
|
|
| | Stacked Borrows an Aliasing Model for Rust (POPL 2020) (mpi-sws.org) |
|
2 points by fluffything on Nov 19, 2019 | past
|
|
| | Tacked Borrows an Aliasing Model for Rust (mpi-sws.org) |
|
1 point by pjmlp on Nov 18, 2019 | past
|
|
| | Why Is Random Testing Effective for Partition Tolerance Bugs? (2018) [pdf] (mpi-sws.org) |
|
1 point by jinqueeny on Aug 13, 2019 | past
|
|
| | RustBelt: Securing the Foundations of the Rust Programming Language (mpi-sws.org) |
|
3 points by lelf on May 29, 2019 | past
|
|
| | Composing Abstractions using the null-Kernel [pdf] (mpi-sws.org) |
|
2 points by ingve on May 4, 2019 | past
|
|
| | Composing Abstractions using the null-Kernel [pdf] (mpi-sws.org) |
|
1 point by ingve on May 2, 2019 | past
|
|
| | (Mis)Information Dissemination in WhatsApp [pdf] (mpi-sws.org) |
|
2 points by johnnatan20 on April 17, 2019 | past
|
|
| | WhatsApp Monitor: A Fact-Checking System for WhatsApp [pdf] (mpi-sws.org) |
|
2 points by johnnatan20 on April 17, 2019 | past
|
|
| | 1ML – Core and modules united (2016) (mpi-sws.org) |
|
39 points by tosh on Sept 22, 2018 | past | 3 comments
|
|
| | RustBelt: Securing the Foundations of the Rust Programming Language [pdf] (mpi-sws.org) |
|
2 points by arayh on Sept 18, 2018 | past
|
|
| | AdAnalyst: A tool to help you make sense of the ads you receive on Facebook (mpi-sws.org) |
|
1 point by charlysl on March 7, 2018 | past
|
|
|
|
More |
