Research Notes

To obtain a unique RN Number please email the Research Student Administrator, with the title and names of co-authors. Once the Administrator gives you a RN number then please fill out a UCL template cover page and attach it to your Research Note and send the document over as a pdf. There is also a standard LaTeX template and a two-column LaTeX template.



Please be aware that as of 2016, all Research Notes should be uploaded directly to the UCL Research Publications Service (RPS) database.



RN NumberTitleAuthor 1Author 2Author 3Author 4Author 5Author 6
RN/17/01Approximate Oracles and Synergy in Software Energy Search SpacesBobby R BruceJustyna PetkeMark HarmanEarl T Barr

[temporarily not available]

Nicolas E GoldDavid BinkleyMark HarmanSyed IslamJens KrinkeShin Yoo

No Good Reason to Remove Features: Expert Users Value Useful Apps over Secure Ones

Steve Dodier-LazaroIngolf BeckerJens KrinkeAngela Sasse
RN/17/04[temporarily not available]Chaiyong Ragkhitwetsagul Jens KrinkeDavid Clark

Long-Term Evolution in Genetic Programming

William B. Langdon
RN/17/06A Stone-type duality theorem for Separation Logic via its underlying bunched logicsSimon DochertyDavid Pym

Deep Parameter Optimisation for Face Detection Using the Viola-Jones Algorithm in OpenCV : A Correction

Bobby R. Bruce



RN NumberTitleAuthor 1Author 2Author 3Author 4Author 5Author 6
RN/16/01Optimising Quantisation Noise In Energy MeasurementW. B. LangdonJustyna PetkeBobby R. Bruce


RN/16/02A Survey of App Store Analysis for Software EngineeringWilliam MartinFederica SarroYue JiaYuanyuan ZhangMark Harman

Intuitionistic Layered Graph Logic. 

Simon DochertyDavid Pym
RN/16/04The Genetic Improvement Fitness LandscapeWilliam B. Langdon
RN/16/05Fitness Landscape of the Triangle ProgramWilliam B. LangdonMark Harman

PREM: Prestige Network Enhanced Developer-Task Matching for Crowdsourced Software Development

Ke MaoQing WangYue JiaMark Harman
RN/16/07An Empirical Study of Cohesion and Coupling: Balancing Optimisation and DisruptionMatheus PaixaoMark HarmanYuanyuan ZhangYijun Yu

A Substructural Epistemic Resource Logic (Extended Version)

Didier Galmiche Pierre Kimmel David Pym

ThruMapper: Through-Wall Building Tomography with a Single Mapping Robot

Bo TanKevin ChettyKyle Jamieson
RN/16/10Benchmarking BarraCUDA on Epigenetic DNA and nVidia Pascal GPUsWilliam B. Langdon




RN NumberTitleAuthor 1Author 2Author 3Author 4Author 5Author 6
RN/15/01A Survey of the Use of Crowdsourcing in Software EngineeringKe MaoLicia CapraMark Harman 

Yue Jia

RN/15/02Improving the Module Clustering of a C/C++ Editor using a Multi-objective Genetic AlgorithmMatheus PaixaoMark HarmanYuanyuan Zhang
RN/15/03Genetically Improved BarraCUDAW B LangdonBrian Yee Hong Lam
RN/15/04Completeness via canonicity for distributive substructural logics: a coalgebraic perspectiveFredrik DahlqvistDavid Pym
RN/15/05Hennessy-Milner Completeness in Transition Systems with Synchronous Concurrent Composition
Gabrielle AndersonJames BrotherstonDavid Pym
RN/15/06Substructural modal logic for optimal resource allocation
Gabrielle AndersonDavid Pym
RN/15/07Causal Impact Analysis Applied to App Releases in Google Play and Windows Phone StoreWilliam MartinFederica SarroMark Harman




RN NumberTitleAuthor 1Author 2Author 3Author 4Author 5Author 6

Pareto Efficient Multi-Objective Regression Test Suite Prioritisation


Michael G. EpitropakisShin YooMark Harman
Edmund K. Burke
Genetically Improved CUDA kernels for StereoCamera
W. B.Langdon 
Mark Harman
Faster Temporal Reasoning for Infinite-State Programs
Byron Cook
Heidy Khlaaf
Nir Piterman
RN/14/04ArrayPhaser: Enabling Signal Processing on WiFi Access Points
Jon Gjengset 
Graeme McPhillips 
Kyle Jamieson 
The Plastic Surgery Hypothesis
Earl Barr
Yuriy Brun
Prem Devanbu
Mark Harman
Federica Sarro
Bi-Intuitionistic Boolean Bunched Logic
James Brotherston
Jules Villard
RN/14/07An Empirical Study of Meta - and Hyper-Heuristic Search for Multi-Objective Release PlanningYuanyuan ZhangMark HarmanGabriela OchoaGuenther RuheSjaak Brinkkemper
Mining Mobile Phone Data to Evaluate Urban Crime Theories at Scale
Martin Traunmueller
Giovanni Quattrone
Licia Capra
Seeing is Slicing: Observation Based Slicing of Picture Description Languages
Shin Yoo
David Binkley
Roger Eastman
App Store Analysis: Mining App Stores for Relationships between Customer, Business and Technical Characteristics
Anthony Finkelstein
Mark Harman
Yue Jia
William Martin
Federica Sarro 
Yuanyuan Zhang
Fairness for Infinite-State Systems
Byron CookHeidy KhlaafNir Piterman
Life and Death in the App Store: Theory and Analysis of Feature Migration
Federico SarroYue JiaMark HarmanWilliam MartinYuanyuan Zhang
RN/14/13Computational Intelligence and TestingW. B. Langdon

No Pot of Gold at the End ofProgram Spectrum Rainbow: Greatest Risk Evaluation Formula Does Not Exist

Shin YooMark HarmanFei-Ching KuoTsong Yueh ChenXiaoyuan Xie





RN/14/15Sustainability in Information Stewardship: Time Preferences, Externalities, and Social Co-ordinationC. IoannidisD. PymJ. Williams
RN/14/16Resilience in Information Stewardship 
Christos Ioannidis
David PymJulian WilliamsIffat Gheyas
RN/14/17Wi-Fi Goes to Town: Seamless Internet Connectivity in Metropolitan Underground TransportKyle Jamieson




RN NumberTitleAuthor 1Author 2Author 3Author 4Author 5Author 6
RN/13/01 First International Workshop on Interference and DependenceKelly Androutsopoulos
RN/13/02tbcBrad Karp
RN/13/03Which is faster: Bowtie2GP > Bowtie > Bowtie2 > BWAW.B. Langdon
Cost-cognisant Test Suite Reduction for Service-centric Systems
Mustafa Bozkurt
Being There Together
Mel Slater
Anthony Steed
Martin Usoh
Theoretical Analysis of GP-Evolved Risk Evaluation Formulas for
Spectrum Based Fault Localisation
Shin Yoo
Gaussian-jittered sampling for bias-variance trade-off in stochastic integration
Kartic Subr
Jan Kautz
The QRSim quadrotors simulator
Renzo de Nardi
Efficiently Vectorized Code for Population Based Optimization Algorithms
Oliver Rice
Rickard Nyman
Mycoplasma Contamination in The 1000 Genomes Project
W. B. Langdon
Parametric Completeness for
Separation Theories
James BrotherstonJules Villard
Using Genetic Programming to Model Software
W. B. Langdon
Mark Harman
Observation-Based Slicing
David Binkley
Nicolas GoldMark HarmanJens KrinkeShin Yoo
Cyclic Abduction of Inductively Defined
Safety and Termination Preconditions
James Brotherston
Nikos Gorogiannis
A Decision Procedure for Satisfiability
in Separation Logic with Inductive
James Brotherston
Carsten Fuhs
Nikos Gorogiannis
Juan Navarro Perez
Customer-centric Optimal Software Release Problem in Cloud
Mustafa Bozkurt 
Yuanyuan Zhang
Learning Combinatorial Interaction Testing Strategies using Hyperheuristic Search
Yue Jia
Myra B. Cohen
Mark Harman 
Justyna Petke
An Analysis of the relationship between Information Squeeziness and Failed Error Propagation in Software Testing
Kelly Androutsopoulos
David ClarkHaitao DanRob Hierons
FASTER: Fine and Accurate Synchronization for Large Distributed MIMO Wireless Networks
Konstantinos Nikitopoulos
Kyle Jamieson
Geosphere: Consistently Turning MIMO Capacity into Throughput
Konstantinos Nikitopoulos
Juan Zhou
Ben Congdon 
Kyle Jamieson
Mining App Stores: Extracting Technical, Business and Customer Rating Information for Analysis and Prediction
Anthony Finkelstein
Mark Harman
Yue Jia
Federica Sarro 
Yuanyuan Zhang
Correctness of Slicing Finite State Machines
Torben Amtoft
Kelly Androutsopoulos
David Clark
Proving non-termination via safety
Hong-Yi Chen
Byron Cook
Carsten Fuhs
Kaustubh Nimkar
Peter O'Hearn