Haskell Library for Safer Virtual Machine Introspection (Experience Report). - Takato Otsuka; Hideya Iwasaki (Haskell, 2023)