Genetic Optimisation of C++ Applications. - Rafail Giavrimis; Alexis Butler; Constantin Cezar Petrescu; Michail Basios; Santanu Kumar Dash 001 (ASE, 2021)

evoML Yellow Paper: Evolutionary AI and Optimisation Studio. - Lingbo Li 001; Leslie Kanthan; Michail Basios; Fan Wu 009; Manal Adham; Vitali Avagyan; Alexis Butler; Paul Brookes; Rafail Giavrimis; Buhong Liu; Chrystalla Pavlou; Matthew Truscott; et al. (CoRR, 2022)

Software Supply Chain Risk: Characterization, Measurement & Attenuation. - Alexis Butler (ASE, 2024)

Checking Test Suite Efficacy Through Dual-Channel Techniques. - Constantin Cezar Petrescu; Sam Smith; Alexis Butler; Santanu Kumar Dash 001 (ICTSS, 2024)