Communicating experimental results is a critical part of distributing research to the wider scientific community. However, with the increasing reliance on rapidly advancing computational systems across domains, the…
Keywords Compilers, Programming Languages, Code Generation, Systems Programming Staff [Christopher Brown]{cmb21}
Why do Recurrent State Space Models such as PlaNet fail at cloth manipulation tasks? Recent work has attributed this to the blurry reconstruction of the observation, which makes it difficult to plan directly in the…
Constraint programming is an important field in computer science for solving constraint problems; problems with a set of rules like Sudoku not allowing the same number in a row or column. These constraint problems…
Emulation allows programs to be run on machines of different architectures, and is more widespread than ever since Apple released the ‘Rosetta’ emulation tool as they transitioned to M1 Macbooks. However, the…
Unified Planning is a framework sponsored by the EU, intending to make automated planning more accessible. It achieves this by providing access to a variety of different planning techniques in a modular fashion. I have…
Creating an open protocol on consumer hardware for reliable transmission of lighting data for entertainment and theatrical settings. With a market dominated by proprietary implementations, increasing access and support…
Machine learning has massive implications for the healthcare sector. Advances in computer vision and deep learning can allow us to automate the time-consuming and costly nature of manually annotating metastases in…
As the multi-core CPU architectures are long the standard, writing parallel programs are essentialto extract the maximum performance from the CPU. This project explores the use of dependanttypes in creating a model for…
When improving the performance of systems and solvers, we often need to consider the values for various parameters the system depends on, such as the mutation rate in an evolutionary algorithm. For each parameter, we…