Sign in / Register
We have joined forces with
the 2nd generation
of the open-source CK technology!
HMC: Model Checking for Hardware Memory Models
Michalis Kokologiannakis, Viktor Vafeiadis
Artifact evaluated - reusable:
Unified artifact appendix and reproducibility checklist:
Related knowledge about this paper
Search on this portal
Reproduced results (crowd-benchmarking and competitions)
Collective Knowledge scoreboards
Papers With Code: SOTA results
Artifact and reproducibility checklists
ACM/cTuning artifact appendix and reproducibility checklist
NeurIPS reproducibility checklist
SIGPLAN's checklist for empirical evaluation
Common formats for research projects and shared artifacts
(organizing research projects based on
ACM and cTuning (Systems and ML conferences)
ML Reproducibility Challenge 2020
to add your comments!
If you notice any inapropriate content that should not be here, please
as soon as possible and we will try to remove it within 48 hours!