Verifying Programs In Weak Memory

Media Summary: Instructor : Prakash Saivasan Affiliation : The Institute of Mathematical Sciences Abstract : In this talk, we will consider the problem ... Tuesday Mar 10, 2026 Algorithmic structure in Abstract: This is an overview of recent work on the

Verifying Programs In Weak Memory - Detailed Analysis & Overview

Instructor : Prakash Saivasan Affiliation : The Institute of Mathematical Sciences Abstract : In this talk, we will consider the problem ... Tuesday Mar 10, 2026 Algorithmic structure in Abstract: This is an overview of recent work on the Language runtimes notoriously involve frantic bit twiddling, very fine grained atomic operations, and a reliance on the specific ... Sadegh DalvandiUniversity of Surrey, Brijesh DongolUniversity of SurreyPrinciples and Practice of Parallel Programming 2021 ...

Photo Gallery

Verifying Programs in Weak Memory Models with persistency

Verifying Programs in Weak Memory Models with Persistency

Stephan Spengler: Algorithmic structure in weak memory and RDMA verification

Krishna S - Verification of Concurrent Programs under Weak Memory

Dr. Ahmed Bouajjani | Verification of Concurrent Programs under Persistent Weak Memory Models

[PLDI'25] Dynamic Robustness Verification against Weak Memory

Sylvan Clebsch: Language Runtimes for Parallel Programming: Weak Memory, and Program Order

Checking microarchitectural implementations of weak memory

Assertional reasoning for weak memory, Ernie Cohen

Memory verification and characterization

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

POSTER: Verifying C11-Style Weak Memory Libraries

View Detailed Profile

Verifying Programs in Weak Memory Models with persistency

Verifying Programs in Weak Memory Models with persistency

Instructor : Prakash Saivasan Affiliation : The Institute of Mathematical Sciences Abstract : In this talk, we will consider the problem ...

Verifying Programs in Weak Memory Models with Persistency

Verifying Programs in Weak Memory Models with Persistency

Talk by Prakash Saivasan in the IARCS

Stephan Spengler: Algorithmic structure in weak memory and RDMA verification

Stephan Spengler: Algorithmic structure in weak memory and RDMA verification

Tuesday Mar 10, 2026 Algorithmic structure in

Krishna S - Verification of Concurrent Programs under Weak Memory

Krishna S - Verification of Concurrent Programs under Weak Memory

Abstract: This is an overview of recent work on the

Dr. Ahmed Bouajjani | Verification of Concurrent Programs under Persistent Weak Memory Models

Dr. Ahmed Bouajjani | Verification of Concurrent Programs under Persistent Weak Memory Models

Title:

[PLDI'25] Dynamic Robustness Verification against Weak Memory

[PLDI'25] Dynamic Robustness Verification against Weak Memory

Dynamic Robustness

Sylvan Clebsch: Language Runtimes for Parallel Programming: Weak Memory, and Program Order

Sylvan Clebsch: Language Runtimes for Parallel Programming: Weak Memory, and Program Order

Language runtimes notoriously involve frantic bit twiddling, very fine grained atomic operations, and a reliance on the specific ...

Checking microarchitectural implementations of weak memory

Checking microarchitectural implementations of weak memory

In parallel

Assertional reasoning for weak memory, Ernie Cohen

Assertional reasoning for weak memory, Ernie Cohen

Concurrent programming (particularly

Memory verification and characterization

Memory verification and characterization

Fast & efficient

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

The metatheory of axiomatic

POSTER: Verifying C11-Style Weak Memory Libraries

POSTER: Verifying C11-Style Weak Memory Libraries

Sadegh DalvandiUniversity of Surrey, Brijesh DongolUniversity of SurreyPrinciples and Practice of Parallel Programming 2021 ...

[POPL'23] Kater: Automating Weak Memory Model Metatheory and Consistency Checking

[POPL'23] Kater: Automating Weak Memory Model Metatheory and Consistency Checking

[POPL'23] Kater: Automating