VLDB 2026 Research / reviewers in the wild / expert
Aidan Dakhama
dblp:362/6689
· DBLP profile ↗
10ranked-venue papers
3as first author
10since 2021 · last 2026
0009-0002-7318-7964ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 9 · 3 first-author · 9 since 2021Artificial intelligence and machine learning · 6 · 2 first-author · 6 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | MuSEvo: Assessing the Robustness of Multilingual Summarization Metrics Through Evolutionary Adversarial Natural Language Processing-Based Attacks
Gema Bello Orgaz, Aidan Dakhama, Cristian Ramírez-Atencia, Héctor D. Menéndez 0001 |
ICCSA (2) | 2 |
| 2026 | ApkFuzz : Search-Based Fuzzing for Android APK Vulnerability Discovery
Karine Even-Mendoza, Aidan Dakhama, Harel Berger |
SSBSE | 2 |
| 2026 | Fuzz3 : Entropy as a Third Oracle
Karine Even-Mendoza, Janine Obiri, Aidan Dakhama, Phil McMinn, William B. Langdon |
SSBSE | 3 |
| 2025 | GreenMalloc: Allocator Optimisation for Industrial Workloads
Aidan Dakhama, William B. Langdon, Héctor D. Menéndez 0001, Karine Even-Mendoza |
SSBSE | 1 |
| 2025 | Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
Ayse Irmak Ercevik, Aidan Dakhama, Melane Navaratnarajah, Yazhuo Cao, Leonardo Fernandes |
SSBSE | 2 |
| 2025 | Enhancing search-based testing with LLMs for finding bugs in system simulatorsabstractAbstract Despite the wide availability of automated testing techniques such as fuzzing, little attention has been devoted to testing computer architecture simulators. We propose a fully automated approach for this task. Our approach uses large language models (LLM) to generate input programs, including information about their parameters and types, as test cases for the simulators. The LLM’s output becomes the initial seed for an existing fuzzer, , which has been enhanced with three mutation operators, targeting both the input binary program and its parameters. We implement our approach in a tool called . We use it to test the system simulator. discovered 21 new bugs in , 14 where ’s software prediction differs from the real behaviour on actual hardware, and 7 where it crashed. New defects were uncovered with each of the 6 LLMs used. Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez 0001, Justyna Petke |
Autom. Softw. Eng. | 1 |
| 2024 | Responsible MLOps Design Methodology for an Auditing System for AI-Based Clinical Decision Support Systems
Pepita Barnard, John Robert Bautista, Aidan Dakhama, Arya Farahi, Kazim Laos, Anqi Liu 0001, Héctor D. Menéndez 0001 |
ICTSS | 3 |
| 2024 | Automatic Summarization Evaluation: Methods and Practices
Héctor D. Menéndez 0001, Aidan Dakhama |
ICTSS | 2 |
| 2023 | StableYolo: Optimizing Image Generation for Large Language Models
Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David A. Kelly, Héctor D. Menéndez 0001, Rebecca Moussa, Federica Sarro |
SSBSE | 2 |
| 2023 | SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models
Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez 0001, Justyna Petke |
SSBSE | 1 |