Embecosm Limited

Security is an important and fast growing area of computer technology. Recent exploits such as the Mirai botnet have highlighted how the Internet of Things (IoT) is becoming a primary vector for massive attacks. Security must be improved, yet IoT devices are commonly small, and have the least compute resources to devote to security. Almost all code for an...

The UK has world leading technology for monitoring high performance computing (HPC) systems and for compiling programs for energy efficiency. This project brings these technologies together to provide an end-to-end system to significantly reduce the energy used by such systems, using the STFC's HPC facilities to demonstrate its effectiveness. Advancing su...

Compilers translate software into code executed by actual processors, but that translation is not always as efficient as desired. Superoptimization exhaustively searches to find the most efficient translation (in terms of code size, execution speed and energy efficiency). We believe with increased computer power and significant advances in techniques that...

All computer systems depend upon compilers to convert programs into a binary format that computer hardware can execute (known as an executable). This compilation process needs to generate executables that are as efficient as possible. To date, compilers have emphasised speed of the executable. Building on the UK's existing leadership in this field, this p...