Isabel Garcia-Contreras
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VMCAI | Automatic Inference of Relational Object Invariants. | Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras |
| 2024 | TACAS | Speculative SAT Modulo SAT. | Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel |
| 2023 | CAV | Fast Approximations of Quantifier Elimination. | Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel |
| 2023 | FMCAD | BTOR2MLIR: A Format and Toolchain for Hardware Verification. | Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |
| 2022 | SAS | Efficient Modular SMT-Based Model Checking of Pointer Programs. | Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas |
| 2019 | LOPSTR | Incremental Analysis of Logic Programs with Assertions and Open Predicates. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | ICLP | Towards Incremental and Modular Context-Sensitive Analysis. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | LOPSTR | Multivariant Assertion-Based Guidance in Abstract Interpretation. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |