Units-of-Measure Correctness in Fortran Programs. - Mistral Contrastin; Andrew C. Rice; Matthew Danish; Dominic A. Orchard (Comput. Sci. Eng., 2016)

Verifying spatial properties of array computations. - Dominic A. Orchard; Mistral Contrastin; Matthew Danish; Andrew C. Rice (Proc. ACM Program. Lang., 2017)

Automatic Reordering for Dataflow Safety of Datalog. - Mistral Contrastin; Dominic A. Orchard; Andrew C. Rice (PPDP, 2018)

Guiding user annotations for units-of-measure verification. - Dominic Orchard; Mistral Contrastin; Matthew Danish; Andrew Rice (CoRR, 2020)

fortran-src: Fortran static analysis infrastructure. - Mistral Contrastin; Raoul Hidalgo Charman; Matthew Danish; Benjamin Orchard; Dominic Orchard; Andrew Rice; Jason Xu (J. Open Source Softw., 2025)