Ian Clester

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Specification Languages

Occluded Objects

Top Venues

Proc. ACM Program. Lang.

Audio Mostly Conference

Publications

Ian Clester, Jason Freeman
Composing with Generative Systems in the Digital Audio Workstation 145-148. IUI Workshops (2023)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala
A Multipurpose Formal RISC-V Specification. CoRR (2021)
Ian Clester, Jason Freeman
Composing the Network with Streams. Audio Mostly Conference (2021)
Tara Boroushaki, Junshan Leng, Ian Clester, Alberto Rodriguez, Fadel Adib
Robotic Grasping of Fully-Occluded Objects using RF Perception. ICRA (2021)
Tara Boroushaki, Junshan Leng, Ian Clester, Alberto Rodriguez, Fadel Adib
Robotic Grasping of Fully-Occluded Objects using RF Perception. CoRR (2020)