CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2017


Articles in Books and Other Collections:

  1. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño. Tools for High Performance Computing 2016. Springer International Publishing, 2017.


Publications in Refereed Workshops:

  1. Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro. Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

  2. Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

  3. M. Hermenegildo, P. Lopez-Garcia, U. Liqat, M. Klemen. Energy Consumption Analysis and Verification. 5th International Workshop on Verification and Program Transformation (VPT'2017), April 2017. (abstract of invited talk).



Last updated on Sat May 6 10:58:52 CEST 2017