Building Bricks with Bricks, with Mathematica. - Pietro Codara; Ottavio M. D'Antona; Daniele Filaretti (CoRR, 2013)

An Executable Formal Semantics of PHP. - Daniele Filaretti; Sergio Maffeis (ECOOP, 2014)

A trusted mechanised JavaScript specification. - Martin Bodin; Arthur Charguéraud; Daniele Filaretti; Philippa Gardner; Sergio Maffeis; Daiva Naudziuniene; Alan Schmitt; Gareth Smith (POPL, 2014)

An executable formal semantics of PHP with applications to program analysis. - Daniele Filaretti (2015)

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. - Theodoros Kasampalis; Dwight Guth; Brandon M. Moore; Traian-Florin Serbanuta; Yi Zhang; Daniele Filaretti; Virgil Nicolae Serbanuta; Ralph Johnson; Grigore Rosu (FM, 2019)