Lectures related to Structure and Interpretation of Computer Programs

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

Introduces MATLAB & GNU Octave basics, data types, plotting, programming structures, and GUI interfaces.

Explores abstract interpretation principles and the Octagon domain, emphasizing precision-efficiency trade-offs and static program analysis.

Explores managing large codebases, higher abstraction levels, CodeDB, Datalog queries, and program analysis.