D
Daniele Filaretti
Researcher at Urbana University
Publications - 6
Citations - 190
Daniele Filaretti is an academic researcher from Urbana University. The author has contributed to research in topics: Formal semantics (linguistics) & Executable. The author has an hindex of 5, co-authored 6 publications receiving 160 citations. Previous affiliations of Daniele Filaretti include Imperial College London.
Papers
More filters
Proceedings ArticleDOI
A trusted mechanised JavaScript specification
Martin Bodin,Arthur Charguéraud,Daniele Filaretti,Philippa Gardner,Sergio Maffeis,Daiva Naudziuniene,Alan Schmitt,G. D. P. Smith +7 more
TL;DR: This work presents JSCert, a formalisation of the current ECMA standard in the Coq proof assistant, and JSRef, a reference interpreter for JavaScript extracted from Coq to OCaml and demonstrates that modern techniques of mechanised specification can handle the complexity of JavaScript.
Book ChapterDOI
An Executable Formal Semantics of PHP
Daniele Filaretti,Sergio Maffeis +1 more
TL;DR: This work defines the semantics of PHP in a term-rewriting framework which supports LTL model checking and symbolic execution, and presents the first formal semantics for a substantial core of PHP, based on the official documentation and experiments with the Zend reference implementation.
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Theodoros Kasampalis,Dwight Guth,Brandon Moore,Traian Florin Serbanuta,Virgil Serbanuta,Daniele Filaretti,Grigore Rosu,Ralph E. Johnson +7 more
TL;DR: This research presents a proof-of-concept study of how machine learning can be used to improve the quality of education and improve the efficiency of existing education systems.
Journal ArticleDOI
A Digital App to Aid Detection, Monitoring, and Management of Dyslexia in Young Children (DIMMAND): Protocol for a Digital Health and Education Solution.
TL;DR: A game-based digital solution aimed at children, parents, and teachers that firstly assesses, then monitors and manages progress in a convenient, cost-effective and private environment and has the potential to provide significant positive health care and economic impact.
Book ChapterDOI
IELE: A rigorously designed language and tool ecosystem for the blockchain
Theodoros Kasampalis,Dwight Guth,Brandon Moore,Traian Florin Șerbănuță,Yi Zhang,Daniele Filaretti,Virgil Șerbănuță,Ralph E. Johnson,Grigore Rosu +8 more
TL;DR: This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain, and implemented a compiler from Solidity, the predominant high-level language for smart contracts, so Ethereum contracts can now also be executed on IELE.