This paper considers random testing of a compiler, using randomly generated programs as
inputs, and comparing their behaviour with and without optimisation. Since the generated …

File synchronization services such as Dropbox are used by hundreds ofmillions of people to
replicate vital data. Yet rigorous models of theirbehavior are lacking. We present the first …

Refactoring is the process of changing the design of a program without changing what it
does. Typical refactorings, such as function extraction and generalisation, are intended to …

To describe the behaviour of programs in a programming language we can define a formal
semantics for the language, and formalise it in a proof assistant. From this semantics we can …

Refactoring source code has always been an active area of research. Since the uprising of
various deep learning methods, there have been several attempts to perform source code …

Property-based testing of compilers or programming language semantics is difficult to
accomplish because it is hard to design a random generator for valid programs. Most …

This thesis tries to improve on the relatively uncommon practice of random testing of
compilers. Random testing of compilers is difficult and not widespread for two reasons. First …

Currently, Java is one of the most used programming language, being adopted in many
large projects, where applications reach a level of complexity for which manual testing and …

We present an approach to describing refactorings that abstracts away from particular
refactorings to classes of similar transformations, and presents an implementation of these …

Many functions take a value of a particular (recursive) data structure as input and compute
an output value by traversing the structure and collect, combine, or update values in that …