Concept

Bootstrapping (compilers)

Related lectures (31)

Covers default constructors in Java, including generation by the compiler and calling other constructors.

Formal Verification and Program Synthesis

Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.

Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.

VLIW Architectures: Compilers and Instruction Level Parallelism

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

Computer Architecture: Machine Language

Explores the implementation of machine language and the role of compilers.

Copy Constructor in C++

Covers the copy constructor in C++, its generation, initialization, and suppression in C++11.

Default Constructors in C++

Covers default constructors in C++, including examples and implications of specifying constructors in C++11.

Software Security: Security Testing - Sanitizers

Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.

Crypto Wallet for DeFi: MetaMask

Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.

Prefix, Infix, Postfix and Code Generation

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

Optimization and Templates

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