Dalvandi, Sadegh
- Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
2020/04/06 by Dalvandi, Sadegh, Dongol, Brijesh, Doherty, Simon · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Verifying C11-Style Weak Memory Libraries via Refinement
2021/08/16 by Sadegh Dalvandi, Dalvandi, Sadegh, Brijesh Dongol +1 · 1 citation
Computer Science · Engineering · #Advanced Memory and Neural Computing #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)