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

CLIP Group's Publications in 2023


Articles in Refereed Conferences:

  1. John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro Lopez-Garcia. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. Proc. of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, Lecture Notes in Computer Science, Vol. 14330, pages 28-38, Springer, October 2023.

  2. Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. A Rule-Based Approach for Designing and Composing Abstract Domains. Proc. of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, Lecture Notes in Computer Science, Vol. 14330, pages 80-98, Springer, October 2023.


Books and Monographs:

  1. M.V. Hermenegildo, J.F. Morales. Static Analysis - 30th. International Symposium. LNCS, Num. 14284, 566 pages, Springer, October 2023.

  2. David S. Warren, Veronica Dahl, Thomas Eiter, Manuel Hermenegildo, Robert Kowalski, Francesca Rossi. Prolog - The Next 50 Years. LNCS, Num. 13900, Springer, July 2023.

  3. Ferreiro de Aguiar, Daniela. A System for generating interactive tutorials for CiaoPP. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 57 pages, February 2023. MSc Thesis.


Invited Papers and Tutorials:

  1. M.V. Hermenegildo, I. Garcia-Contreras, J.F. Morales, P. Lopez-Garcia, L. Rustenholz, D. Ferreiro, D. Jurjo. On-the-fly Verification via (Incremental, Interactive) Abstract Interpretation with CiaoPP and Verifly. October 2023. https://2023.splashcon.org/details/lopstr-2023-papers/9/On-The-Fly-Verification-via-Incremental-Interactive-Abstract-Interpretation-with-CiaKeynote at LOPSTR'23/SPLASH'23. Video available https://www.youtube.com/watch?v=r1kjbI7iw7g&list=PLyrlk8Xaylp7HyQNnxoeQQ3KEWDdFs-zA&index=8here.

  2. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia. How to Best Teach Prolog. July 2023. Invited talk at ICLP Special Session: Teaching Prolog: the Next 50 Years and Prolog Education Group. https://www.youtube.com/watch?v=yn3YvNMpr28Video at the LP Education group.


Articles in Books and Other Collections:

  1. Gopal Gupta, Elmer Salazar, Joaquín Arias, Kinjal Basu, S Varanasi, M Carro. Prolog: Past, Present, and Future. Prolog - The Next 50 Years, LNCS, Num. 13900, Springer, July 2023.

  2. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia, M. Carro. Types, modes and so much more - the Prolog way. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 23-37, Springer, July 2023.

  3. J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo. Teaching Prolog with Active Logic Documents. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 171-183, Springer, July 2023.

  4. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia. Some Thoughts on How to Teach Prolog. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 107-123, Springer, July 2023.


Publications in Refereed Workshops:

  1. M. Klemen, M.Á. Carreira-Perpiñán, P. Lopez-Garcia. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 155-168, Open Publishing Association (OPA), July 2023.

  2. D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. Towards a rule-based approach for deriving abstract domains. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 55-58, Open Publishing Association (OPA), July 2023. (Extended Abstract).

  3. D. Ferreiro, J.F. Morales, S. Abreu, M.V. Hermenegildo. Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 324-330, Open Publishing Association (OPA), July 2023. See also associated poster at https://cliplab.org/papers/hald-poster-iclp.pdf.


Technical Reports and Manuals:

  1. D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. A Methodology for Designing and Composing Abstract Domains Using Rewriting Rules. Num. CLIP-1/2023.0, CLIP Lab, UPM and IMDEA Software Institute, August 2023.

  2. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.22). April 2023. Available at https://ciao-lang.org.

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