YoVDO

System-Level Weak Memory Models: The Need for Formalisation, ISA Semantics Integration and Model Diversity

Offered By: ACM SIGPLAN via YouTube

Tags

Computer Architecture Courses Instruction Set Architecture Courses Parallel Computing Courses Concurrency Courses Semantics Courses Formal Verification Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore system-level weak memory models in this 19-minute conference talk presented at FOWM'24 by Thibaut Pérami. Delve into the critical aspects of formalisation, integration of ISA semantics, and the importance of model diversity in weak memory systems. Gain insights into the complexities of modern computer architecture and the challenges faced in ensuring consistent memory behavior across different systems.

Syllabus

[FOWM'24] System-level weak memory models: The need for formalisation, ISA semantics integ...


Taught by

ACM SIGPLAN

Related Courses

Computer Architecture
Princeton University via Coursera Introduction to Computer Architecture
Carnegie Mellon University via Independent Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course)
Hebrew University of Jerusalem via Coursera 计算机系统基础（一） ：程序的表示、转换与链接
Nanjing University via Coursera Computer Architecture
Indian Institute of Technology Madras via Swayam