CLIP Group's Publications in 2021
Articles in Refereed Journals:
- 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,
To Appear, Cambridge U. Press,
September
2021.
Special Issue on ICLP'21.
- 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,
To Appear, Cambridge U. Press,
August
2021.
- 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:
- 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:
- 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.
- 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.
- 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.
Publications in Refereed Workshops:
- M. A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M. Hermenegildo.
VeriFly: On-the-fly Assertion Checking with CiaoPP.
6th Workshop on Formal Integrated Development Environment (F-IDE 2021),
May
2021.
- 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).
- B. Kafle, J. Gallagher, M. V. Hermenegildo, M. Klemen, P. Lopez-Garcia, J.F. Morales.
Regular Path Clauses and their Application in Solving Loops.
Proceedings of the Eighth International Workshop Horn Clauses for Verification and Synthesis (HCVS 2021),
Electronic Proceedings in Theoretical Computer Science (EPTCS),
pages 1-14,
Open Publishing Association (OPA),
august
2021.
Co-located with ETAPS 2021.
Technical Reports and Manuals:
- 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.
- F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.).
The Ciao System. Ref. Manual (V1.20).
April
2021.
Available at http://ciao-lang.org.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Last updated on Thu 14 Oct 2021 10:51:18 AM CEST