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

CLIP Group's Publications in 2021


Articles in Refereed Journals:

  1. Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti. Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory and Practice of Logic Programming, Vol. 22, Num. 6, pages 1-69, Cambridge U. Press, November 2021.

  2. M.A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. Theory and Practice of Logic Programming, Vol. 21, Num. 6, pages 768-784, Cambridge U. Press, September 2021. Special Issue on ICLP'21.

  3. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Theory and Practice of Logic Programming, Vol. 21, Num. 2, pages 196-243, Cambridge U. Press, January 2021.


Articles in Refereed Conferences:

  1. Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo. Testing Your (Static Analysis) Truths. Logic-Based Program Synthesis and Transformation - 30th International Symposium, Post-Proceedings, Lecture Notes in Computer Science, Vol. 12561, pages 271-292, Springer, 2021.


Books and Monographs:

  1. Ferreiro de Aguiar, Daniela. Automatic Analysis of Code Examples. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 66 pages, July 2021. BSc Thesis.

  2. I. Garcia-Contreras. A Scalable Static Analysis Framework for Reliable Program Development Exploiting Incrementality and Modularity. Ph.D. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 42 pages, July 2021. Advisors: M. V. Hermenegildo and Jose F. Morales.

  3. Casso, Ignacio. An Integrated Approach to Assertion-Based Random Testing in Logic Languages. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 42 pages, July 2021. MSc Thesis.

  4. Pérez Carrasco, Víctor. Improvements to Parametric Cost Analysis and its Application to Smart Contracts. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 63 pages, July 2021. MSc Thesis.

  5. Maximiliano Klemen. A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking. Ph.D. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, March 2021.


Publications in Refereed Workshops:

  1. Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, José F. Morales. Regular Path Clauses and their Application in Solving Loops. Proceedings of the Eighth International Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 344, pages 22-35, Open Publishing Association (OPA), August 2021. Co-located with ETAPS 2021.

  2. M. A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. VeriFly: On-the-fly Assertion Checking with CiaoPP. 6th Workshop on Formal Integrated Development Environment (F-IDE 2021, part of NASA NFM'21), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 1-5, Open Publishing Association (OPA), May 2021. Co-located with ETAPS 2021.

  3. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), March 2021. (Talk).

  4. Joaquín Arias, Gopal Gupta, Manuel Carro. A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. Proceedings of the 37th ICLP 2021 Workshops, Vol. 2970, CEUR-WS.org, 2021.

  5. Jan Wielemaker, Joaquín Arias, Gopal Gupta. s(CASP) for SWI-Prolog. Proceedings of the 37th ICLP 2021 Workshops, Vol. 2970, CEUR-WS.org, 2021.

  6. Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta. Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. Proc. 8th Workshop on Horn Clause Verification and Synthesis, Vol. 344, pages 79-90, 2021.

  7. Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta. Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. Proc. 8th Workshop on Horn Clause Verification and Synthesis, Vol. 344, pages 79-90, 2021.


Technical Reports and Manuals:

  1. Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Num. 2106.14566 [cs.AI], arXiv, June 2021.

  2. M.A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. Num. CLIP-1/2021.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, May 2021.

  3. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.20). April 2021. Available at http://ciao-lang.org.

  4. G. Garcia-Pradales, J.F. Morales, M. V. Hermenegildo. The Ciao Playground. Technical University of Madrid (UPM) and IMDEA Software Institute, 2021.


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 Mon May 20 12:24:05 PM CEST 2024