Rémy Haemmerlé, Pedro Lopez-Garcia, Umer Liqat, M. Klemen, J. P. Gallagher, Manuel Hermenegildo. A Transformational Approach to Parametric Accumulated-cost Static Profiling. Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016), LNCS, Springer, 2016. To appear.