Isabel Garcia-Contreras

According to our database, Isabel Garcia-Contreras authored at least 14 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Automatic Inference of Relational Object Invariants.

Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Speculative SAT Modulo SAT.

Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

BTOR2MLIR: A Format and Toolchain for Hardware Verification.

Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Fast Approximations of Quantifier Elimination.

Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Efficient Modular SMT-Based Model Checking of Pointer Programs.

Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

A scalable static analysis framework for reliable program development exploiting incrementality and modularity.

Isabel Garcia-Contreras

PhD thesis, 2021

VeriFly: On-the-fly Assertion Checking via Incrementality.

Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2021

Incremental and Modular Context-sensitive Analysis.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2021

2020

Abstract extensionality: on the properties of incomplete abstract interpretations.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic

Proc. ACM Program. Lang., 2020

2019

Incremental Analysis of Logic Programs with Assertions and Open Predicates.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

CoRR, 2018

Multivariant Assertion-Based Guidance in Abstract Interpretation.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Towards Incremental and Modular Context-Sensitive Analysis.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2016

Semantic code browsing.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2016