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

CLIP Group's Publications in 2015


Articles in First-Level Refereed Conferences and Journals:

  1. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. FirstView, pages 1-58, Cambridge University Press, January 2015.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.


Articles in Second-Level Refereed Conferences and Journals:

  1. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño. A Haskell Implementation of a Rule-Based Program Transformation for C Programs. International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 9131, 15 pages, Springer-Verlag, June 2015.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  2. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), LNCS, 15 pages, Springer, 2015.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.


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

  1. Zorana Bankovic, Pedro Lopez-Garcia. Stochastic vs. Deterministic Evolutionary Algorithm-based Allocation and Scheduling for XMOS Chips. Neurocomputing, Vol. 150, pages 82-89, Elsevier, February 2015.

    JCR: position (ave) top 55%, impact (ave) 0.69, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE CORE: B. CiteseerX position (ave) top 86%, impact (ave) 0.037. Average position: top 68%.


Publications in Refereed Workshops:

  1. P. Lopez-Garcia, R. Haemmerlé, M. Klemen, U. Liqat, M. V. Hermenegildo. Towards Energy Consumption Verification via Static Analysis. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2015), 2015.


Technical Reports and Manuals:

  1. P. Lopez-Garcia, R. Haemmerlé, U. Liqat, M. Klemen, M. V. Hermenegildo. Parametric Static Profiling. Num. CLIP-1/2015.0, The CLIP Lab, April 2015.

  2. Guillermo Vigueras, Salvador Tamarit, Manuel Carro, Julio Mariño. Towards a Rule-Based Approach to Generate High-Performance Scientific Code. Num. CLIP1/2015.0, 8 pages, The CLIP Lab, March 2015. http://clip.dia.fi.upm.es/papers/vigueras15-rule-based.pdf.

Last updated on Sun May 24 19:03:24 CEST 2015