20:33[OOPSLA24] Synthesizing Formal Semantics from Executable InterpretersACM SIGPLAN37 viewsView & Download
1:19:30PPA 4/10: Formal Semantics [program analysis crash course]Yegor Bugayenko1.5K viewsView & Download
32:49[OOPSLA] Intrinsically-Typed Definitional Interpreters à la CarteACM SIGPLAN116 viewsView & Download
1:07:05Lecture 11 – Semantic Parsing | Stanford CS224U: Natural Language Understanding | Spring 2019Stanford Online23.3K viewsView & Download
6:05Compiler and Interpreter: Compiled Language vs Interpreted Programming LanguagesCoding Mentors184.8K viewsView & Download
16:59[OOPSLA] FlashMeta: A Framework for Inductive Program SynthesisSPLASH15 Conference1.3K viewsView & Download
31:09Lecture "Operational Semantics (Part 1, Preliminaries)" of "Program Analysis"Michael Pradel7.8K viewsView & Download