Agent Motion Planning as Block Asynchronous Cellular Automata: Pushing, Pulling, Suplexing, and More. - Hayashi Ani; Josh Brunner; Erik D. Demaine; Jenny Diomidova; Timothy Gomez; Della H. Hendrickson; Yael Kirkpatrick; Jeffery Li; Jayson Lynch; Ritam Nag; Frederick Stock (UCNC, 2024)

Pyrosome: Verified Compilation for Modular Metatheory. - Dustin Jamner; Gabriel Kammer; Ritam Nag; Adam Chlipala (CoRR, 2025)