Sharma, Subodh
- Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics
2021/03/02 by Sanjana Singh, Singh, Sanjana, Divyanjali Sharma +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Security and Verification in Computing
- Fence Synthesis under the C11 Memory Model
2022/07/30 by Sanjana Singh, Divyanjali Sharma, Singh, Sanjana +5 · 1 citation
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)