1. On-the-fly detection of instability problems in floating-point program execution
2. A dynamic program analysis to find floating-point accuracy problems
3. Meriame Berboucha. 2018. Uber Self-Driving Car Crash: What Really Happened. https://www.forbes.com/sites/meriameberboucha/2018/05/28/uber-self-driving-car-crash-what-really-happened/?sh=4a4b37984dc4 Meriame Berboucha. 2018. Uber Self-Driving Car Crash: What Really Happened. https://www.forbes.com/sites/meriameberboucha/2018/05/28/uber-self-driving-car-crash-what-really-happened/?sh=4a4b37984dc4
4. 10.1162/153244302760200704