Probabilistic Concurrency Testing for Weak Memory Programs.

Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan

Browse the full ASPLOS paper archive.