Ian Clester

According to our database, Ian Clester authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

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., August, 2023

Composing with Generative Systems in the Digital Audio Workstation 145-148.

Ian Clester, Jason Freeman

Proceedings of the Joint Proceedings of the IUI 2023 Workshops: HAI-GEN, 2023

2021

A Multipurpose Formal RISC-V Specification.

Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala

CoRR, 2021

Robotic Grasping of Fully-Occluded Objects using RF Perception.

Tara Boroushaki, Junshan Leng, Ian Clester, Alberto Rodriguez, Fadel Adib

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Composing the Network with Streams.

Ian Clester, Jason Freeman

Proceedings of the AM '21: Audio Mostly 2021, 2021