Darwinian data structure selection

M Basios, L Li, F Wu, L Kanthan, ET Barr - … of the 2018 26th ACM Joint …, 2018 - dl.acm.org
Data structure selection and tuning is laborious but can vastly improve an application's
performance and memory footprint. Some data structures share a common interface and …

Evaluation of genetic improvement tools for improvement of non-functional properties of software

S Zuo, A Blot, J Petke - Proceedings of the Genetic and Evolutionary …, 2022 - dl.acm.org
Genetic improvement (GI) improves both functional properties of software, such as bug
repair, and non-functional properties, such as execution time, energy consumption, or …

Collectionswitch: A framework for efficient and dynamic collection selection

D Costa, A Andrzejak - … of the 2018 International Symposium on Code …, 2018 - dl.acm.org
Selecting collection data structures for a given application is a crucial aspect of the software
development. Inefficient usage of collections has been credited as a major cause of …

Multi-objective improvement of Android applications

J Callan, J Petke - Automated Software Engineering, 2025 - Springer
Non-functional properties, such as runtime or memory use, are important to mobile app
users and developers, as they affect user experience. We propose a practical approach and …

Clone detection on large scala codebases

W Rahman, Y Xu, F Pu, J Xuan, X Jia… - 2020 IEEE 14th …, 2020 - ieeexplore.ieee.org
Code clones are identical or similar code segments. The wide existence of code clones can
increase the cost of maintenance and jeopardise the quality of software. The research …

Coverage-directed Differential Testing of X. 509 Certificate Validation in SSL/TLS Implementations

P Nie, C Wan, J Zhu, Z Lin, Y Chen, Z Su - ACM Transactions on …, 2023 - dl.acm.org
Secure Sockets Layer (SSL) and Transport Security (TLS) are two secure protocols for
creating secure connections over the Internet. X. 509 certificate validation is important for …

MAGPIE: Machine automated general performance improvement via evolution of software

A Blot, J Petke - arXiv preprint arXiv:2208.02811, 2022 - arxiv.org
Performance is one of the most important qualities of software. Several techniques have thus
been proposed to improve it, such as program transformations, optimisation of software …

Repr Types: One Abstraction to Rule Them All

V Palmkvist, AÅ Thuné, E Castegren… - arXiv preprint arXiv …, 2024 - arxiv.org
The choice of how to represent an abstract type can have a major impact on the
performance of a program, yet mainstream compilers cannot perform optimizations at such a …

Genetic optimisation of c++ applications

R Giavrimis, A Butler, CC Petrescu… - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Software developers sometimes use inef-ficient data structures or library interfaces without
considering the potential impact they may have during the runtime of a program. This is due …

Optimising SQL queries using genetic improvement

J Callan, J Petke - 2021 IEEE/ACM International Workshop on …, 2021 - ieeexplore.ieee.org
Structured Query Language (SQL) queries are ubiquitous in modern software engineering.
These queries can be costly when run on large databases with many entries and tables to …