Publication date
October 2022
DOIAbstract
This is the artifact accompanying our paper "Kater: Automating Weak Memory Models", conditionally accepted for publication at POPL 2023
This is the artifact accompanying our paper "Kater: Automating Weak Memory Models", conditionally accepted for publication at POPL 2023
Weak memory models are a consequence of the desire on part of architects to preserve all the uniproc...
10.1007/978-3-642-16558-0_43Lecture Notes in Computer Science (including subseries Lecture Notes in ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", conditi...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
Artifact for the Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures paper publ...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
Replication package for the Dartagnan tool for SVCOMP 2020. It contains the Verifier Archive used fo...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
We propose an axiomatic generic framework for modelling weak memory. We show how to instantiate this...
Weak memory models are a consequence of the desire on part of architects to preserve all the uniproc...
10.1007/978-3-642-16558-0_43Lecture Notes in Computer Science (including subseries Lecture Notes in ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", conditi...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
Artifact for the Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures paper publ...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
Replication package for the Dartagnan tool for SVCOMP 2020. It contains the Verifier Archive used fo...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
We propose an axiomatic generic framework for modelling weak memory. We show how to instantiate this...
Weak memory models are a consequence of the desire on part of architects to preserve all the uniproc...
10.1007/978-3-642-16558-0_43Lecture Notes in Computer Science (including subseries Lecture Notes in ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Add to ORKG