Structured Review of the Evidence for Effects of Code Duplication on Software Quality

This report presents the detailed steps and results of a structured review of code clone literature. The aim of the review is to investigate the evidence for the claim that code duplication has a negative effect on code changeability. This report contains only the details of the review for which there is not enough place to include them in the companion paper published at a conference (Hordijk, Ponisio et al. 2009 - Harmfulness of Code Duplication - A Structured Review of the Evidence)

On evaluating obfuscatory strength of alias-based transforms using static analysis

Abstract — Aliasing occurs when two variables refer to the same memory location. This technique has been exploited for constructing resilient obfuscation transforms in languages that extensively use indirect referencing. The theoretical basis for these transforms is derived from the hard complexity results of precisely determining which set of variables refer to the same memory location at a given program point during execution. However, no method is known for randomly generating hard problem instances. Unless we are able to evaluate the obfuscatory strength of these transforms using static analysis tools, we cannot correlate the resilience expected in theory with what actually holds in practice. In this contribution, we will outline the main difficulties in experimentally evaluating obfuscatory strength and give an overview of techniques that are suited for analysing wellestablished alias-based obfuscation transforms. I

Validating Sample Average Approximation Solutions with Negatively Dependent Batches

Sample-average approximations (SAA) are a practical means of finding approximate solutions of stochastic programming problems involving an extremely large (or infinite) number of scenarios. SAA can also be used to find estimates of a lower bound on the optimal objective value of the true problem which, when coupled with an upper bound, provides confidence intervals for the true optimal objective value and valuable information about the quality of the approximate solutions. Specifically, the lower bound can be estimated by solving multiple SAA problems (each obtained using a particular sampling method) and averaging the obtained objective values. State-of-the-art methods for lower-bound estimation generate batches of scenarios for the SAA problems independently. In this paper, we describe sampling methods that produce negatively dependent batches, thus reducing the variance of the sample-averaged lower bound estimator and increasing its usefulness in defining a confidence interval for the optimal objective value. We provide conditions under which the new sampling methods can reduce the variance of the lower bound estimator, and present computational results to verify that our scheme can reduce the variance significantly, by comparison with the traditional Latin hypercube approach

The Emergence of Gravitational Wave Science: 100 Years of Development of Mathematical Theory, Detectors, Numerical Algorithms, and Data Analysis Tools

On September 14, 2015, the newly upgraded Laser Interferometer Gravitational-wave Observatory (LIGO) recorded a loud gravitational-wave (GW) signal, emitted a billion light-years away by a coalescing binary of two stellar-mass black holes. The detection was announced in February 2016, in time for the hundredth anniversary of Einstein's prediction of GWs within the theory of general relativity (GR). The signal represents the first direct detection of GWs, the first observation of a black-hole binary, and the first test of GR in its strong-field, high-velocity, nonlinear regime. In the remainder of its first observing run, LIGO observed two more signals from black-hole binaries, one moderately loud, another at the boundary of statistical significance. The detections mark the end of a decades-long quest, and the beginning of GW astronomy: finally, we are able to probe the unseen, electromagnetically dark Universe by listening to it. In this article, we present a short historical overview of GW science: this young discipline combines GR, arguably the crowning achievement of classical physics, with record-setting, ultra-low-noise laser interferometry, and with some of the most powerful developments in the theory of differential geometry, partial differential equations, high-performance computation, numerical analysis, signal processing, statistical inference, and data science. Our emphasis is on the synergy between these disciplines, and how mathematics, broadly understood, has historically played, and continues to play, a crucial role in the development of GW science. We focus on black holes, which are very pure mathematical solutions of Einstein's gravitational-field equations that are nevertheless realized in Nature, and that provided the first observed signals.Comment: 41 pages, 5 figures. To appear in Bulletin of the American Mathematical Societ

A General Algorithm for Sampling Rare Events in Non-Equilibrium and Non-Stationary Systems

Although many computational methods for rare event sampling exist, this type of calculation is not usually practical for general nonequilibrium conditions, with macroscopically irreversible dynamics and away from both stationary and metastable states. A novel method for calculating the time-series of the probability of a rare event is presented which is designed for these conditions. The method is validated for the cases of the Glauber-Ising model under time-varying shear flow, the Kawasaki-Ising model after a quench into the region between nucleation dominated and spinodal decomposition dominated phase change dynamics, and the parallel open asymmetric exclusion process (p-o ASEP). The method requires a subdivision of the phase space of the system: it is benchmarked and found to scale well for increasingly fine subdivisions, meaning that it can be applied without detailed foreknowledge of the physically important reaction pathways.Comment: 11 pages, 6 figure

Search based software engineering: Trends, techniques and applications

© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available from the link below.In the past five years there has been a dramatic increase in work on Search-Based Software Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based Optimization (SBO) algorithms are used to address problems in SE. SBSE has been applied to problems throughout the SE lifecycle, from requirements and project planning to maintenance and reengineering. The approach is attractive because it offers a suite of adaptive automated and semiautomated solutions in situations typified by large complex problem spaces with multiple competing and conflicting objectives. This article provides a review and classification of literature on SBSE. The work identifies research trends and relationships between the techniques applied and the applications to which they have been applied and highlights gaps in the literature and avenues for further research.EPSRC and E

An exploratory study of heavy domain wall fermions on the lattice

We report on an exploratory study of domain wall fermions (DWF) as a lattice regularisation for heavy quarks. Within the framework of quenched QCD with the tree-level improved Symanzik gauge action we identify the DWF parameters which minimise discretisation effects. We find the corresponding effective 4$d$ overlap operator to be exponentially local, independent of the quark mass. We determine a maximum bare heavy quark mass of $am_h\approx 0.4$, below which the approximate chiral symmetry and O(a)-improvement of DWF are sustained. This threshold appears to be largely independent of the lattice spacing. Based on these findings, we carried out a detailed scaling study for the heavy-strange meson dispersion relation and decay constant on four ensembles with lattice spacings in the range $2.0-5.7\,\mathrm{GeV}$. We observe very mild $a^2$ scaling towards the continuum limit. Our findings establish a sound basis for heavy DWF in dynamical simulations of lattice QCD with relevance to Standard Model phenomenology.Comment: 23 pages, 8 figure

From General Relativity to Quantum Gravity

In general relativity (GR), spacetime geometry is no longer just a background arena but a physical and dynamical entity with its own degrees of freedom. We present an overview of approaches to quantum gravity in which this central feature of GR is at the forefront. However, the short distance dynamics in the quantum theory are quite different from those of GR and classical spacetimes and gravitons emerge only in a suitable limit. Our emphasis is on communicating the key strategies, the main results and open issues. In the spirit of this volume, we focus on a few avenues that have led to the most significant advances over the past 2-3 decades.Comment: To appear in \emph{General Relativity and Gravitation: A Centennial Survey}, commissioned by the International Society for General Relativity and Gravitation and to be published by Cambridge University Press. Abhay Ashtekar served as the `coordinating author' and combined the three contribution

Comprehensive characterization of a mesoporous cerium oxide nanomaterial with high surface area and high thermal stability

In the present study, the pore space of a mesoporous cerium oxide material is investigated, which forms by the self-assembly of primary particles into a spherical secondary structure possessing a disordered mesopore space. The material under study exhibits quite stable mesoporosity upon aging at high temperatures (800 °C) and is, thus, of potential interest in high-temperature catalysis. Here, different characterization techniques were applied to elucidate the structural evolution taking place between heat treatment at 400 °C and aging at 800 °C, i.e., in a water-containing atmosphere, which is usually detrimental to nanoscaled porosity. The changes in the mesoporosity were monitored by advanced physisorption experiments, including hysteresis scanning, and electron tomography analysis coupled with a 3D reconstruction of the mesopore space. These methods indicate that the 3D spatial arrangement of the primary particles during the synthesis under hydrothermal conditions via thermal hydrolysis is related to the thermal stability of the hierarchical mesopore structure. The assembly of the primary CeO$_{2}$ particles (∼4 nm in size) results in an interparticulate space constituting an open 3D mesopore network, as revealed by skeleton analysis of tomography data, being in conformity with hysteresis scanning. At elevated temperatures (800 °C), sinter processes occur resulting in the growth of the primary particles, but the 3D mesopore network and the spherical secondary structure are preserved