- author = "Michail Basios",
- title = "Darwinian Code Optimisation",
- school = "Department of Computer Science, University College London",
- year = "2019",
- address = "UK",
- month = "18 " # jan,
- keywords = "genetic algorithms, genetic programming, genetic improvement, SBSE, APR, Blockchain, Java, JVM, Immortal bugs, Proteus grammar, solidify, ETH, MultiSig, ICO, trampoline",
-
URL = "
https://discovery.ucl.ac.uk/id/eprint/10070648",
-
URL = "
https://discovery.ucl.ac.uk/id/eprint/10070648/1/Basios_10070648_thesis.pdf",
- size = "173 pages",
-
abstract = "Programming is laborious. A long-standing goal is to
reduce this cost through automation. Genetic
Improvement (GI) is a new direction for achieving this
goal. It applies search to the task of program
improvement. The research conducted in this thesis
applies GI to program optimisation and to enable
program optimisation. In particular, it focuses on
automatic code optimisation for complex managed
runtimes,such as Java and Ethereum Virtual Machines.
We introduce the term Darwinian Data Structures (DDS) for the data structures of a program that share a common interface and enjoy multiple implementations. We call them Darwinian since we can subject their implementations to the survival of the fittest. We introduce ARTEMIS, a novel cloud-based multi-objective multi-language optimisation framework that automatically finds optimal, tuned data structures and rewrites the source code of applications accordingly to use them. ARTEMIS achieves substantial performance improvements for 44 diverse programs. ARTEMIS achieves 4.8percent, 10.1percent, 5.1percent median improvement for runtime, memory and CPU usage.
Even though GI has been applied successfully to improve properties of programs running in different runtimes, GI has not been applied in Blockchains, such as Ethereum. The code immutability of programs running on top of Ethereum limits the application of GI. The first step of applying GI in Ethereum is to overcome the code immutability limitations. Thus, to enable optimisation, we present PROTEUS, a state of the art framework that automatically extends the functionality of smart contracts written in Solidity and makes them upgradeable. Thus, allowing developers to introduce alternative optimised versions of code (e.g., code that consumes less gas), found by GI, in newer versions.",
-
notes = "http://www.darwinianoptimiser.com/
Supervisor: Earl T. Barr",
