Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Memory Consistency: Compiler and Programming Languages
Graph Chatbot
Related lectures (31)
Previous
Page 2 of 4
Next
Variables & Operators
Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.
Software Engineering Fundamentals
Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.
Memory Consistency: Programming Languages and Compilers
Explores memory consistency, data races, and synchronization variables in programming languages and compilers.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Cache Memory
Explores cache memory design, hits, misses, and eviction policies in computer systems, emphasizing spatial and temporal locality.
Threads: Concurrency and Parallelism in Computer Systems
Covers the thread abstraction in computer systems, focusing on concurrency, parallelism, and the management of threads using the POSIX API.
The Story of Grace Hopper
Delves into binary language and Grace Hopper's contributions to programming.
Introduction to Types and Inductive Relations
Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
