Author:
Panchekha Pavel,Tatlock Zachary
Publisher
Springer International Publishing
Reference31 articles.
1. Benz, F., Hildebrandt, A., Hack, S.: A dynamic program analysis to find floating-point accuracy problems. In: PLDI 2012, pp. 453–462. ACM (2012)
2. Becker, H., Panchekha, P., Darulova, E., Tatlock, Z.: Combining tools for optimization and analysis of floating-point computations. In: FM, pp. 355–363 (2018)
3. Bao, T., Zhang, X.: On-the-fly detection of instability problems in floating-point program execution. SIGPLAN Not. 48(10), 817–832 (2013)
4. Chiang, W.F., Baranowski, M., Briggs, I., Solovyev, A., Gopalakrishnan, G., Rakamaric, Z.: Rigorous floating-point mixed-precision tuning. In: POPL, pp. 300–315 (2017)
5. Cook, J.D.: Software exoskeletons. https://www.johndcook.com/blog/2011/07/21/software-exoskeletons/. Accessed 5 June 2020