Chapter 11: Dynamic Symbolic Execution

Module 5: Dataflow Analysis

Module 3: Random Testing

Module 6: Pointer Analysis

10. Symbolic Execution

Module 2: Software Specifications

Scallop: A Language for Neuro-Symbolic Programming

How are memories stored in neural networks? | The Hopfield Network #SoME2

Yann Dubois: Scalable Evaluation of Large Language Models

Sliding Window Technique - Algorithmic Mental Models

The Tragedy of systemd

Terence Tao at IMO 2024: AI and Mathematics

Module 4: Automated Test Generation

Lambda Calculus - Computerphile

Vijay Krishnan: Improving Foundation Models Using Expert Human Data

pwn.college Module 12 - Automated Vulnerability Discovery - Dynamic Symbolic Execution

Hamming codes part 2: The one-line implementation

How SpaceX Landed A Rocket... Without Landing Legs. Catching a Giant Rocket With Giant Chopsticks

Lecture 1: Course Overview + The Shell (2020)

Module 1: Introduction to Software Analysis