Daniele Filaretti

According to our database, Daniele Filaretti authored at least 5 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2015

An executable formal semantics of PHP with applications to program analysis.

Daniele Filaretti

PhD thesis, 2015

2014

A trusted mechanised JavaScript specification.

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

An Executable Formal Semantics of PHP.

Daniele Filaretti, Sergio Maffeis

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Building Bricks with Bricks, with Mathematica.

Pietro Codara, Ottavio M. D'Antona, Daniele Filaretti

CoRR, 2013