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

CLIP Group's Publications in 2018


Articles in Refereed Journals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis. Science of Computer Programming, Vol. 155, pages 3-26, Elsevier North-Holland, April 2018. Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming.

  2. P. Lopez-Garcia, L. Darmawan, M. Klemen, U. Liqat, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. Theory and Practice of Logic Programming, Special Issue on Computational Logic for Verification, Vol. 18, Num. 2, pages 167-223, Cambridge U. Press, March 2018. arXiv:1803.04451.

  3. Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta. Constraint Answer Set Programming without Grounding. Theory and Practice of Logic Programming, Vol. 18, Num. 3-4, pages 337-354, Cambridge U. Press, 2018.


Articles in Refereed Conferences:

  1. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Run-time Checks. 20th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'18), 13 pages, ACM Press, September 2018.

  2. N. Stulova, J. F. Morales, M. V. Hermenegildo. Exploiting Term Hiding to Reduce Run-time Checking Overhead. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), LNCS, Num. 10702, pages 99-115, Springer-Verlag, January 2018.

  3. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 10855, Springer, 2018.


Books and Monographs:

  1. Umer Liqat. A Multi-Language and Multi-Platform Framework for Resource Consumption Analysis and its Application to Energy-Efficient Software Development. Ph.D. Thesis, Escuela Técnica Superior de Ingenieros Informáticos, UPM, July 2018.

  2. Casso, Ignacio. Towards Computing Distances Among Abstract Interpretations. Ms. Thesis, Universidad Complutense de Madrid, 60 pages, June 2018. BSc Thesis.

  3. Nataliia Stulova. Improving Run-time Checking in Dynamic Programming Languages. Ph.D. Thesis, Escuela Técnica Superior de Ingenieros Informáticos, UPM, May 2018.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, M. Carro, P. Lopez-Garcia, J.F. Morales, J. Arias, I. Garcia-Contreras, M. Klemen, N. Stulova. 25 Years of Ciao (abstract of invited tutorial). Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.

  2. M. V. Hermenegildo, P. Lopez-Garcia, J. Morales, I. Garcia-Contreras, M. Klemen, N. Stulova. Horn Clause-based Program Analysis and Verification with CiaoPP. 1st International Workshop on Declarative Program Analysis (DPA 2018), 1 pages, July 2018. (Abstract of invited talk). Associated to ECOOP/ISSTA 2018.

  3. Floriana Esposito, Carlo Ghezzi, Manuel V. Hermenegildo, Helene Kirchner, Luke Ong. Informatics Research Evaluation. 12 pages, Informatics Europe, March 2018. https://www.informatics-europe.org/news/436-research_evaluation.html.


Publications in Refereed Workshops:

  1. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertion-based Guidance in Abstract Interpretation. Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.

  2. P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo. A General Framework for Static Profiling of Parametric Resource Usage (extended abstract). 19th International Workshop on Logic and Computational Complexity (LCC 2018), 4 pages, July 2018. Associated to FLOC 2018.

  3. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Towards Incremental and Modular Context-sensitive Analysis. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, Dagstuhl Press, July 2018. (Extended Abstract).

  4. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Towards Static Performance Guarantees for Programs with Run-time Checks. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, July 2018. (Extended Abstract).


Technical Reports and Manuals:

  1. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. Num. CLIP-2/2018.0, 28 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.

  2. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. An Approach to Static Performance Guarantees for Programs with Run-time Checks. Num. CLIP-1/2018.0, 15 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.

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 Nov 21 03:36:42 PM CET 2024
Contents
Institutional links