https://federicobruzzone.github.io/ Posts, scientific publications, preprints, and activities by Federico Bruzzone. en Sun, 31 May 2026 00:00:00 GMT https://federicobruzzone.github.io/posts/the-site-now-has-an-rss-feed.html tag:federicobruzzone.github.io,2026-05-31:posts/the-site-now-has-an-rss-feed Post Sun, 31 May 2026 00:00:00 GMT https://federicobruzzone.github.io/posts/eter/regime-based-capability-graph-semantics.html tag:federicobruzzone.github.io,2026-05-01:posts/regime-based-capability-graph-semantics-rcgs Post Fri, 01 May 2026 00:00:00 GMT https://federicobruzzone.github.io/posts/eter/a-friendly-tour-of-substructural-uniqueness-ownership-and-capabilities-types-and-more.html tag:federicobruzzone.github.io,2026-05-01:posts/a-friendly-tour-of-substructural-uniqueness-ownership-and-capabilities-types-and Post Fri, 01 May 2026 00:00:00 GMT 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.]]> https://federicobruzzone.github.io/posts/eter/MVS-or-ownership&borrowing.html tag:federicobruzzone.github.io,2026-05-01:posts/mutable-value-semantics-mvs-or-ownership-borrowing-a-trade-off-analysis Post Fri, 01 May 2026 00:00:00 GMT 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.]]> https://federicobruzzone.github.io/publications/Bruzzone26e-preprint/Bruzzone26e-preprint.pdf tag:federicobruzzone.github.io,2026-05-01:publications/generalized-software-product-line-extraction Preprint Fri, 01 May 2026 00:00:00 GMT arXiv preprint arXiv:2605.28989 — DOI: 10.48550/arXiv.2605.28989]]> https://federicobruzzone.github.io/posts/eter/MVS.html tag:federicobruzzone.github.io,2026-04-01:posts/the-mutable-value-semantics-mvs-a-non-superficial-study Post Wed, 01 Apr 2026 00:00:00 GMT 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.]]> https://federicobruzzone.github.io/publications/Bruzzone26/Bruzzone26.pdf tag:federicobruzzone.github.io,2026-03-01:publications/sink-or-swim-tackling-real-time-asr-at-scale Publication Sun, 01 Mar 2026 00:00:00 GMT IEEE Transactions on Audio, Speech and Language Processing (TASLPRO) — DOI: 10.1109/TASLPRO.2026.3675780]]> https://federicobruzzone.github.io/publications/Bruzzone26d-preprint/Bruzzone26d-preprint.pdf tag:federicobruzzone.github.io,2026-02-01:publications/meta-monomorphizing-specializations Preprint Sun, 01 Feb 2026 00:00:00 GMT arXiv preprint arXiv:2602.12973 — DOI: 10.48550/arXiv.2602.12973]]> https://federicobruzzone.github.io/publications/Bruzzone26c-preprint/Bruzzone26c-preprint.pdf tag:federicobruzzone.github.io,2026-02-01:publications/from-separate-compilation-to-sound-language-composition Preprint Sun, 01 Feb 2026 00:00:00 GMT arXiv preprint arXiv:2602.03777 — DOI: 10.48550/arXiv.2602.03777]]> https://federicobruzzone.github.io/publications/Bruzzone26-preprint/Bruzzone26-preprint.pdf tag:federicobruzzone.github.io,2026-01-01:publications/prioritizing-configuration-relevance-via-compiler-based-refined-feature-ranking Preprint Thu, 01 Jan 2026 00:00:00 GMT arXiv preprint arXiv:2601.16008 — DOI: 10.48550/arXiv.2601.16008]]> https://federicobruzzone.github.io/publications/Bruzzone25/Bruzzone25.pdf tag:federicobruzzone.github.io,2025-06-01:publications/code-less-to-code-more-streamlining-language-server-protocol-and-type-system-dev Publication Sun, 01 Jun 2025 00:00:00 GMT Journal of Systems and Software (JSS) — DOI: 10.1016/j.jss.2025.112554]]> https://federicobruzzone.github.io/posts/consume-the-input-only-when-somet-is-returned.html tag:federicobruzzone.github.io,2025-04-21:posts/consume-the-input-only-when-some-t-is-returned Post Mon, 21 Apr 2025 00:00:00 GMT https://thanks.rust-lang.org/rust/1.86.0/ tag:federicobruzzone.github.io,2025-04-03:activities/one-of-the-393-contributors-to-rust-1-86-0 Activity Thu, 03 Apr 2025 00:00:00 GMT here.]]> https://federicobruzzone.github.io/posts/open-source-licenses-a-deep-dive-into-their-meaning.html tag:federicobruzzone.github.io,2025-03-25:posts/open-source-licenses-a-deep-dive-into-their-meaning Post Tue, 25 Mar 2025 00:00:00 GMT https://github.com/Qiskit/rustworkx/pull/1385 tag:federicobruzzone.github.io,2025-02-14:activities/generalizing-closeness-centrality-to-weighted-networks-using-newman-method Activity Fri, 14 Feb 2025 00:00:00 GMT #1384 by generalizing the Closeness centrality to weighted networks using the Newman method. It provides both the Rust implementation and the Python bindings.]]> https://github.com/rust-lang/rust/pull/136430 tag:federicobruzzone.github.io,2025-02-01:activities/use-the-type-level-constant-value-ty-value-where-needed Activity Sat, 01 Feb 2025 00:00:00 GMT ty::Value instead of separate ty::Valtree and ty::Ty parameters.]]> https://github.com/rust-lang/rust/pull/135158 tag:federicobruzzone.github.io,2025-01-27:activities/add-toogeneric-to-layouterror-and-emit-unknown Activity Mon, 27 Jan 2025 00:00:00 GMT TooGeneric variant to the LayoutError enum to emit the error when a type is too generic to be laid out. The Unknown variant is emitted when the layout of a type is unknown.]]> https://thanks.rust-lang.org/rust/1.83.0/ tag:federicobruzzone.github.io,2024-12-08:activities/one-of-the-396-contributors-to-rust-1-83-0 Activity Sun, 08 Dec 2024 00:00:00 GMT here.]]> https://github.com/gayanvoice/top-github-users/blob/main/markdown/public_contributions/italy.md tag:federicobruzzone.github.io,2024-12-01:activities/56th-top-github-contributor-in-italy-out-of-958 Activity Sun, 01 Dec 2024 00:00:00 GMT classification.]]> https://github.com/rust-lang/rust/pull/130123 tag:federicobruzzone.github.io,2024-09-12:activities/first-contribution-to-rust Activity Thu, 12 Sep 2024 00:00:00 GMT rustc-dev-guide, I made my first small contribution to the Rust compiler.]]> https://icfp24.sigplan.org/ tag:federicobruzzone.github.io,2024-09-01:activities/student-volunteer-at-icfp-2024 Activity Sun, 01 Sep 2024 00:00:00 GMT https://federicobruzzone.github.io/posts/exploiting-finite-state-automata-for-efficient-lexical-analysis-a-rust-implementation.html tag:federicobruzzone.github.io,2024-08-10:posts/exploiting-finite-state-automata-for-efficient-lexical-analysis-a-rust-implement Post Sat, 10 Aug 2024 00:00:00 GMT https://github.com/FedericoBruzzone/phd-project tag:federicobruzzone.github.io,2024-07-24:activities/admission-to-the-phd Activity Wed, 24 Jul 2024 00:00:00 GMT Universal Language Server Protocol and Debugger Adapter Protocol for Modular Language Workbenches under the supervision of Prof. W. Cazzola.]]> https://federicobruzzone.github.io/activities/presentations/P4-compiler-in-SDN.pdf tag:federicobruzzone.github.io,2024-07-22:activities/p4-compiler-in-sdn Presentation Mon, 22 Jul 2024 00:00:00 GMT https://federicobruzzone.github.io/activities/presentations/phd-project.pdf tag:federicobruzzone.github.io,2024-07-22:activities/phd-project Presentation Mon, 22 Jul 2024 00:00:00 GMT Universal Language Server Protocol and Debugger Adapter Protocol for Modular Language Workbenches at the University of Milan.]]> https://github.com/FedericoBruzzone/master-thesis tag:federicobruzzone.github.io,2024-07-15:activities/obtaining-the-master-s-degree Activity Mon, 15 Jul 2024 00:00:00 GMT Toward a Modular Approach for Type Systems and LSP Generation under the supervision of Prof. W. Cazzola.]]> https://federicobruzzone.github.io/activities/presentations/master-thesis.pdf tag:federicobruzzone.github.io,2024-07-15:activities/master-s-thesis Presentation Mon, 15 Jul 2024 00:00:00 GMT Toward a Modular Approach for Type Systems and LSP Generation at the University of Milan.]]>