Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev. Automatic Verification of RMA Programs via Abstraction Extrapolation. In Isil Dillig, Jens Palsberg, editors, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings. Volume 10747 of Lecture Notes in Computer Science, pages 47-70, Springer, 2018. [doi]
@inproceedings{BaumannDMHV18,
title = {Automatic Verification of RMA Programs via Abstraction Extrapolation},
author = {Cedric Baumann and Andrei Marian Dan and Yuri Meshman and Torsten Hoefler and Martin T. Vechev},
year = {2018},
doi = {10.1007/978-3-319-73721-8_3},
url = {https://doi.org/10.1007/978-3-319-73721-8_3},
researchr = {https://researchr.org/publication/BaumannDMHV18},
cites = {0},
citedby = {0},
pages = {47-70},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings},
editor = {Isil Dillig and Jens Palsberg},
volume = {10747},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-73721-8},
}