6 citations · 16 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 5 cited
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…
cs.PL2024★ 1 cited
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…