vix.ing · top · new · best · stats · spec

Sadegh Dalvandi

  1. 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)