Isabel Garcia-Contreras

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Abstract Interpretation

Top Venues

Theory Pract. Log. Program.

Proc. ACM Program. Lang.

Publications

Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
Speculative SAT Modulo SAT. TACAS (1) (2024)
Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel
Btor2MLIR: A Format and Toolchain for Hardware Verification. CoRR (2023)
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
Speculative SAT Modulo SAT. CoRR (2023)
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Fast Approximations of Quantifier Elimination. CAV (2) (2023)
Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel
BTOR2MLIR: A Format and Toolchain for Hardware Verification. FMCAD (2023)
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Fast Approximations of Quantifier Elimination. CoRR (2023)
Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas
Efficient Modular SMT-Based Model Checking of Pointer Programs. SAS (2022)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR (2021)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Incremental and Modular Context-sensitive Analysis. Theory Pract. Log. Program. 21 (2) (2021)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21 (6) (2021)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic
Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. 4 (POPL) (2020)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Incremental Analysis of Logic Programs with Assertions and Open Predicates. LOPSTR (2019)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Multivariant Assertion-Based Guidance in Abstract Interpretation. LOPSTR (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Towards Incremental and Modular Context-Sensitive Analysis. ICLP (Technical Communications) (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Multivariant Assertion-based Guidance in Abstract Interpretation. CoRR (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. CoRR (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Semantic Code Browsing. CoRR (2016)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Semantic code browsing. Theory Pract. Log. Program. 16 (5-6) (2016)