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

CLIP Group's Publications in 2016


Articles in Refereed 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. 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.

  3. 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, September 2016.

  4. 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, September 2016.

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


Articles in Refereed Conferences:

  1. Joaquín Arias, Manuel Carro. Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution. 18th Int'l. ACM Symposium on Principles and Practice of Declarative Programming, pages 10-23, ACM Press, September 2016.

  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.

  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.

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


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.). Proceedings of the First 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.


Publications in Refereed Workshops:

  1. J. Arias. Tabled CLP for Reasoning over Stream Data. Technical Communications of the 32nd Int'l. Conference on Logic Programming, Vol. 52, pages 1-8, OASIcs, October 2016. Doctoral Consortium.

  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.


next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Tue Oct 29 12:34:26 PM CET 2024