Efficient Verification of Concurrent Programs over TSO Memory Model

Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
January, 2016
PDF Cite
Type
Conference paper
Relaxed Memory Trace Partitioning Verification
Subodh Sharma
Subodh Sharma
Associate Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation