Compiler Extension Lab

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

Lazy Evaluation: Lazy Lists

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.

VLIW Architectures: Compilers and Instruction Level Parallelism

Covers VLIW architectures and compilers, focusing on instruction level parallelism and optimization techniques.

Course Introduction: Compilation of High-Level Languages

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

Prefix, Infix, Postfix and Code Generation

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

Advanced C Data Types

Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.

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.

Type Inference: Hindley-Milner Overview

Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.

Static Analysis for Amy: Techniques and Implementations

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

Compiler verification: Challenges and Benefits

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Taming Null References

Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.