Declarative loop tactics for domain-specific optimizationLorenzo CheliniOleksandr Zinenkoet al.2019ACM TACO