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. 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. http://arxiv.org/abs/1507.05986.

    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, Vol. 8981, pages 317-331, Springer, 2015.

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


Books and Monographs:

  1. Joaquín Arias Herrero. Design and implementation of a modular interface to integrate CLP and tabled execution. Ms. Thesis, ETSI Ing. Informatica, July 2015.

  2. M. Klemen. Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation. Ms. Thesis, Technical University of Madrid, ETSI_Informatica, E-28660, Boadilla del Monte, Madrid, Spain, 88 pages, July 2015.


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. Andreas Metzger, Philip Leitner, Dragan Ivanovic, Eric Schmieders, Roslin Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl. Comparing and Combining Predictive Business Process Monitoring Techniques. System, Man, and Cybernetics: Systems, IEEE Transactions on, Vol. 45, Num. 2, pages 276-290, February 2015.

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

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

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

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


Publications in Refereed Workshops:

  1. R. Haemmerle, M. V. Hermenegildo, M. Klemen, U. Liqat, P. Lopez-Garcia. Energy Analysis and Verification by Translation to Horn Clauses and Abstract Interpretation. Workshop on Horn Clauses for Verification and Synthesis (HCVS'2015), July 2015.

  2. 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, CEUR-WS.org, 2015. Extended Abstract.

  3. 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), arXiv:1501.03064, 11 pages, 2015. arXiv:1512.09369.


Technical Reports and Manuals:

  1. P. Lopez-Garcia, R. Haemmerlé, U. Liqat, M. Klemen, M. V. Hermenegildo. Parametric Static Profiling. Num. CLIP-2/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://cliplab.org/papers/vigueras15-rule-based.pdf.

Last updated on Fri Dec 1 13:15:21 CET 2017