I'm someone who has worked on Herbie. AFAIK we work(ed) with the LLNL guys and they are aware of Herbie! Floating Point research is a very small world.