Fabrizio Montesi

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (3)Open-Source Models & Weights (2)Distributed Systems & Hardware (1)

Frequent co-authors

Xueying Qin (1)Marco Peressotti (1)Alexandre Rademaker (1)Christopher Henson (1)

Papers (3)

Jul 16, 2026

Xueying Qin +2Jul 16, 2026

Mech: Mechanised Choreographic Programming

Nondeterministic choices in choreographic programming can now be accurately mechanised, ensuring robust concurrency without sacrificing expressiveness.

Xueying Qin, Marco Peressotti, Fabrizio Montesi

Code Generation & Program Synthesis Distributed Systems & Hardware

Feb 17, 2026

Fabrizio Montesi +1Feb 17, 2026

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library

Formalizing Hennessy-Milner Logic in Lean's CSLib provides a reusable and verified foundation for reasoning about labelled transition systems.

Fabrizio Montesi, Alexandre Rademaker

Code Generation & Program Synthesis Open-Source Models & Weights

Feb 16, 2026

Christopher Henson +1Feb 16, 2026

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)

Formalized computer science gets a Mathlib-inspired boost with CSLib, a new Lean library promising reusable semantics and automated proofs.

Christopher Henson, Fabrizio Montesi