MOLA: A Runtime Verification Engine Factory by Meta-interpreting Embedded DSLs

Watch this conference talk from the 27th International Symposium on Practical Aspects of Declarative Languages (PADL'25) exploring MOLA, a novel runtime verification engine factory. Learn how researchers from IMDEA Software Institute address challenges in Stream Runtime Verification (SRV) by implementing a universal interpreter in Haskell that offers data-theory extensibility with type guarantees and improved error reporting. Discover how MOLA creates a clean separation between datatypes and temporal engines by introducing specialized roles: data-theory engineers who define domain-specific datatypes and compile specialized engines, and specification engineers who create monitors without requiring recompilation. The 21-minute presentation demonstrates how MOLA overcomes limitations of existing SRV tools that typically fix data theories for specific domains and require significant overhead to incorporate new datatypes.