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 ...

Abstract: Due to the increasing threats from possible large-scale quantum computers, post-quantum cryptography (PQC) has drawn significant attention from various communities recently. In particular, ...

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 ...

Abstract: In this paper, we present an ultra-low voltage oneport static random access memory (SRAM) compiler targeting small to medium array sizes to provide a smaller area solution compared to ...