Darulova, Eva Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;
Darulova, E., Horn, E., & Sharma, S. (2018). Sound Mixed-Precision Optimization with Rewriting. In 9th ACM/IEEE International Conference on Cyber-Physical Systems (pp. 208-219). Piscataway, NJ: IEEE. doi:10.1109/ICCPS.2018.00028.