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.