Target-Aware Implementation of Real Expressions. - Brett Saiki; Jackson Brough; Jonas Regehr; Jesús Ponce; Varun Pradeep; Aditya Akhileshwaran; Zachary Tatlock; Pavel Panchekha (ASPLOS (1), 2025)