Search Results for author: David Walker

Found 2 papers, 0 papers with code

Visualising Evolution History in Multi- and Many-Objective Optimisation

no code implementations22 Jun 2020 Mathew Walter, David Walker, Matthew Craven

However, challenges of transparency arise in both visualising the processes of an optimiser operating through a problem and understanding the problem features produced from many-objective problems, where comprehending four or more spatial dimensions is difficult.

Evolutionary Algorithms

Synthesizing Symmetric Lenses

no code implementations26 Oct 2018 Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Recent work has also demonstrated how techniques from type-directed program synthesis can be used to efficiently synthesize a very simple class of lenses --- so-called bijective lenses over string data --- given a pair of types (regular expressions) and a small number of examples.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.