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

Maurizio Murgia | Lattice

Maurizio Murgia

Gran Sasso Science Institute

Papers on Lattice

1

Total citations

0

Topics

2

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Elvis Konjoh Selabi (1)António Ravara (1)Emilio Tuosto (1)

Papers (1)

Apr 22, 2026

Università di Camerino and Gran SassoApr 22, 2026·also Gran Sasso Science Institute, NOVA School of Science and Technology

Automatic Code and Test Generation of Smart Contracts from Coordination Models

Automating smart contract creation from high-level coordination models slashes development time and boosts reliability.

Elvis Konjoh Selabi, Maurizio Murgia, António Ravara +1

Code Generation & Program Synthesis Distributed Systems & Hardware