CLIP Group's Publications in 2019
Articles in Refereed Journals:
- 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.
- 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.
- 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:
- 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.
- 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:
- 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:
- 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.
- 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.
- 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.
- 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).
- 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.
- 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.
- 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).
- 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).
- 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:
- 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.
- 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: 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