Sadegh Dalvandi

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 11

Top Topics

Transactional Memory

Resource Bounded

Reasoning Process

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Comput. Log.

Formal Aspects Comput.

Publications

Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Aspects Comput. 35 (2) (2023)
Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim
Unifying Operational Weak Memory Verification: An Axiomatic Approach. ACM Trans. Comput. Log. 23 (4) (2022)
Sadegh Dalvandi, Brijesh Dongol
Implementing and Verifying Release-Acquire Transactional Memory (Extended Version). CoRR (2022)
Sadegh Dalvandi, Brijesh Dongol
Implementing and verifying release-acquire transactional memory in C11. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. J. Autom. Reason. 66 (1) (2022)
Sadegh Dalvandi, Brijesh Dongol
Verifying C11-Style Weak Memory Libraries via Refinement. CoRR (2021)
Sadegh Dalvandi, Brijesh Dongol
Verifying C11-style weak memory libraries. PPoPP (2021)
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. CoRR (2020)
Sadegh Dalvandi, Brijesh Dongol
Verifying C11-Style Weak Memory Libraries. CoRR (2020)
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
Owicki-Gries Reasoning for C11 RAR. ECOOP (2020)
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)