Summary
Correct compilation is essential to scientific computing, as it provides the bridge from high-level algorithms in source code to computing machinery. LLVM is a critical backbone in this process, powering compilers and infrastructure for languages including Julia, Python, and Fortran. However, the engineering of LLVM has focused on improving general-purpose code, with relatively little attention given to the particular needs of scientific computing. The central question of this project is: Can compiler infrastructure be redesigned so that scientists can express and statically enforce the comple
