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

CLIP Group's Publications in 2016


Articles in First-Level Refereed Conferences and Journals:

  1. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Semantic Code Browsing. Theory and Practice of Logic Programming, 32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue, Vol. 16, Num. 5-6, pages 721-737, Cambridge U. Press, October 2016.

    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. P. Lopez-Garcia, M. Klemen, U. Liqat, M.V. Hermenegildo. A General Framework for Static Profiling of Parametric Resource Usage. Theory and Practice of Logic Programming, 32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue, Vol. 16, Num. 5-6, pages 849-865, Cambridge U. Press, October 2016.

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

  3. Manuel Carro, Andy King. Introduction to the 32nd International Conference on Logic Programming Special Issue. Theory and Practice of Logic Programming, Vol. 16, Num. 5-6, pages 509-514, Cambridge University Press, September 2016.

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

  4. 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. 16, pages 1-58, Cambridge University Press, January 2016.

    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. J. Arias, M. Carro. Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution. 18th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'16), pages 10-23, ACM Press, September 2016.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

  2. N. Stulova, J. F. Morales, M. V. Hermenegildo. Reducing the Overhead of Assertion Run-time Checks via Static Analysis. 18th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'16), pages 90-103, ACM Press, September 2016.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

  3. R. Haemmerlé, P. Lopez-Garcia, U. Liqat, M. Klemen, J. P. Gallagher, M. V. Hermenegildo. A Transformational Approach to Parametric Accumulated-cost Static Profiling. 13th International Symposium on Functional and Logic Programming (FLOPS 2016), LNCS, Vol. 9613, pages 163-180, Springer, March 2016.

    CORE: A. Citeseer: position 468/1221 (top 38%), impact 0.69. Average position: top 36%.


Books and Monographs:

  1. Manuel Carro, Andy King (Eds.). 32nd International Conference on Logic Programming. Vol. 16, Num. 5-6, Cambridge University Press, September 2016.

  2. Isabel Garcia-Contreras. Code Search: A Semantic, Abstract Interpretation-Based Approach. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 103 pages, July 2016.

  3. Manuel Carro, Salvador Tamarit, Guillermo Vigueras, Julio Mariño (Eds.). First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016). March 2016.

  4. A. Zaks, M.V. Hermenegildo. Proceedings of the 25th International Conference on Compiler Construction (CC 2016). ACM, March 2016.

  5. Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos (Eds.). Technical Communications of the 32nd International Conference on Logic Programming. OASICS, Vol. 52, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016.


Articles in Books and Other Collections:

  1. U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, M. V. Hermenegildo, J. P. Gallagher, K. Eder. Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, Lecture Notes in Computer Science, Vol. 9964, pages 81-100, Springer, 2016.


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

  1. K. Eder, J.P. Gallagher, P. Lopez-Garcia, H. Muller, Z. Bankovic, K. Georgiou, R. Haemmerlé, M.V. Hermenegildo, B. Kafle, S. Kerrison, M. Kirkeby, M. Klemen, X. Li, U. Liqat, J. Morse, M. Rhiger, M. Rosendahl. ENTRA: Whole-Systems Energy Transparency. Microprocessors and Microsystems, Vol. 47, Part B, pages 278-286, Elsevier, November 2016.

  2. B. Kafle, J. P. Gallagher, J. F. Morales. RAHFT: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pages 261-268, 2016.

  3. Zorana Bankovic, Umer Liqat, Pedro López-García. A General Methodology for Energy-efficient Scheduling in Multicore Environments based on Evolutionary Algorithms. Journal of Multiple-Valued Logic and Soft Computing, SOCO'15 Special Issue, To Appear, Old City Publishing, 2016.


Publications in Refereed Workshops:

  1. J. Arias. Tabled CLP for Reasoning over Stream Data. 12th ICLP Doctoral Consortium (DC-ICLP'16), 8 pages, OASIcs, October 2016.

  2. Jan Kuper, Lutz Schubert, Kilian Kempf, Colin Glas, Daniel Rubio Bonilla, Manuel Carro. Program Transformations in the POLCA Project. Design, Automation, and Testing in Europe, EDAA, March 2016.

  3. Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016), March 2016.

  4. Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro. Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016), March 2016.

  5. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016), 2016. arXiv:1601.02800.

Last updated on Fri Apr 28 13:09:24 CEST 2017