I obtained my PhD in Artificial Intelligence at UPM while
working in the IMDEA Software Institute
with an FPU scholarship. I was part of the development
team of the Ciao programming language,
specially focused on the abstract interpreter of its preprocessor, CiaoPP.
My research interests include static analysis and verification of
software, abstract interpretation, (constraint) logic programming,
and semantic code search. Particularly, I am interested in the scalability
challenges that these techniques pose.
Email: isabel dot garcia at pm dot me
PhD in Artificial Intelligence - Universidad Politécnica de Madrid
Thesis: A scalable static
analysis framework for reliable program development exploiting
incrementality and modularity
MSc in Artificial Intelligence - Universidad Politécnica de Madrid
Master Thesis: Code Search: A Semantic, Abstract Interpretation-based Approach
Degree in Computer Engineering - Universidad Autónoma de Madrid
Final Project: Generación de Flujos en Redes Multigigabit Ethernet Acelerada
Mediante Hardware Dedicado
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.
I. Garcia-Contreras, J. F. Morales, M. V.
Hermenegildo. Incremental and Modular Context-sensitive Analysis. Theory and Practice of Logic Programming ,
page 196-243, Cambridge U. Press, January 2021 (DOI: 10.1017/S1471068420000496).
R. Bruni, R. Giacobazzi, R. Gori, I. Garcia-Contreras, and D. Pavlovic. Abstract
Extensionality – On the Properties of Incomplete
Abstract Interpretations. In
Proc. ACM Symposium on Principles of Programming
Languages 2020, January 2020 (DOI: 10.1145/3371096).
I. Garcia-Contreras, J.F. Morales, and M. V. Hermenegildo. Incremental
Analysis of Logic Programs with Assertions and Open
Proceedings of the 29th International Symposium on
Logic-based Program Synthesis and Transformation (LOPSTR’19), LNCS. Springer-Verlag,
2020 (DOI: 10.1007/978-3-030-45260-5_3). [slides]
I. Garcia-Contreras, J.F. Morales, and M. V. Hermenegildo. Experiments
in Context-Sensitive Incremental and Modular Static
Analysis in CiaoPP. In
10th Workshop on Tools for Automatic Program Analysis (TAPAS’19), October 2019. (Extended Abstract).
I. Garcia-Contreras, J.F. Morales, and M. V. Hermenegildo. Multivariant
Assertion-based Guidance in Abstract Interpretation. In
Proceedings of the 28th International Symposium on
Logic-based Program Synthesis and Transformation (LOPSTR’18),
number 11408 in LNCS, pages 184–201. Springer-Verlag,
January 2019 (DOI: 10.1007/978-3-030-13838-7_11).
I. Garcia-Contreras, J. F. Morales, and M. V.
Hermenegildo. Semantic Code Browsing. Theory
and Practice of Logic Programming, 32nd Int’l.
Conference on Logic Programming (ICLP’16) Special
Issue, 16(5-6):721–737, September 2016 (DOI: 10.1017/S1471068416000417).
- CAV 2021 - Artifact Evaluation Committee
- VMCAI 2021 - Artifact Evaluation Committee
- ICLP 2018 - Subreviewer
- LOPSTR 2016 Special Issue - Subreviewer
programming: Logic and constraints
(TA), Technical University of Madrid (UPM) (Feb - July) on 2019, 2020, and 2021.