3 papers
cs.SE2026
CONQuER: Hardware-Aware Mixed-Precision Quantisation with Online-Calibrated Surrogates
Aidan Dakhama, Ajitha Rajan
Deploying deep neural networks on resource-constrained hardware relies on mixed-precision quantisation (MPQ). current deployment toolchains severely fragment this process. Quantisa…
cs.SE2025
Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
Ayse Irmak Ercevik, Aidan Dakhama, Melane Navaratnarajah +2
Fuzzing has become a key search-based technique for software testing, but continuous fuzzing campaigns consume substantial computational resources and generate significant carbon f…
cs.SE2025
GreenMalloc: Allocator Optimisation for Industrial Workloads
Aidan Dakhama, W. B. Langdon, Hector D. Menendez +1
We present GreenMalloc, a multi objective search-based framework for automatically configuring memory allocators. Our approach uses NSGA II and rand_malloc as a lightweight proxy b…