Program Synthesis Courses
WeAreDevelopers via YouTube Verifying the Verifier - eBPF Range Analysis Verification
Linux Plumbers Conference via YouTube Sequence Abstractions for Flexible, Line-Rate Network Monitoring
USENIX via YouTube Reactive Synthesis - Open Questions and Challenges
Simons Institute via YouTube Grisette: Symbolic Compilation as a Functional Programming Library
Simons Institute via YouTube A Tutorial on Neurosymbolic Techniques
Simons Institute via YouTube Counterexample-Guided Inference of Modular Specifications
Simons Institute via YouTube Deep Learning Advances in Uncertainty and Generative Modeling - Session 1
Uncertainty in Artificial Intelligence via YouTube Better Learning Through Programming Languages: Neurosymbolic Synthesis and Learning
Neurosymbolic Programming for Science via YouTube SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b
Neurosymbolic Programming for Science via YouTube