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

Home

Lecture

Correctness of Compilers: Part 1

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Stochastic Hybrid Systems

Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.

Compiling Expressions

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

Software Correctness: Testing and Verification Log in to Mediaspace to watch this video

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Property-Based Testing: QuickChick Log in to Mediaspace to watch this video

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

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.

Formally Correct Intermittent Systems Log in to Mediaspace to watch this video

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

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.

Concurrency and transactional memory in Dafny Log in to Mediaspace to watch this video

Covers Dafny for formal verification, modeling concurrency, safety rules, liveness, and transactional memory concepts.

Compilers: Challenges with Digital Signal Processors Log in to Mediaspace to watch this video

Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.

Page 2 of 2