CLIP Group's Publications in 2024

Articles in Refereed Conferences:

1. Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo. An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. Proceedings of the 31st Static Analysis Symposium (SAS 2024), LNCS, Vol. 14995, Springer, October 2024.

Technical Reports and Manuals:

1. Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. Abstract Environment Trimming. Num. CLIP-2/2024.0, IMDEA Software Institute and Technical University of Madrid (UPM), May 2024.

2. Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo. An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. Num. CLIP-1/2024.0, IMDEA Software Institute and Technical University of Madrid (UPM), May 2024.

3. Louis Rustenholz, Maximiliano Klemen, Miguel Ángel Carreira-Perpiñán, Pedro López-García. A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs. 2024. Under consideration for publication in TPLP.