CoreJIT: A Replication Package for a JIT Compiler Verification Article

A replication package for the article 'Formally Verified Speculation and Deoptimization in a JIT Compiler'. It was created by Aurèle Barrière of the Centre National de la Recherche Scientifique and is hosted on paperswithcode. The specific contents and size of the package are unknown.

Use Cases

• Replicating the formal verification experiments from the associated research paper (inferred from domain, verify after download)
• Studying the implementation of speculation and deoptimization in a JIT compiler (inferred from domain, verify after download)
• Using the package as a benchmark or case study for formal methods tools (inferred from domain, verify after download)

Strengths

• Published on paperswithcode, a platform for research artifacts.
• Associated with a specific, peer-reviewed research article.

Limitations

• Metadata is minimal; actual content requires verification after download.
• Column-level documentation is absent; field semantics must be inferred after download.
• Row count and file size are unknown, which may limit suitability assessment.

Provenance

Source

paperswithcode