Practice paper about philosophy and implementation of CS-214 Software Construction at SEFI Annual Conference 2024.| SYSTEMF @ EPFL
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
An introduction to Alectryon| SYSTEMF @ EPFL
A step-by-step guide on using guvcview, ffmpeg, and aegisub to assemble a talk video.| SYSTEMF @ EPFL
Tips and tricks for writing functions that take proofs as arguments.| SYSTEMF @ EPFL
We're a programming languages, formal methods, and systems engineering lab at EPFL, led by Clément Pit-Claudel. We use (and invent!) mathematical formalisms and interactive tools to explore new ways to develop computer systems.| SYSTEMF @ EPFL
An annotated guide to adding captureless lookbehinds to the RE2 linear-time regex engine.| SYSTEMF @ EPFL
