YoVDO

Code Generation Courses

CLOVER: Closed-Loop Verifiable Code Generation - Dafny'24
ACM SIGPLAN via YouTube
Programming Languages for AI Programming Agents
ACM SIGPLAN via YouTube
Language Model Agents Enable Semi-Formal Programming - LIVE23
ACM SIGPLAN via YouTube
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
ACM SIGPLAN via YouTube
Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages
ACM SIGPLAN via YouTube
Artificial Languages are Dead. Long Live Artificial Languages - SLE23
ACM SIGPLAN via YouTube
Teaching and Learning Compilers Incrementally - Tutorial
ACM SIGPLAN via YouTube
Semi-Automated Direction-Driven Functional Conversion - miniKanren'23
ACM SIGPLAN via YouTube
Immutable Arrays Help Mutating Arrays More Efficiently - ML'23 Lecture
ACM SIGPLAN via YouTube
Haskell Library for Safer Virtual Machine Introspection - Experience Report
ACM SIGPLAN via YouTube
< Prev Page 35 Next >