[SOAP24] Recent Advances in Floating-point (Static) Analyses | ACM SIGPLAN | Podwise