• Publications
  • Influence
Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava
TLDR
We use metaheuristic search to improve Google’s Guava library, finding a semantically equivalent version of com.google.common.ImmutableMultimap with reduced energy consumption. Expand
  • 23
  • 2
  • PDF
Genetic Programming + Proof Search = Automatic Improvement
TLDR
This article describes an alternative to the traditional mutation operators used, employing deterministic proof search in the sequent calculus to yield semantics-preserving transformations on algebraic data types. Expand
  • 9
  • 2
  • PDF
Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction
TLDR
We introduce Hylas, a tool for automatically optimising Spark queries embedded in source code via the application of semantics-preserving transformations. Expand
  • 12
  • 1
  • PDF
Embedded Dynamic Improvement
TLDR
We discuss the useful role that can be played by a subtype of improvement programming, which we term `Embedded Dynamic Improvement'. Expand
  • 12
  • 1
  • PDF
Genetic Programming $$\varvec{+}$$+ Proof Search $$\varvec{=}$$= Automatic Improvement
TLDR
This article describes an alternative to the traditional mutation operators used, employing deterministic proof search in the sequent calculus to yield semantics-preserving transformations on algebraic data types. Expand
  • 3
  • 1
A Research Agenda for Metaheuristic Standardization
TLDR
We propose that the development of standardized, explicit, machine-readable descriptions of metaheuristics will greatly advance scientific progress in the field. Expand
  • 26
  • PDF
Repairing and Optimizing Hadoop hashCode Implementations
TLDR
We describe how contract violations in JavaTM hashCode methods can be repaired using novel combination of semantics-preserving and generative methods, the latter being achieved via Automatic Improvement Programming. Expand
  • 16
  • PDF
Asymptotic Genetic Improvement Programming via Type Functors and Catamorphisms
Genetic Improvement Programming (GIP) is an increasingly important technique for software maintenance. It employs Genetic Programming (GP) to optimize human-generated source code for a variety ofExpand
  • 11
  • PDF
Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics
TLDR
This paper introduces Haiku, a combinator tool-kit written in the Scala language that facilitates the composition of metaheuristic components via combinators, extending previous work in the pure functional language Haskell. Expand
  • 5
  • PDF
Dependency Injection for Programming by Optimization
TLDR
We show that the architectural pattern of Dependency Injection can be used to improve the existing weaver-based Programming by Optimization tools. Expand
  • 6
  • PDF
...
1
2
...