Lectures related to Untitled | EPFL Graph Search

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Logic Gates and Hazard Elimination Log in to Mediaspace to watch this video

Explores logic gates, hazard elimination, ALUs, counters, and shift registers in semiconductor technology.

Conditional Branching in Programming Log in to Mediaspace to watch this video

Explains how conditional branching in programming alters program execution based on specific conditions.