Abstract: The past few years, traditional compiler optimization methods have been found to be further enhanced by machine learning (ML), deep learning (DL) and reinforcement learning (RL). These ...
The CompCert C verified compiler is a compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processors. The distinguishing feature of ...
A pdf documentation for each tool is generated in the doc subfolder of the package (pdflatex required). If compilation went fine, the binaries will be available ...
This project aims to build a deep learning compiler and optimizer infrastructure that can provide automatic scalability and efficiency optimization for distributed and local execution. Overall, this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback