https://zoickx.ztld.org/ https://zoickx.ztld.org/projects/ https://zoickx.ztld.org/publications/ https://zoickx.ztld.org/publications/2019-popl-asn1fpcoq/ https://zoickx.ztld.org/publications/2020-vstte-dhcol/ https://zoickx.ztld.org/publications/2021-icfp-vellvm/ https://zoickx.ztld.org/publications/2026-preprint-helix/