MIRAI

January 31 2022 - 00:00UTC

Herman Venter gave a retrospective view of his work on MIRAI, an abstract interpreter for MIR code. We went over key design choices for abstract interpreters and the tradeoffs they imply.

Find the YouTube video here.