| Abstract extensionality: on the properties of incomplete abstract interpretations R Bruni, R Giacobazzi, R Gori, I Garcia-Contreras, D Pavlovic Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 20 | 2019 |
| Semantic code browsing I Garcia-Contreras, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016 | 16 | 2016 |
| Incremental and Modular Context-sensitive Analysis I GARCIA-CONTRERAS, JF MORALES, MV HERMENEGILDO Theory and Practice of Logic Programming 21 (2), 196-243, 2021 | 11 | 2021 |
| Incremental analysis of logic programs with assertions and open predicates I Garcia-Contreras, JF Morales, MV Hermenegildo Logic-Based Program Synthesis and Transformation: 29th International …, 2020 | 8 | 2020 |
| Multivariant assertion-based guidance in abstract interpretation I Garcia-Contreras, JF Morales, MV Hermenegildo Logic-Based Program Synthesis and Transformation: 28th International …, 2019 | 7 | 2019 |
| Verifly: On-the-fly Assertion checking via incrementality MA Sanchez-Ordaz, I Garcia-Contreras, V PEREZ, JF Morales, ... Theory and Practice of Logic Programming 21 (6), 768-784, 2021 | 6 | 2021 |
| Towards Incremental and Modular Context-Sensitive Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Communications of the 34th International Conference on Logic …, 2018 | 5 | 2018 |
| Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP I Garcia-Contreras, J Morales, MV Hermenegildo 10th Workshop on Tools for Automatic Program Analysis (TAPAS’19), 2019 | 2 | 2019 |
| An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Report CLIP, 2018 | 2* | 2018 |
| Efficient Modular SMT-Based Model Checking of Pointer Programs I Garcia-Contreras, A Gurfinkel, JA Navas Static Analysis: 29th International Symposium, SAS 2022, Auckland, New …, 2022 | | 2022 |
| A scalable static analysis framework for reliable program development exploiting incrementality and modularity I García Contreras ETSI_Informatica, 2021 | | 2021 |
| Incrementalizing Context-sensitive Analyses for Modularized Programs I García-Contreras, JF Morales, MV Hermenegildo arXiv preprint arXiv:1804.01839, 2018 | | 2018 |
| VeriFly: On-the-fly Assertion Checking with CiaoPP (tool presentation) MA Sanchez-Ordaz, I Garcia-Contreras, V Pérez, JF Morales, ... | | |
| Code. Analyze. Repeat. Incremental and Modular Static Program Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo | | |
| Ingenieros Informáticos I Garcia-Contreras | | |
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
