Lectures related to Prefix, Infix, Postfix and Code Generation

Covers the conversion of expressions, evaluation using stack machines, and bytecode generation.

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

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

Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.

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

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

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

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

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

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

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

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

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

Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.

Explores efficiently implementing a new programming language in GraalVM using partial evaluation and memory access profiling.

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

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

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

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

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