A story about writing high-performance code for a custom accelerator in a RISC-V CPU, with the help of some semi-automated tools.| SYSTEMF @ EPFL
Final project report about string diagram rewriting in Coq for CS-628 Interactive Theorem Proving, Spring 2024| SYSTEMF @ EPFL
An introduction to SpecMerger, a tree-diffing tool designed to facilitate mechanized specification audits.| SYSTEMF @ EPFL