Automating Non-Blocking Synchronization In Concurrent Data Abstractions | IEEE Conference Publication | IEEE Xplore