Herbie is a tool that aims to make floating point problems easier to find and fix. More info on Herbie can be found at herbie.uwplse.org. I joined the Herbie team in February of 2018 my junior year of undergrad working with Pavel Panchekha.