8:44 [HIW'23] An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk) ACM SIGPLAN