Published November 18, 2025
| Version v1
Software
Open
Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation
Authors/Creators
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
Software
- Repository URL
- https://github.com/PRONTOLab/Poseidon