Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Marco Peressotti | Lattice

Marco Peressotti

Papers on Lattice

2

Total citations

0

Topics

4

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (2)Architecture Design (Transformers, SSMs, MoE) (1)Distributed Systems & Hardware (1)Open-Source Models & Weights (1)

Frequent co-authors

Marco Bertoni (1)Marco Bertoni (1)Saverio Giallorenzo (1)S. Giallorenzo (1)

Papers (2)

Feb 25, 2026

Marco Bertoni +52w ago

Type-Based Enforcement of Non-Interference for Choreographic Programming

Guarantee information flow security in distributed protocols synthesized from choreographies via a novel type system.

Marco Bertoni, Marco Bertoni, Saverio Giallorenzo +3

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis Distributed Systems & Hardware

Feb 17, 2026

Fabrizio Montesi +23w ago

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, Marco Peressotti, Alexandre Rademaker

Code Generation & Program Synthesis Open-Source Models & Weights

Marco Peressotti (1)

Fabrizio Montesi (1)

Alexandre Rademaker (1)