A lazy approach to adaptive exact real arithmetic using floating-point operations. - Ryan McCleeary; Martin Brain; Aaron Stump (ACM Commun. Comput. Algebra, 2015)

Algebraic Techniques in Software Verification : Challenges and Opportunities. - Martin Brain; Daniel Kroening; Ryan McCleeary (SC²@SYNASC, 2016)

Dualized Simple Type Theory. - Harley Eades III; Aaron Stump; Ryan McCleeary (Log. Methods Comput. Sci., 2016)