Karine Even-Mendoza
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
7
Active years
2017–2026
Best venue rank
B
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Toward Live Noise Fingerprinting for Discrepancy Analysis in Quantum Software Engineering. | Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Vasileios Klimis, Mohammad Reza Mousavi |
| 2026 | SSBSE | VFL-Searcher: Optimizing Stealthy Adversarial Dominating Inputs. | Pichsereyvattana Chan, Karine Even-Mendoza, Harel Berger |
| 2026 | SSBSE | ApkFuzz : Search-Based Fuzzing for Android APK Vulnerability Discovery. | Karine Even-Mendoza, Aidan Dakhama, Harel Berger |
| 2026 | SSBSE | Fuzz3 : Entropy as a Third Oracle. | Karine Even-Mendoza, Janine Obiri, Aidan Dakhama, Phil McMinn, William B. Langdon |
| 2025 | SSBSE | HotCat: Green and Effective Feature Selection toward Hotfix Bug Taxonomy. | Luis De La Cal, Yazhuo Cao, Ayse Irmak Ercevik, Giovanni Pinna, Lukas Twist, David Williams, Karine Even-Mendoza, William B. Langdon, Hctor D. Menndez, Federica Sarro |
| 2025 | SSBSE | GreenMalloc: Allocator Optimisation for Industrial Workloads. | Aidan Dakhama, William B. Langdon, Hctor D. Menndez, Karine Even-Mendoza |
| 2025 | SSBSE | GA4GC: Greener Agent for Greener Code via Multi-objective Configuration Optimization. | Jingzhi Gong, Yixin Bian, Luis De La Cal, Giovanni Pinna, Anisha Uteem, David Williams, Mar Zamorano, Karine Even-Mendoza, William B. Langdon, Hctor D. Menndez, Federica Sarro |
| 2023 | ISSTA | GrayC: Greybox Fuzzing of Compilers and Analysers for C. | Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar |
| 2023 | SSBSE | StableYolo: Optimizing Image Generation for Large Language Models. | Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David A. Kelly, Hctor D. Menndez, Rebecca Moussa, Federica Sarro |
| 2023 | SSBSE | Enhancing Genetic Improvement Mutations Using Large Language Models. | Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania |
| 2023 | SSBSE | SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models. | Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Hctor D. Menndez, Justyna Petke |
| 2019 | MEMOCODE | Lattice-based SMT for program verification. | Karine Even-Mendoza, Antti E. J. Hyvrinen, Hana Chockler, Natasha Sharygina |
| 2018 | LPAR | Function Summarization Modulo Theories. | Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler |
| 2017 | SAT | Theory Refinement for Program Verification. | Antti E. J. Hyvrinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina |
| 2017 | TACAS | HiFrog: SMT-based Function Summarization for Software Verification. | Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |