Matthew L. Daggitt -

Not registered as user

Name:Matthew L. Daggitt

Affiliation:University of Western Australia

Contributions

2026

APLAS

Author of Tensors by Implementation, Records by Nature: Compiler Support for Neural Network Abstractions within the APLAS Research Papers-track

ICFP

Author of Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice within the ICFP Papers-track
Author of Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice within the ICFP Artifacts-track

LOPSTR

Author of Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis within the LOPSTR+PPDP 2026-track