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.

2017

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
RN/17/02

[temporarily not available]

Nicolas E GoldDavid BinkleyMark HarmanSyed IslamJens KrinkeShin Yoo
RN/17/03

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
RN/17/05

Long-Term Evolution in Genetic Programming

William B. Langdon

2016

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
RN/16/03

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
RN/16/06

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
RN/16/08

A Substructural Epistemic Resource Logic (Extended Version)

Didier Galmiche Pierre Kimmel David Pym
RN/16/09

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

2015

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

2014

RN NumberTitleAuthor 1Author 2Author 3Author 4Author 5Author 6
RN/14/01

Pareto Efficient Multi-Objective Regression Test Suite Prioritisation

Authors

Michael G. EpitropakisShin YooMark Harman
Edmund K. Burke
RN/14/02
Genetically Improved CUDA kernels for StereoCamera
W. B.Langdon 
Mark Harman
RN/14/03
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 
RN/14/05
The Plastic Surgery Hypothesis
Earl Barr
Yuriy Brun
Prem Devanbu
Mark Harman
Federica Sarro
RN/14/06
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
RN/14/08
Mining Mobile Phone Data to Evaluate Urban Crime Theories at Scale
Martin Traunmueller
Giovanni Quattrone
Licia Capra
RN/14/09
Seeing is Slicing: Observation Based Slicing of Picture Description Languages
Shin Yoo
David Binkley
Roger Eastman
RN/14/10
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
RN/14/11
Fairness for Infinite-State Systems
Byron CookHeidy KhlaafNir Piterman
RN/14/12
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
RN/14/14

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

2013

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