Miguel Cárdenas

scientific computing · compilers · computational systems

I build compiler tooling and program analysis to make systems more reliable and efficient: LLVM Advisor LLVM Advisor google summer of code 2025 A tool for collecting, correlating and visualizing LLVM compilation artifacts, with an emphasis on offloading. open ↗ for Google Summer of Code and research at ETH Zürich ETH Zürich applied research · 2025 Co-authored conference paper at AIIA'25 on a cognitive architecture for urban planning. open ↗ .

Now working on MLIR-based dataflow systems APXM eurollvm 2026 · cgo 2026 workshop An experimental MLIR and Rust toolchain exploring dataflow compilation and compiler-runtime interfaces. open ↗ .