WASM Virtual Machine: Group 13

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

Compiler verification: Challenges and Benefits

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

Introduction to Compiler Theory and Language Processing

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

MIPS Functions and Stack

Explains MIPS functions, stack usage, calling convention, and register management.

MIPS Assembly: Function Calls & Memory Management

Explores MIPS assembly language, covering function calls, memory management, and data structures, including recursive functions, programming constructs, arrays, and linked lists.

Compiling with Branch Destination Parameters

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

Efficiently Implementing a Language in GraalVM

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

Challenges in High-Level Synthesis: Optimizing Loop Constructs

Addresses the challenges of high-level synthesis and optimizing loop constructs using the polyhedral model for improved performance and scheduling.

Compilation and C++ Basics

Covers the basics of compilation and C++ programming, including variables, functions, loops, and debugging.

Optimization and Templates

Explores optimization in C++ code, algorithmic ideas, code profiling, and template meta-programming.

Grace Hopper: Computer Programming Pioneer

Delves into Grace Hopper's pioneering work in computer programming, making it more accessible and efficient.