Scholar
Aidan Dakhama
Google Scholar ID: KeKosnAAAAAJ
King's College London
Testing Software
GPU
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
39
H-index
3
i10-index
2
Publications
7
Co-authors
10
list available
Contact
No contact links provided.
Publications
3 items
CONQuER: Hardware-Aware Mixed-Precision Quantisation with Online-Calibrated Surrogates
2026
Cited
0
Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
2025
Cited
0
GreenMalloc: Allocator Optimisation for Industrial Workloads
2025
Cited
0
Resume (English only)
Co-authors
10 total
Héctor D. Menéndez
King's College London
Karine Even-Mendoza
King's College London
Justyna Petke
Professor of Software Engineering, University College London, United Kingdom
w b langdon
UCL
Zishuo Ding
The Hong Kong University of Science and Technology (Guangzhou)
Harel Berger
Ariel University
David A. Kelly
King's College London
Rebecca Moussa
JP Morgan & Chase