Follow
Isabel Garcia-Contreras
Title
Cited by
Cited by
Year
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
272019
Semantic code browsing
I Garcia-Contreras, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016
182016
Incremental and Modular Context-sensitive Analysis
I GARCIA-CONTRERAS, JF MORALES, MV HERMENEGILDO
Theory and Practice of Logic Programming 21 (2), 196-243, 2021
15*2021
Incremental analysis of logic programs with assertions and open predicates
I Garcia-Contreras, JF Morales, MV Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2019
92019
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
72021
Multivariant assertion-based guidance in abstract interpretation
I Garcia-Contreras, JF Morales, MV Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
72018
Towards Incremental and Modular Context-Sensitive Analysis
I Garcia-Contreras, JF Morales, MV Hermenegildo
Technical Communications of the 34th International Conference on Logic …, 2018
52018
Efficient Modular SMT-Based Model Checking of Pointer Programs
I Garcia-Contreras, A Gurfinkel, JA Navas
International Static Analysis Symposium, 227-246, 2022
22022
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
22019
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs
I Garcia-Contreras, JF Morales, MV Hermenegildo
Technical Report CLIP, 2018
22018
Btor2MLIR: A Format and Toolchain for Hardware Verification
J Tafese, I Garcia-Contreras, A Gurfinkel
arXiv preprint arXiv:2309.09100, 2023
2023
Fast Approximations of Quantifier Elimination
I Garcia-Contreras, VKH Govind, S Shoham, A Gurfinkel
International Conference on Computer Aided Verification, 64-86, 2023
2023
Speculative SAT Modulo SAT
I Garcia-Contreras, HG V K, S Shoham, A Gurfinkel
arXiv preprint arXiv:2306.17765, 2023
2023
A scalable static analysis framework for reliable program development exploiting incrementality and modularity
I García Contreras
ETSI_Informatica, 2021
2021
Generación de flujos en redes multigigabit ethernet acelerada mediante hardware dedicado
I García Contreras
2015
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
The system can't perform the operation now. Try again later.
Articles 1–17