Ian Clester
Publications by Year
Research Areas
Music Technology and Sound Studies, Logic, programming, and type systems, Formal Methods in Verification, Music and Audio Processing, Security and Verification in Computing
Most-Cited Works
- A Multipurpose Formal RISC-V Specification.(2021)
- → Composing the Network with Streams(2021)5 cited
- → Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)(2023)3 cited
- → Alternator: A General-Purpose Generative Music Player(2022)1 cited
- → Alan F. Blackwell, Emma Cocker, Geoff Cox, Alex McLean and Thor Magnusson, Live Coding: A User’s Manual. Cambridge, MA: MIT Press, 2022. ISBN: 9780262544818. doi: https://doi.org/10.7551/mitpress/13770.001.0001(2023)1 cited
- → Flexible Instruction-Set Semantics via Type Classes(2021)
- → Distributing Generative Music With Alternator(2023)
- → Putting Programs on Paper With ScoreCard: Generative Music Pieces as QR Codes(2025)
- → LambDAW: Towards a Generative Audio Workstation(2023)