Daniele Filaretti

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 1

Top Topics

Web Applications

Formal Language

Formal Semantics

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. FM (2019)
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
A trusted mechanised JavaScript specification. POPL (2014)
Daniele Filaretti, Sergio Maffeis
An Executable Formal Semantics of PHP. ECOOP (2014)
Pietro Codara, Ottavio M. D'Antona, Daniele Filaretti
Building Bricks with Bricks, with Mathematica. CoRR (2013)