Lectures related to Effective Altruism: AI Safety and Governance

Virtual Machines: Memory Management and Control Flow

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Hoare Logic: Foundations and Applications

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Introduction to Compiler Theory and Language Processing

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Prefix, Infix, Postfix and Code Generation

Explores prefix, infix, and postfix notations in expressions and their role in code generation.

Strings in C: Initialization and Memory Management

Covers the representation and management of strings in C, highlighting key differences from other programming languages.

Simply Typed Lambda Calculus: Foundations and Properties

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

Pointers in C: Understanding Their Utility and Applications

Covers the definition and applications of pointers in C programming, emphasizing their role in memory management and generic programming.

Pointers and References: Key Differences in Programming

Explains the differences between pointers and references in programming, focusing on their definitions, uses, and limitations in C and C++.

Semantics in Computer Language Processing: Understanding Meaning

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Lambda Calculus and Type Safety: An Overview

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Variables and Types: Introduction to C Programming

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

An Introduction to Iris: Higher-Order Concurrent Separation Logic

Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.

Introduction to Computer Language Processing

Covers computer language processing, compilers, skills learned, and application examples.

Compiling with Branch Destination Parameters

Covers translating program fragments, switch statements, and break statements in programming languages.

Records and Variants

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

The Story of Grace Hopper

Delves into binary language and Grace Hopper's contributions to programming.

Variables & Operators

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Dynamic Memory Management: Using Realloc in C

Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.