Don't have Telegram yet? Try it now!
https://hgpu.org/?p=5530
Automatic safety proofs for asynchronous memory operations