Lectures related to Bounds checking

Software Security: Security Testing - Sanitizers

Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Structures: Examination of Supporting Structure

Covers the examination and reinforcement of supporting structures in buildings.

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Type Checking in Compiler Frontend

Covers the implementation of a type checker in the compiler frontend.

Tuples: Desugaring and Implementation

Covers the implementation details of tuples in Scala, including desugaring, lexical analysis, parsing, and code generation.

Subtyping and Generics

Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.

Name Analysis: Compiler Phases and Symbol Tables

Explores compiler phases and symbol tables' role in mapping variables to declarations.

Subtyping and Generics: Variance and Covariance

Explores subtyping, generics, variance, and covariance in Scala, along with collections, arrays, and combinatorial search.

Multithreading: Code Generation and Type Checking

Covers multithreading, code generation, and type checking in compiler implementation.

Implicit Conversion: Core Concepts

Covers the core concepts of implicit conversion in Scala and its implementation in Scala code.

Operational Semantics: Amyli Language

Covers the Amyli language, including abstract syntax, program representation, and operational semantics.

Type Checking and Reconstruction: Equations and Unification

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Automated Reasoning in Practice

Explores practical automated reasoning systems like TPTP, TSTP, and CASC, emphasizing the importance of consistency and future developments.

Subtyping and Generics in Scala

Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.

Type Checking Lab

Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.

Variance and Combinatorial Search

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Program Optimizations and Abstract Interpretation Idea

Covers program optimizations, abstract interpretation, algebraic transformations, and interval analyses.

Type Rules: Progress, Preservation

Covers type rules, program type checking, soundness, and proof techniques.

Dependent Types in Programming Languages

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.