Welcome

Hello and welcome to my blog! I am a PhD Candidate in Computer Science at the ADAPT Lab (Università degli Studi di Milano), under the supervision of Prof. W. Cazzola. Programming Languages and Compilers enthusiast. Here I share insights, notes, and posts about my work.

Tail Recursion Elimination: Optimize Shift Accumulators

A contribution to LLVM's Tail Recursion Elimination pass, adding support for shift accumulators. This optimization allows the compiler to transform certain recursive patterns involving shift operations into efficient iterative code.

Date: 13 February, 2026 | Tags: LLVM, compilers, optimizations

Consume the Input Only When Some<T> is Returned

A discussion on idiomatic Rust patterns for consuming input only when a function successfully returns a value. This explores ownership semantics and how to write clean, expressive APIs in Rust.

Date: 21 April, 2025 | Tags: rust, idiomatic

Open Source Licenses: A Deep Dive into Their Meaning

An in-depth exploration of open source licenses, covering their legal implications, the differences between permissive and copyleft licenses, and practical guidance for choosing the right license for your project.

Date: 25 March, 2025 | Tags: licenses, open-source

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

A practical exploration of building a lexical analyzer in Rust using finite state automata. We cover DFA/NFA theory and show how to implement an efficient lexer from scratch.

Date: 10 August, 2024 | Tags: compilers, rust