Skip to content
OpenTrain AIFor AI Companies

Reconciling Event Structures with Modern Multiprocessors

Published Nov 1, 2019
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Missing
Not verified yet
Time to first repro
A few hours
Fast first run
Risk flags
1
Review before use

Results and benchmarks

Freshness tier: cold
Reconciling Event Structures with Modern Multiprocessors is the primary contribution described in this paper.

Implementation

Best maintained implementation now

Recommended
Confidence: High
Reproducibility: Moderate
weakmemory/imm

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

31 stars · 3 forks · Last push Feb 5, 2025 · MIT license

  • License
  • CI
  • Dependencies
  • Docker

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata · Community adoption signal (31 stars)

Why this implementation
Confidence: high

weakmemory/imm is the strongest maintained implementation based on ranking signals. CI workflows are present. License is declared (MIT).

Open weakmemory/imm
Reproduction risks
  • Dependency manifest is missing
  • Selected weakmemory/imm as the strongest maintained implementation for new work.
  • Includes CI workflow signals.
  • Repository activity is within the last 24 months.
  • Official repository is preserved separately as historical context.

Compare implementation paths

Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.

weakmemory/imm
best maintained
Maintenance
Stale
Confidence
High
Reproducibility
Moderate
Stars
31
Last push
Feb 5, 2025 (566d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

  • No push in 12+ months
  • Dependency manifest missing
weakmemory/weakestmoToImm
historical official
Maintenance
Stale
Confidence
High
Reproducibility
Limited
Stars
2
Last push
Sep 20, 2022 (1435d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases

Reproduction readiness

Time to first repro: hours
Last checked: Aug 22, 2026

Major work

No dependency manifest, manual reconstruction required

  • weakmemory/imm has no requirements.txt, environment.yml, pyproject.toml, or Dockerfile.
  • You will need to reverse-engineer dependencies from import statements in the source code.
  • Last push was 566 days ago.
Open weakmemory/imm

Hugging Face artifacts

No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.

Models

No trustworthy models matches right now.

Search models on Hugging Face

Datasets

Curated Related

Broaden dataset search

reconciling event structures with dataset

Spaces

No trustworthy spaces matches right now.

Search spaces on Hugging Face

Research context

Evaluation and human feedback data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX

Data includes links from Papers with Code ( CC-BY-SA-4.0 ).