| | Repairing sequential consistency in C/C++11 [pdf] (mpi-sws.org) |
| 4 points by fanf2 3 months ago | past |
|
| | Standard ML and Objective Caml, Side by Side (2011) (mpi-sws.org) |
| 2 points by swatson741 9 months ago | past |
|
| | 1M: Core and Modules United (mpi-sws.org) |
| 1 point by fanf2 11 months ago | past |
|
| | GenMC: Model checking for concurrent C programs (mpi-sws.org) |
| 61 points by todsacerdoti on Nov 10, 2024 | past | 3 comments |
|
| | GhostCell: Separating Permissions from Data in Rust (mpi-sws.org) |
| 3 points by fanf2 on Nov 7, 2024 | past |
|
| | RefinedC: Automating the foundational verification of C code with refine (2021) (mpi-sws.org) |
| 2 points by fanf2 on April 11, 2024 | 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 |
|
|
| More |
