Gửi tin nhắn: Verifying Synchronization for Atomicity Violation Fixing /Qingkai Shi, Jeff Huang, Member, IEEE, Zhenyu Chen, Member, IEEE, and Baowen Xu, Member, IEEE