Submissions from mpi-sws.org

		Repairing sequential consistency in C/C++11 [pdf] (mpi-sws.org)
		4 points by fanf2 8 months ago \| past
		Standard ML and Objective Caml, Side by Side (2011) (mpi-sws.org)
		2 points by swatson741 on March 17, 2025 \| past
		1M: Core and Modules United (mpi-sws.org)
		1 point by fanf2 on Jan 18, 2025 \| 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

HN For You