Karine Even-Mendoza

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Language Models For Information Retrieval

Language Modelling

Modulo Theories

Bounded Model Checking

Top Venues

Publications

Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
Enhancing Genetic Improvement Mutations Using Large Language Models. SSBSE (2023)
Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA (2023)
Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David Kelly, Héctor D. Menéndez, Rebecca Moussa, Federica Sarro
StableYolo: Optimizing Image Generation for Large Language Models. SSBSE (2023)
Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
Enhancing Genetic Improvement Mutations Using Large Language Models. CoRR (2023)
Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez, Justyna Petke
SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models. SSBSE (2023)
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. 27 (6) (2022)
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE (2020)
Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
Lattice-based SMT for program verification. MEMOCODE (2019)
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
Function Summarization Modulo Theories. LPAR (2018)
Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
Lattice-Based Refinement in Bounded Model Checking. VSTTE (2018)
Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) (2017)
Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina
Theory Refinement for Program Verification. SAT (2017)