Embecosm relies on a heavy commitment to compiler research in order to stay at the forefront of modern compiler technology. Much of this is supported by Innovate UK, the British government’s innovation agency. Here you can find information about our main research projects, both complete and in-progress.
Research
Pages in this section
MAGEEC
2013-2014. The MAGEEC research project aimed to make machine learning feasible in commercial compilers, specifically for generating energy efficient code on deeply embedded systems.
Superoptimization
2014. This feasibility study established the feasibility of using superoptimization to improve performance of critical code sections and to create new machine dependent peephole optimization passes for compilers
TSERO
2015-2017. TSERO was a follow on project to the MAGEEC and Superoptimization projects looking at compiling energy efficient code for high performance computing systems and data centers.
AAP
2015-. An Altruistic Processor (AAP) was created to advance compiler technology for deeply embedded processors with a restricted register set and complex memory structures.
GSO 2.0
2015-. GSO 2.0 is a tool kit under development by Embecosm, allowing multiple approaches to superoptimization to be used.
SECURE
2017-. The compiler is ideally placed to help the user write secure code. The SECURE project is applying the latest academic research in this area to production GCC and LLVM compilers.