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.
2019
Please be aware that as of 2016, all Research Notes should be uploaded directly to the UCL Research Publications Service (RPS) database.
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | |
---|---|---|---|---|---|---|---|
RN/19/01 | Faster Genetic Programming GPquick via multicore and Advanced Vector Extensions" | W.B. Langdon | |||||
RN/19/02 | The State and Future of Genetic Improvement | W.B Langdon | Westley Weimer | Christopher Timperley | Oliver Krauss | et al. |
2018
Please be aware that as of 2016, all Research Notes should be uploaded directly to the UCL Research Publications Service (RPS) database.
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | |
---|---|---|---|---|---|---|---|
RN/18/01 | Security Kairos: The Art and Science of Raising Awareness and Offering Consumer Advice at Point-of-Sale" | Simon Parkin | M. Angela Sasse | Lynne Coventry | |||
RN/18/02 | CUDA RNAfold | W.B. Langdon | R. Lorenz | ||||
RN/18/03 | A Substructural Epistemic Resource Logic (Extended version) | Didier Galmiche | Pierre Kimmel | David Pym | |||
RN/18/04 | Towards automatic generation and insertion of OpenACC directives | Bobby R. Bruce | Justyna Petke | ||||
RN/18/05 | Evolving Square Root into Binary Logarithm | W.B. Langdon | |||||
RN/18/06 | Genetic Improvement GISMOE Blue Software Tool Demo | W.B. Langdon | |||||
RN/18/07 | Human-Competitive Awards 2018 | W.B. Langdon |
2017
Please be aware that as of 2016, all Research Notes should be uploaded directly to the UCL Research Publications Service (RPS) database.
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | Author 6 |
---|---|---|---|---|---|---|---|
RN/17/01 | Approximate Oracles and Synergy in Software Energy Search Spaces | Bobby R Bruce | Justyna Petke | Mark Harman | Earl T Barr | ||
RN/17/02 | [temporarily not available] | Nicolas E Gold | David Binkley | Mark Harman | Syed Islam | Jens Krinke | Shin Yoo |
RN/17/03 | No Good Reason to Remove Features: Expert Users Value Useful Apps over Secure Ones | Steve Dodier-Lazaro | Ingolf Becker | Jens Krinke | Angela Sasse | ||
RN/17/04 | [temporarily not available] | Chaiyong Ragkhitwetsagul | Jens Krinke | David Clark | |||
RN/17/05 | Long-Term Evolution in Genetic Programming | William B. Langdon | |||||
RN/17/06 | A Stone-type duality theorem for Separation Logic via its underlying bunched logics | Simon Docherty | David Pym | ||||
RN/17/07 | Deep Parameter Optimisation for Face Detection Using the Viola-Jones Algorithm in OpenCV : A Correction | Bobby R. Bruce | |||||
Evolving better RNAfold C source code | W. B. Langdon |
| |||||
RN/17/09 | Feature Adjustment in Kernel Space when using Cross-Validation | Anil Rao | Janaina Mourao-Miranda | ||||
RN/17/10 | Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey | Chaiyong Ragkhitwetsagul | Jens Krinke | Rocco Oliveto |
2016
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | Author 6 |
---|---|---|---|---|---|---|---|
RN/16/01 | Optimising Quantisation Noise In Energy Measurement | W. B. Langdon | Justyna Petke | Bobby R. Bruce |
| ||
RN/16/02 | A Survey of App Store Analysis for Software Engineering | William Martin | Federica Sarro | Yue Jia | Yuanyuan Zhang | Mark Harman | |
RN/16/03 | Intuitionistic Layered Graph Logic. | Simon Docherty | David Pym | ||||
RN/16/04 | The Genetic Improvement Fitness Landscape | William B. Langdon | |||||
RN/16/05 | Fitness Landscape of the Triangle Program | William B. Langdon | Mark Harman | ||||
RN/16/06 | PREM: Prestige Network Enhanced Developer-Task Matching for Crowdsourced Software Development | Ke Mao | Qing Wang | Yue Jia | Mark Harman | ||
RN/16/07 | An Empirical Study of Cohesion and Coupling: Balancing Optimisation and Disruption | Matheus Paixao | Mark Harman | Yuanyuan Zhang | Yijun 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 Tan | Kevin Chetty | Kyle Jamieson | |||
RN/16/10 | Benchmarking BarraCUDA on Epigenetic DNA and nVidia Pascal GPUs | William B. Langdon |
2015
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | Author 6 |
---|---|---|---|---|---|---|---|
RN/15/01 | A Survey of the Use of Crowdsourcing in Software Engineering | Ke Mao | Licia Capra | Mark Harman | Yue Jia | ||
RN/15/02 | Improving the Module Clustering of a C/C++ Editor using a Multi-objective Genetic Algorithm | Matheus Paixao | Mark Harman | Yuanyuan Zhang | |||
RN/15/03 | Genetically Improved BarraCUDA | W B Langdon | Brian Yee Hong Lam | ||||
RN/15/04 | Completeness via canonicity for distributive substructural logics: a coalgebraic perspective | Fredrik Dahlqvist | David Pym | ||||
RN/15/05 | Hennessy-Milner Completeness in Transition Systems with Synchronous Concurrent Composition | Gabrielle Anderson | James Brotherston | David Pym | |||
RN/15/06 | Substructural modal logic for optimal resource allocation | Gabrielle Anderson | David Pym | ||||
RN/15/07 | Causal Impact Analysis Applied to App Releases in Google Play and Windows Phone Store | William Martin | Federica Sarro | Mark Harman |
2014
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | Author 6 |
---|---|---|---|---|---|---|---|
RN/14/01 | Pareto Efficient Multi-Objective Regression Test Suite Prioritisation Authors | Michael G. Epitropakis | Shin Yoo | Mark 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/04 | ArrayPhaser: 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/07 | An Empirical Study of Meta - and Hyper-Heuristic Search for Multi-Objective Release Planning | Yuanyuan Zhang | Mark Harman | Gabriela Ochoa | Guenther Ruhe | Sjaak 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 Cook | Heidy Khlaaf | Nir Piterman | |||
RN/14/12 | Life and Death in the App Store: Theory and Analysis of Feature Migration | Federico Sarro | Yue Jia | Mark Harman | William Martin | Yuanyuan Zhang | |
RN/14/13 | Computational Intelligence and Testing | W. B. Langdon | |||||
RN/14/14 | No Pot of Gold at the End ofProgram Spectrum Rainbow: Greatest Risk Evaluation Formula Does Not Exist | Shin Yoo | Mark Harman | Fei-Ching Kuo | Tsong Yueh Chen | Xiaoyuan Xie | |
RN/14/15 | Sustainability in Information Stewardship: Time Preferences, Externalities, and Social Co-ordination | C. Ioannidis | D. Pym | J. Williams | |||
RN/14/16 | Resilience in Information Stewardship | Christos Ioannidis | David Pym | Julian Williams | Iffat Gheyas | ||
RN/14/17 | Wi-Fi Goes to Town: Seamless Internet Connectivity in Metropolitan Underground Transport | Kyle Jamieson |
2013
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | Author 6 |
---|---|---|---|---|---|---|---|
RN/13/01 | First International Workshop on Interference and Dependence | Kelly Androutsopoulos | |||||
RN/13/02 | tbc | Brad Karp | |||||
RN/13/03 | Which is faster: Bowtie2GP > Bowtie > Bowtie2 > BWA | W.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 Brotherston | Jules Villard | ||||
RN/13/12 | Using Genetic Programming to Model Software | W. B. Langdon | Mark Harman | ||||
RN/13/13 | Observation-Based Slicing | David Binkley | Nicolas Gold | Mark Harman | Jens Krinke | Shin 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 Clark | Haitao Dan | Rob 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 |