Federico Bruzzone

Welcome to my website, my name is Federico Bruzzone. Presently a PhD Candidate in Computer Science at the University of Milan. I have a strong passion for Programming Languages and Compilers. Also, I am a Sound Engineer and Music Composer. In addition to this page, I suggest you to check my GitHub profile, the About page and the Posts section of this website. Feel free to download my CV.

Pinned Posts

The Eter logo 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: May, 2026 | Time to read: ~15 min

The Eter logo 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: May, 2026 | Time to read: ~15 min

The Eter logo 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: April, 2026 | Time to read: ~10 min

Scientific Publications

Sink or SWIM: Tackling Real-Time ASR at Scale
F. Bruzzone, W. Cazzola, M. Brancaleoni, and D. Pellegrino — IEEE Transactions on Audio, Speech and Language Processing (TASLPRO) — DOI: 10.1109/TASLPRO.2026.3675780
Date: March, 2026 | Journal Ranked Q1 | [bib] [pdf] [IEEE] [arXiv]

Code Less to Code More: Streamlining Language Server Protocol and type system development for language families
F. Bruzzone, W. Cazzola, and L. Favalli — Journal of Systems and Software (JSS) — DOI: 10.1016/j.jss.2025.112554
Date: June, 2025 | Journal Ranked Q1 | [bib] [pdf] [SpringerLink] [arXiv]

Preprints


From Separate Compilation to Sound Language Composition
F. Bruzzone, W. Cazzola, and L. Favalli — arXiv preprint arXiv:2602.03777 — DOI: 10.48550/arXiv.2602.03777
Date: February, 2026 | [bib] [pdf] [arXiv]

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
F. Bruzzone, W. Cazzola, and L. Favalli — arXiv preprint arXiv:2601.16008 — DOI: 10.48550/arXiv.2601.16008
Date: January, 2026 | [bib] [pdf] [arXiv]