Veridise Audit Reports
Exciting/interesting (public) audits I performed at Veridise
Portfolio
Cortado
Automatic implicit monitor synchronization
Bricks
Generate portable, high-performance code in high-dimensional settings via data layout transformations
Meshmode interoperability with firedrake
Mesh and function conversion between the meshmode and firedrake libraries 