Towards a Verified Range Analysis for JavaScript JITs: Artifact

An artifact dataset from a research paper on verifying range analysis for JavaScript Just-In-Time compilers. The dataset is associated with research by Fraser Brown of Stanford University and published on the Papers with Code platform. Its specific contents and scale are not detailed in the available metadata.

Use Cases

• Benchmarking verification tools for compiler optimizations (inferred from domain, verify after download)
• Training or evaluating machine learning models for program analysis tasks (inferred from domain, verify after download)
• Reproducing the experimental results of the associated research paper (inferred from domain, verify after download)

Strengths

• Published on the Papers with Code platform, which is associated with machine learning research.
• Associated with a specific research paper and author from Stanford University.

Limitations

• Metadata is minimal; actual content requires verification after download.
• Row count, column definitions, and sample data are unknown, limiting suitability assessment.
• The license is listed as 'closed', which may restrict usage.

Provenance

Source

Papers with Code platform.