Isabel Garcia-Contreras

21 papers B 2C 2Journal 12Unranked 4

Year	Rank	Type	Title / 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