Dorian Leroy

Latest

• Runtime Monitoring for Executable DSLs
• Trace Comprehension Operators for Executable DSLs
• Omniscient Debugging for Executable DSLs