weak-memory-models

Here are 6 public repositories matching this topic...

Intermediate Memory Model (IMM) and compilation correctness proofs for it

coq proof weak-memory-models

Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"

paper proof binary-translation weak-memory-models

POP Memory Model in Lean

Rocker: Robustness Checker

d spin weak-memory-models

Operational Semantics of a Weak Memory Model with Channel Synchronization

An automatic fence insertion pass for LLVM based on ILP constraints.

llvm compilers llvm-ir weak-memory-models

To associate your repository with the weak-memory-models topic, visit your repo's landing page and select "manage topics."