[SOAP24] Interactive Source-to-Source Optimizations Validated using Static Resource Analysis | ACM SIGPLAN | Podwise