Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Compiler Extension Lab

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (58)

Programming Paradigms: Functional, OOP, Polymorphism Log in to Mediaspace to watch this video

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

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

Programming Models: Overview and Examples Log in to Mediaspace to watch this video

Explores programming models for big data processing, including Spark's RDDs and optimizations.

Python Programming: List Comprehensions and Higher Order Functions Log in to Mediaspace to watch this video

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Programming for Engineers: Advanced MATLAB Techniques Log in to Mediaspace to watch this video

Explores advanced MATLAB techniques, emphasizing vectorization, 'find' function, and plot manipulation.

VLIW Architectures: Compilers and Instruction Level Parallelism Log in to Mediaspace to watch this video

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

Course Introduction: Compilation of High-Level Languages Log in to Mediaspace to watch this video

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

Advanced C Data Types Log in to Mediaspace to watch this video

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

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

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

Debugging and Optimization Log in to Mediaspace to watch this video

Covers types of errors in programming and emphasizes the importance of debugging and optimization techniques.

Dynamic Memory Allocation in C Log in to Mediaspace to watch this video

Explores dynamic memory allocation in C, covering malloc, calloc, and realloc functions, emphasizing proper memory management and dynamic arrays.

Pointers: Strings, Functions, Casting Log in to Mediaspace to watch this video

Covers pointers to strings, functions, and casting in C programming.

WASM Virtual Machine: Group 13 Log in to Mediaspace to watch this video

Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.

File Management and Exception Handling in Python Log in to Mediaspace to watch this video

Focuses on file management and exception handling in Python programming.

Algorithms: Efficiency Analysis Log in to Mediaspace to watch this video

Covers the analysis of algorithm efficiency and optimizing code for faster execution.

Optimizing Library Interactions: Functionality and Modularity Log in to Mediaspace to watch this video

Explores optimizing library interactions, functionality challenges, and modularity in modern workloads, emphasizing strong boundaries between systems and instruction-level optimizations.

Device Management in Operating Systems: Chaperones and Persistence Log in to Mediaspace to watch this video

Discusses device management in operating systems, focusing on device drivers, persistence, and performance optimization techniques.

OLAP Queries and Optimizations Log in to Mediaspace to watch this video

Covers OLAP queries, examples of comparisons, ranking, and optimizations for query performance.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Numerics for Fluids, Structures and Electromagnetics: Projects Rules Log in to Mediaspace to watch this video

Students in 'Numerics for Fluids, Structures and Electromagnetics' must complete projects individually or in pairs, following specific rules and evaluation criteria.

Page 2 of 3