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

CLIP Group's Publications in 2019


Articles in Refereed Journals:

  1. Joaquín Arias, Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Theory and Practice of Logic Programming, Vol. 19, Num. 5-6, pages 1107-1123, September 2019. Special Issue on ICLP'19.

  2. Joaquín Arias, Manuel Carro. Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Theory and Practice of Logic Programming, Vol. 19, Num. 3, pages 412-448, Cambridge U. Press, May 2019.

  3. Zorana Bankovic, Umer Liqat, Pedro Lopez-Garcia. A General Methodology for Energy-efficient Scheduling in Multicore Environments based on Evolutionary Algorithms. Journal of Multiple-Valued Logic and Soft Computing (JMVLSC), SOCO'15 Special Issue, Vol. 32, Num. 3-4, pages 313-341, Old City Publishing, 2019.


Articles in Refereed Conferences:

  1. Joaquín Arias, Manuel Carro. Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. 21st Int'l. Symposium on Practical Aspects of Declarative Languages, LNCS, Vol. 11372, pages 98-114, Springer, January 2019.

  2. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertion-based Guidance in Abstract Interpretation. Post-Proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), LNCS, Num. 11408, pages 184-201, Springer-Verlag, January 2019.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, I. Garcia-Contreras, J. Morales, P. Lopez-Garcia, M. Klemen, I. Casso. Multivariant Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP. Workshop on Declarative Program Analysis (DPA 2019), 1 pages, July 2019. (Abstract of invited talk). Associated to FCRC 2019.


Publications in Refereed Workshops:

  1. I. Casso, J. F. Morales, P. Lopez-Garcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

  2. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. An Integrated Approach to Assertion-Based Random Testing in Prolog. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

  3. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

  4. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP. 10th Workshop on Tools for Automatic Program Analysis (TAPAS'19), October 2019. (Extended Abstract).

  5. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), October 2019.

  6. J. Arias, Z. Chen, M. Carro, G. Gupta. Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. Pre-Proc. of the 29th Int'l. Symposium on Logic-based Program Synthesis and Transformation , September 2019.

  7. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 238-240, Open Publishing Association (OPA), September 2019. (Extended Abstract).

  8. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Towards Computing Abstract Distances in Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 65-66, Open Publishing Association (OPA), September 2019. (Extended Abstract).

  9. Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. Constraint Answer Set Programming without Grounding and its Applications. 3rd Int'l. Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0), Vol. 2368, pages 22-26, CEUR-WS, June 2019.


Technical Reports and Manuals:

  1. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Num. CLIP-1/2019.0, 19 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, July 2019.

  2. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Num. CLIP-2/2019.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, July 2019.

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 Thu Dec 12 10:26:37 AM CET 2024
Contents
Institutional links