Karine Even-Mendoza

28 papers A* 3A 2B 4C 1Journal 14Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	AccelerQ: Accelerating Quantum Eigensolvers with Machine Learning on Quantum Simulators. Proc. ACM Program. Lang. Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Connor Lenihan
2025	J	`jnl`	Enhancing search-based testing with LLMs for finding bugs in system simulators. Autom. Softw. Eng. Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez, Justyna Petke
2025	J	`jnl`	Front Matter, Table of Contents, Preface, Conference Organization. Dagstuhl Artifacts Ser. Karine Even-Mendoza, Raphaël Monat, Yannick Zakowski
2025	J	`jnl`	GA4GC: Greener Agent for Greener Code via Multi-Objective Configuration Optimization. CoRR Jingzhi Gong, Yixin Bian, Luis De La Cal, Giovanni Pinna, Anisha Uteem, David Williams, Mar Zamorano, Karine Even-Mendoza, William B. Langdon, Héctor Menéndez, Federica Sarro
2025	J	`jnl`	GreenMalloc: Allocator Optimisation for Industrial Workloads. CoRR Aidan Dakhama, William B. Langdon, Héctor D. Menéndez, Karine Even-Mendoza
2025	A*	`conf`	LLM-Guided Genetic Improvement: Envisioning Semantic Aware Automated Software Evolution. ASE Karine Even-Mendoza, Alexander E. I. Brownlee, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
2025	J	`jnl`	LLM-Guided Genetic Improvement: Envisioning Semantic Aware Automated Software Evolution. CoRR Karine Even-Mendoza, Alexander E. I. Brownlee, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
2025	J	`jnl`	Large language model based mutations in genetic improvement. Autom. Softw. Eng. Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
2025	A*	`conf`	ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs. ASE Iti Shree, Karine Even-Mendoza, Tomasz Radzik
2025	J	`jnl`	ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs. CoRR Iti Shree, Karine Even-Mendoza, Tomasz Radzik
2025	—	`conf`	Search+LLM-Based Testing for ARM Simulators. SEIP@ICSE Karine Even-Mendoza, Héctor D. Menéndez, William B. Langdon, Aidan Dakhama, Justyna Petke, Bobby R. Bruce
2025	J	`jnl`	Shaking Up Quantum Simulators with Fuzzing and Rigour. Proc. ACM Program. Lang. Vasileios Klimis, Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Connor Lenihan
2025	J	`jnl`	Toward Live Noise Fingerprinting in Quantum Software Engineering. CoRR Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Vasileios Klimis
2024	J	`jnl`	Accelerating Quantum Eigensolver Algorithms With Machine Learning. CoRR Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Connor Lenihan
2024	J	`jnl`	Front Matter, Table of Contents, Preface, Conference Organization. Dagstuhl Artifacts Ser. Karine Even-Mendoza, Raphaël Monat
2023	B	`conf`	Enhancing Genetic Improvement Mutations Using Large Language Models. SSBSE Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
2023	J	`jnl`	Enhancing Genetic Improvement Mutations Using Large Language Models. CoRR Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
2023	A	`conf`	GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
2023	B	`conf`	SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models. SSBSE Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez, Justyna Petke
2023	B	`conf`	StableYolo: Optimizing Image Generation for Large Language Models. SSBSE Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David A. Kelly, Héctor D. Menéndez, Rebecca Moussa, Federica Sarro
2022	J	`jnl`	CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
2020	A*	`conf`	Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
2020	—	`—`	Efficient SMT-based verification of software programs. Karine Even-Mendoza
2019	C	`conf`	Lattice-based SMT for program verification. MEMOCODE Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
2018	B	`conf`	Function Summarization Modulo Theories. LPAR Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
2018	—	`conf`	Lattice-Based Refinement in Bounded Model Checking. VSTTE Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
2017	—	`conf`	HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2017	A	`conf`	Theory Refinement for Program Verification. SAT Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina