Miguel Cárdenas

scientific computing · compilers · computational systems

I build compiler tooling and program analysis to make systems more reliable and efficient: LLVM AdvisorLLVM Advisorgoogle summer of code 2025A 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ürichETH Zürichapplied research · 2025Co-authored conference paper at AIIA'25 on a cognitive architecture for urban planning.open ↗.

Now working on MLIR-based dataflow systemsAPXMeurollvm 2026 · cgo 2026 workshopAn experimental MLIR and Rust toolchain exploring dataflow compilation and compiler-runtime interfaces.open ↗.