24 citations · 49 across the 25 of their papers we have counts for
4 papers · 1 filter
Verified Code Transpilation with LLMs
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis +2
Domain-specific languages (DSLs) are integral to various software workflows. Such languages offer domain-specific optimizations and abstractions that improve code readability and m…
Towards a high-performance AI compiler with upstream MLIR
Renato Golin, Lorenzo Chelini, Adam Siemieniuk +5
This work proposes a compilation flow using open-source compiler passes to build a framework to achieve ninja performance from a generic linear algebra high-level abstraction. We d…
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
Jie Qiu, Colin Cai, Sahil Bhatia +3
Tensor processing infrastructures such as deep learning frameworks and specialized hardware accelerators have revolutionized how computationally intensive code from domains such as…
MonoCoder: Domain-Specific Code Language Model for HPC Codes and Tasks
Tal Kadosh, Niranjan Hasabnis, Vy A. Vo +10
With easier access to powerful compute resources, there is a growing trend in AI for software development to develop large language models (LLMs) to address a variety of programmin…