41554 blogs · [ { "id": "01a08777-4bf8-72db-9b2d-df090e35f1f5", "title": "A Multi-Dimensional, Per-Pass Empirical Study of the LLVM Optimization Pipeline", "url": "https://federicobruzzone.github.io/posts/a-multi-dimensional-per-pass-empirical-study-of-the-llvm-optimization-pipeline.html", "published_at": "2026-07-01T00:00:00+00:00" }, { "id": "01a08777-4bf8-72db-9b2d-df090f22e731", "title": "The LLVM Essence of Lowering MLIR to AArch64 with SME Support", "url": "https://federicobruzzone.github.io/posts/the-llvm-essence-of-lowering-mlir-to-aarch64-with-sme-support.html", "published_at": "2026-06-20T00:00:00+00:00" }, { "id": "01a08777-4bf8-72db-9b2d-df090fe49bf6", "title": "MLIR Empirical Study on AArch64 (Apple M4 Pro)", "url": "https://federicobruzzone.github.io/posts/mlir-study.html", "published_at": "2026-06-02T00:00:00+00:00" }, { "id": "01a08777-4bf8-72db-9b2d-df09109076bc", "title": "scribe — A Minimalist LaTeX Document Class and Beamer Theme", "url": "https://federicobruzzone.github.io/posts/scribe.html", "published_at": "2026-06-01T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834b16a306", "title": "The Site Now Has an RSS Feed", "url": "https://federicobruzzone.github.io/posts/the-site-now-has-an-rss-feed.html", "published_at": "2026-05-31T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834b873fe8", "title": "A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types — and more!", "url": "https://federicobruzzone.github.io/posts/eter/a-friendly-tour-of-substructural-uniqueness-ownership-and-capabilities-types-and-more.html", "published_at": "2026-05-22T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834c24cb91", "title": "[TODO] Regime-Based Capability Semantics (RCS)", "url": "https://federicobruzzone.github.io/posts/eter/regime-based-capability-semantics.html", "published_at": "2026-05-22T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834c930797", "title": "Mutable Value Semantics (MVS) or Ownership & Borrowing: A Trade-off Analysis", "url": "https://federicobruzzone.github.io/posts/eter/MVS-or-ownership&borrowing.html", "published_at": "2026-05-03T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834cf866a6", "title": "The Mutable Value Semantics (MVS): A Non-superficial Study", "url": "https://federicobruzzone.github.io/posts/eter/MVS.html", "published_at": "2026-04-27T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834d4364de", "title": "Consume the Input Only When Some is Returned", "url": "https://federicobruzzone.github.io/posts/consume-the-input-only-when-somet-is-returned.html", "published_at": "2025-04-19T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834e28351c", "title": "Open Source Licenses: A Deep Dive into Their Meaning", "url": "https://federicobruzzone.github.io/posts/open-source-licenses-a-deep-dive-into-their-meaning.html", "published_at": "2025-03-23T00:00:00+00:00" }, { "id": "01a08777-4bf9-73f1-a638-21834ee7fd84", "title": "Exploiting Finite State Automata for Efficient Lexical Analysis: A Rust Implementation", "url": "https://federicobruzzone.github.io/posts/exploiting-finite-state-automata-for-efficient-lexical-analysis-a-rust-implementation.html", "published_at": "2024-08-09T00:00:00+00:00" }, { "id": "01a08777-4bf8-72db-9b2d-df090bacc453", "title": "Inside a linalg.matmul: A Deep Dive into IREE's Compilation Pipeline", "url": "https://federicobruzzone.github.io/posts/inside-a-linalg-matmul-a-deep-dive-into-IREEs-compilation-pipeline.html", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090bede483", "title": "Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking", "url": "https://federicobruzzone.github.io/publications/Bruzzone26d/Bruzzone26d.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090c74e0cb", "title": "The Minimal Essence of Higher-Order Functions in Maude", "url": "https://federicobruzzone.github.io/publications/Bruzzone26c/Bruzzone26c.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090cbdbd83", "title": "Generalized Software Product Line Extraction", "url": "https://federicobruzzone.github.io/publications/Bruzzone26e-preprint/Bruzzone26e-preprint.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090d06776b", "title": "Sink or SWIM: Tackling Real-Time ASR at Scale", "url": "https://federicobruzzone.github.io/publications/Bruzzone26/Bruzzone26.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090dba86ad", "title": "A Multi-Dimensional, Per-Pass Empirical Study of the LLVM Optimization Pipeline", "url": "https://federicobruzzone.github.io/publications/Bruzzone26f-preprint/Bruzzone26f-preprint.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090dc8d61b", "title": "Code Less to Code More: Streamlining Language Server Protocol and type system development for language families", "url": "https://federicobruzzone.github.io/publications/Bruzzone25/Bruzzone25.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090dcdfab6", "title": "Meta-Monomorphizing Specializations", "url": "https://federicobruzzone.github.io/publications/Bruzzone26d-preprint/Bruzzone26d-preprint.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090e1090a3", "title": "From Separate Compilation to Sound Language Composition", "url": "https://federicobruzzone.github.io/publications/Bruzzone26c-preprint/Bruzzone26c-preprint.pdf", "published_at": null }, { "id": "01a08777-4bf8-72db-9b2d-df090e2eac8e", "title": "Symmetry preservation in modular rewritable muliformalism models", "url": "https://federicobruzzone.github.io/publications/Bruzzone26b/Bruzzone26b.pdf", "published_at": null } ] posts Claim your blog

Back to federicobruzzone.github.io

Blog · corpus.blog/blogs/federicobruzzone.github.io/posts

federicobruzzone.github.io

federicobruzzone.github.io

2026

A Multi-Dimensional, Per-Pass Empirical Study of the LLVM Optimization Pipeline original ↗

1 Jul 2026

The LLVM Essence of Lowering MLIR to AArch64 with SME Support original ↗

20 Jun 2026

MLIR Empirical Study on AArch64 (Apple M4 Pro)original ↗

2 Jun 2026

scribe — A Minimalist LaTeX Document Class and Beamer Theme original ↗

1 Jun 2026

The Site Now Has an RSS Feed original ↗

31 May 2026

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

22 May 2026

[TODO] Regime-Based Capability Semantics (RCS)original ↗

22 May 2026

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

3 May 2026

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

27 Apr 2026

2025

Consume the Input Only When Some is Returned original ↗

19 Apr 2025

Open Source Licenses: A Deep Dive into Their Meaning original ↗

23 Mar 2025

2024

Exploiting Finite State Automata for Efficient Lexical Analysis: A Rust Implementation original ↗

9 Aug 2024

Undated

Inside a linalg.matmul: A Deep Dive into IREE's Compilation Pipeline original ↗

—

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking original ↗

—

The Minimal Essence of Higher-Order Functions in Maude original ↗

—

Generalized Software Product Line Extraction original ↗

—

Sink or SWIM: Tackling Real-Time ASR at Scale original ↗

—

A Multi-Dimensional, Per-Pass Empirical Study of the LLVM Optimization Pipeline original ↗

—

Code Less to Code More: Streamlining Language Server Protocol and type system development for language families original ↗

—

Meta-Monomorphizing Specializations original ↗

—

From Separate Compilation to Sound Language Composition original ↗

—

Symmetry preservation in modular rewritable muliformalism models original ↗

—