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

CLIP Group's Publications in 2017


Books and Monographs:

  1. M. V. Hermenegildo, P. López-García. Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science, Num. 10184, 330 pages, Springer, July 2017.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, P. Lopez-Garcia, U. Liqat, M. Klemen. Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation. 5th International Workshop on Verification and Program Transformation (VPT'2017), pages 4-6, EPTCSdd, April 2017. (Abstract of invited talk).


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.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Run-time Checks Simplification via Term Hiding (Extended Abstract). Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), 3 pages, OASIcs, August 2017. Extended Abstract.


Publications in Refereed Workshops:

  1. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'17), October 2017.

  2. 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.

  3. 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.

  4. N. Stulova. On Improving Run-time Checking in Dynamic Languages. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), 10 pages, OASIcs, August 2017. CP/ICLP/SAT Doctoral Program 2017 (CP-ICLP-SAT-DP-17) entry.


Technical Reports and Manuals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Term Hiding and its Impact on Run-time Check Simplification. Num. CLIP-1/2017.0, 27 pages, The CLIP Lab, May 2017. CoRR abs/1705.06662 [cs.PL].

Last updated on Sat Aug 12 15:32:11 CEST 2017