The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2015

Articles in First-Level Refereed Conferences and Journals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Practical Run-time Checking via Unobtrusive Property Caching. Theory and Practice of Logic Programming, 31st Int'l. Conference on Logic Programming (ICLP'15) Special Issue, Vol. 15, Num. 04-05, pages 726-741, Cambridge U. Press, September 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%.

  2. 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, pages 105-114, 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%.

  2. Z. Bankovic, U. Liqat, P. López-García. A Practical Approach for Energy Efficient Scheduling in Multicore Environments by combining Evolutionary and YDS Algorithms with Faster Energy Estimation. The 11th International Conference on Artificial Intelligence Applications and Innovations (AIAI'15), IFIP Advances in Information and Communication Technology, Vol. 458, pages 478-493, Springer, 2015.

  3. Z. Bankovic, U. Liqat, P. López-García. Trading-off Accuracy vs. Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-based Scheduling. Hybrid Artificial Intelligent Systems (HAIS 2015), Lecture Notes in Computer Science, Vol. 9121, pages 690-701, Springer International Publishing, 2015.

  4. Z. Bankovic, P. López-García. Improved Energy-aware Stochastic Scheduling based on Evolutionary Algorithms via Copula-based Modeling of Task Dependences. International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2015), Advances in Intelligent Systems and Computing, Vol. 368, pages 153-163, Springer International Publishing, 2015.

  5. Z. Bankovic, P. López-García. Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. Genetic and Evolutionary Computation Conference (GECCO 2015), pages 1353-1354, ACM, 2015.

  6. U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, M. V. Hermenegildo, J. P. Gallagher, K. Eder. Inferring Energy Consumption at Different Software Levels: ISA vs. LLVM IR. Proc. of the Foundational and Practical Aspects of Resource Analysis, LNCS, Springer, 2015. To Appear.

Publications in Refereed Workshops:

  1. Joaquín Arias, Manuel Carro. Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015., CEUR Workshop Proceedings, Vol. 1433,, 2015. Extended Abstract.

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

Last updated on Wed Oct 7 23:42:53 CEST 2015