Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
