Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications. - Collin Chin; Howard Wu; Raymond Chu; Alessandro Coglio; Eric McCarthy; Eric Smith (IACR Cryptol. ePrint Arch., 2021)

Fast asymptotic-numerical method for coarse mesh particle simulation in channels of arbitrary cross section. - Samuel Christensen; Raymond Chu; Christopher Anderson; Marcus L. Roper (J. Comput. Phys., 2022)

A Hele-Shaw Limit with a Variable Upper Bound and Drift. - Raymond Chu (SIAM J. Math. Anal., 2023)