GenJAX v1.0.6 - POPL 2026 Canonical Artifact

GenJAX v1.0.6 - POPL 2026 Canonical Artifact

This is the canonical version for POPL 2026 artifact evaluation.

About GenJAX

GenJAX is a probabilistic programming language (PPL) designed around programmable inference - automation that allows users to express and customize Bayesian inference algorithms.

What's Included

• Complete GenJAX implementation with source code and comprehensive tests
• Four case studies from the empirical evaluation:
  • Fair Coin (Beta-Bernoulli conjugate inference) → Figure 16 (a)
  • Curve Fitting with Outlier Detection → Figures 4, 5, 6
  • Game of Life Inverse Dynamics → Figure 18
  • Robot Localization with SMC → Figure 19

Reproducing Paper Figures

pixi install
pixi run paper-figures        # CPU execution (~4 minutes on Apple M4)
pixi run paper-figures-gpu    # GPU execution (requires CUDA 12)

Note: Multi-system benchmarking figure (Fig 16, b) code is in git history but requires complex deployment setup.

Tested Hardware Specifications

Apple M4 (MacBook Air) - CPU Testing

• 10 cores (4 performance + 6 efficiency)
• 16 GB memory
• macOS 15.6 (Sequoia)

Linux RTX 4090 - GPU Testing

• AMD Ryzen 7 7800X3D (8-core, 16 threads)
• NVIDIA GeForce RTX 4090 (24GB VRAM)
• Pop!_OS 22.04 LTS

Changes in v1.0.6

• Added tested hardware specifications for both CPU and GPU environments
• Enhanced execution property guidance for artifact evaluators
• Improved section organization in README

Version History

• v1.0.6 (CURRENT): Hardware specifications and improved documentation
• v1.0.5: Enhanced artifact evaluation guidance
• v1.0.4: Complete author metadata with ORCIDs

Citation

See CITATION.cff in the repository for complete citation information with all 10 authors and their ORCID identifiers.