Sadegh Dalvandi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Brijesh Dongol
15 publications
Simon Doherty
8 publications

research

∙ 07/30/2022

Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)

Transactional memory (TM) is an intensively studied synchronisation para...

0 Sadegh Dalvandi, et al. ∙

research

∙ 08/16/2021

Verifying C11-Style Weak Memory Libraries via Refinement

Deductive verification of concurrent programs under weak memory has thus...

0 Sadegh Dalvandi, et al. ∙

research

∙ 12/28/2020

Verifying C11-Style Weak Memory Libraries

Deductive verification of concurrent programs under weak memory has thus...

0 Sadegh Dalvandi, et al. ∙

research

∙ 04/06/2020

Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL

Weak memory presents a new challenge for program verification and has re...

0 Sadegh Dalvandi, et al. ∙