Automatic Verification of RMA Programs via Abstraction Extrapolation. - Baumann, Cedric; Dan, Andrei Marian; Meshman, Yuri; Hoefler, Torsten; Vechev, Martin T. (2018)