Lectures related to Just-in-time compilation

Correctness of Compilers: Part 2

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

Dynamic Binary Translation: Overcoming Binary Compatibility Challenges

Covers dynamic binary translation as a solution to binary compatibility issues in computer architectures.

Separate Compilation: Linker/Loader; Make

Covers separate compilation, linking modules, loader role, and makefile usage.

Operator Overloading in C++

Explores operator overloading in C++, emphasizing class manipulation and code compilation.

Object Oriented Programming: Separate Compilation

Covers separate compilation in object-oriented programming for modular design and code reusability.

Object Layout: Single Inheritance

Covers object layout challenges in single inheritance scenarios, focusing on Java-like languages and method dispatch using virtual methods tables.

Modular Programming: Separate Compilation in C

Covers separate compilation in C, focusing on modular programming and its benefits for code reusability and maintenance.

Computer Architecture: Algorithms to Programs (Compilation)

Explores the transition from algorithms to programs through compilation, emphasizing constraints and machine-understandable coding practices.

WS1S Solver: Project Structure

Explores the project structure for solving WS1S formulas and planned additions.

Understanding Microcontrollers: Debugging

Covers the debugging process for microcontrollers, emphasizing code structuring and signal state verification using tools like logic probes and oscilloscopes.

Dynamically Scheduled HLS: Program Analysis and Control Flow

Explores Dynamically Scheduled HLS and imperative language compilation for dataflow machines.

Correctness of Compilers: Part 1

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Introduction to Java Programming

Covers the basics of Java programming, from writing and compiling programs to troubleshooting common errors.

Exploring Aseba Studio

Covers the basics of Aseba Studio for writing and managing robot programs.

Introduction to Programming: Basics and Java Development

Covers the basics of programming, Java development, algorithms, data structures, and the compilation process.

Compiling Expressions

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

Verifying Compiler: Spec# Approach

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

Course Introduction: Compilation of High-Level Languages

Covers the course on compiling high-level languages and optimizing code.

Register Machine

Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.

Linker and Loader: Understanding Compilation in C

Explains the roles of linker and loader in C programming, focusing on separate compilation and the creation of executable files.