Hi Folks! I'm Federico Bruzzone. Presently a PhD Candidate in Computer Science at the University of Milan. I have a strong passion for Programming Languages and Compilers, and I'm currently diving into AI (ML/DL) compilers. Outside of Computer Science, I'm a Sound Engineer and Music Composer. You can also check my GitHub, the Posts section, and the Research page. Feel free to download my CV.

Personal and Contact Info

Personal Info

7th of March 2000 Magenta (MI), 20013, IT
Strada Marcallo 5, Magenta (MI), 20013, IT
federico.bruzzone.i@gmail.com
federico.bruzzone@unimi.it
+39 391 7369214

Contact Info

GitHub:	github.com/FedericoBruzzone
Telegram:	@federicobruzzone
LinkedIn:	in/federico-bruzzone
Twitter:	@fedebruzzone7
Reddit:	u/FedericoBruzzone

While I listen to Jazz and Country music, I actively contribute to the open-source ecosystem. In addition to my personal projects, I have a strong affinity for Rust and have contributed to the Rust compiler. More recently, I have also been involved in the LLVM/MLIR community.

Latest Posts

The LLVM Essence of Lowering MLIR to AArch64 with SME Support

A post to manually lowering MLIR code to AArch64 executables with Arm SME support. Covers the complete pipeline from MLIR optimization to native compilation, including lowering to LLVM dialect, LLVM-IR translation, assembly generation, and linking. Includes practical commands and one-shot solutions for execution.

Date: 21 June, 2026 | Time to read: ~12 min

MLIR Empirical Study on AArch64 (Apple M4 Pro)

Empirical study of MLIR optimization passes on Apple M4 Pro using native AoT binaries. Five research questions on tiling, lowering paths, loop fusion, cross-kernel behavior, and the gap to Apple Accelerate/AMX. Includes a roofline analysis with IREE.

Date: 2 June, 2026 | Time to read: ~10 min

Eter Programming Language Series

A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types — and more!

The third post of the Eter programming language series. A friendly tour of the type-theoretic landscape behind memory safety. Starting from the logical roots of substructural logic, it walks through linear, affine, and uniqueness types, then visits regions, effects, capabilities, typestate, and the latest work on reachability and separation types.

Date: 22 May, 2026 | Time to read: ~15 min

Show older Eter Series posts

Mutable Value Semantics (MVS) or Ownership & Borrowing: A Trade-off Analysis

The second post of the Eter programming language series. It explores the trade-offs between Mutable Value Semantics and Ownership & Borrowing, examining friction points in Rust, Hylo, and Swift while searching for common ground between the two memory models.

Date: 3 May, 2026 | Time to read: ~15 min

The Mutable Value Semantics (MVS): A Non-superficial Study

The first post of the Eter programming language series. While this post is part of the series, it is not a part of the Eter language itself. The post is a non-superficial study on the MVS, trying to understand its limitations.

Date: 27 April, 2026 | Time to read: ~10 min