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