@proceedings{ author={Cedric Baumann and Andrei Marian Dan and Yuri Meshman and Torsten Hoefler and Martin Vechev}, title={{Automatic Verification of RMA Programs via Abstraction Extrapolation}}, year={2018}, month={Feb.}, publisher={Springer International Publishing}, note={}, }