Just wanted to mention that we’ve chosen a name for the software system that I am developing as part of my dissertation. It will be called CRAFT: Configurable Runtime Analysis for Floating-point Tuning. With the name set, I have started a project page on SourceForge, and the source code is publicly available for the first time. It’s not like anyone can actually use it yet, but it’s a nice first step. I’ve also added a project page on this blog to track its development.