Name: Matteo Busi
Type: User
Bio: Researcher at the Ca' Foscari University of Venice. Working on Secure Compilation
Location: Dept. of Environmental Sciences, Informatics and Statistics - Ca' Foscari University of Venice
Blog: matteobusi.github.io
Matteo Busi's Projects
The ALVIE tool, accompanying the paper: "Bridging the Gap: Automated Analysis of Sancus"
Definitely not a TypeScript to WebAssembly compiler 🚀
Water-filling watch face for Garmin devices.
Micro-benchmarking library for OCaml
Featherweight Java type checker
Final project for human-computer interaction class
Context-oriented programming extension for F#
Verification system for effectful programs
Incremental typing for a small subset of OCaml
git mirror of the Munich isabelle hg repository
Implementation in C++11 of Jacobi iterative method
A core language for rule-based hardware design 🦑
Some useful material for the LIS'22 seminars (at UniPI)
My personal website
moved from https://sourceforge.net/p/min-caml/code/
A simple neural network simulator written in Python using NumPy
Provide an awesome, out-of-box, literate dotemacs for both newbies and nerds.
A simple raytracer
Redox: A Rust Operating System
Attacks on Sancus_V from our "Mind the Gap" paper.
Another small experimental Kernel...
Coq development for secure translation validation