Isabel Garcia-Contreras

21 papers B 2C 2Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Automatic Inference of Relational Object Invariants.
VMCAI (1)
Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras
2024 J jnl
Automatic Inference of Relational Object Invariants.
CoRR
Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras
2024 — conf
Speculative SAT Modulo SAT.
TACAS (1)
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
2023 B conf
BTOR2MLIR: A Format and Toolchain for Hardware Verification.
FMCAD
Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel
2023 J jnl
Btor2MLIR: A Format and Toolchain for Hardware Verification.
CoRR
Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel
2023 — conf
Fast Approximations of Quantifier Elimination.
CAV (2)
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2023 J jnl
Fast Approximations of Quantifier Elimination.
CoRR
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2023 J jnl
Speculative SAT Modulo SAT.
CoRR
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
2022 B conf
Efficient Modular SMT-Based Model Checking of Pointer Programs.
SAS
Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas
2021 — —
A scalable static analysis framework for reliable program development exploiting incrementality and modularity.
Isabel Garcia-Contreras
2021 J jnl
Incremental and Modular Context-sensitive Analysis.
Theory Pract. Log. Program.
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2021 J jnl
VeriFly: On-the-fly Assertion Checking via Incrementality.
CoRR
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2021 J jnl
VeriFly: On-the-fly Assertion Checking via Incrementality.
Theory Pract. Log. Program.
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2020 J jnl
Abstract extensionality: on the properties of incomplete abstract interpretations.
Proc. ACM Program. Lang.
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic
2019 C conf
Incremental Analysis of Logic Programs with Assertions and Open Predicates.
LOPSTR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.
CoRR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 C conf
Multivariant Assertion-Based Guidance in Abstract Interpretation.
LOPSTR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
Multivariant Assertion-based Guidance in Abstract Interpretation.
CoRR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 — conf
Towards Incremental and Modular Context-Sensitive Analysis.
ICLP (Technical Communications)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2016 J jnl
Semantic Code Browsing.
CoRR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2016 J jnl
Semantic code browsing.
Theory Pract. Log. Program.
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo