Reasoning about MLIR Semantics through Effects and Handlers.

Pingshi Yu

Browse the full ISSTA paper archive.