There is a newer version of the record available.

Published November 18, 2025 | Version v1
Software Open

Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation

  • 1. ROR icon University of Illinois Urbana-Champaign
  • 2. Institute of Science Tokyo
  • 3. ROR icon RIKEN Center for Computational Science
  • 4. Argonne National Laboratory
  • 5. Google

Description

This is the artifact for the paper "Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation" (CGO 2026) by Siyuan Brant Qian, Vimarsh Sathia, Ivan R. Ivanov, Jan Hückelheim, Paul Hovland, and William S. Moses.

The latest version of this artifact is available at: https://github.com/PRONTOLab/Poseidon

Files

Poseidon.zip

Files (940.0 kB)

Name Size Download all
md5:af847569d5cfce34e5c2517311868ee9
940.0 kB Preview Download

Additional details