GitHub

The formally-verified C compiler.

The CompCert C verified compiler is a compiler for the core C language that generates code for the ARM, PowerPC, RISC-V and x86 processors. The distinguishing feature of CompCert is that it has been ...
GitHub

Reinforcement learning environments for compiler optimization tasks.

CompilerGym is a library of easy to use and performant reinforcement learning environments for compiler tasks. It allows ML researchers to interact with important compiler optimization problems in a ...
IEEE

An In-depth Comparison of Compilers for Deep Neural Networks on Hardware

Abstract: Deep neural networks (DNNs) are currently the foundation for many artificial intelligence tasks. The difficulty of mapping NN models to high-performance hardware implementations arises from ...
IEEE

Comparing Performance of C Compilers Optimizations on Different Multicore Architectures

Abstract: Multithread programming tools become popular for exploitation of high performance processing with the dissemination of multicore processors. In this context, it is also popular to exploit ...