Ian Clester
YOU?
Author Swipe
View article: Distributing Generative Music With Alternator
Distributing Generative Music With Alternator Open
Computers are a powerful technology for music playback: as general-purpose computing machines with capabilities beyond the fixed-recording playback devices of the past, they can play generative music with multiple outcomes or computational…
View article: Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Open
Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely on formal semantics of instruction sets, but different tools…
View article: LambDAW: Towards a Generative Audio Workstation
LambDAW: Towards a Generative Audio Workstation Open
We present LambDAW, a novel system for integrating computation and composition that brings code directly into the digital audio workstation (DAW). It allows the composer to freely mix static and dynamic materials by embedding short express…
View article: Alternator: A General-Purpose Generative Music Player
Alternator: A General-Purpose Generative Music Player Open
Computers are a powerful technology for music playback: as general-purpose computing machines with capabilities beyond the fixed-recording playback devices of the past, they can play generative music with multiple outcomes, or computationa…
View article: Flexible Instruction-Set Semantics via Type Classes
Flexible Instruction-Set Semantics via Type Classes Open
Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely on formal semantics of instruction sets, but different tools…
View article: A Multipurpose Formal RISC-V Specification.
A Multipurpose Formal RISC-V Specification. Open
RISC-V is a relatively new, open instruction set architecture with a mature ecosystem and an official formal machine-readable specification. It is therefore a promising playground for formal-methods research.
However, we observe that dif…