Composing the Network with Streams. - Ian Clester; Jason Freeman 001 (Audio Mostly Conference, 2021)

Robotic Grasping of Fully-Occluded Objects using RF Perception. - Tara Boroushaki; Junshan Leng; Ian Clester; Alberto Rodriguez 003; Fadel Adib (ICRA, 2021)

A Multipurpose Formal RISC-V Specification. - Thomas Bourgeat; Ian Clester; Andres Erbsen; Samuel Gruetter; Andrew Wright; Adam Chlipala (CoRR, 2021)

Composing with Generative Systems in the Digital Audio Workstation 145-148. - Ian Clester; Jason Freeman 001 (IUI Workshops, 2023)

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report). - Thomas Bourgeat; Ian Clester; Andres Erbsen; Samuel Gruetter; Pratap Singh; Andy Wright; Adam Chlipala (Proc. ACM Program. Lang., 2023)