Kostyantyn Vorobyov, Julien Signoles, Nikolai Kosmatov. Shadow state encoding for efficient monitoring of block-level properties. In Christoph M. Kirsch, Ben L. Titzer, editors, Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017. pages 47-58, ACM, 2017. [doi]
@inproceedings{VorobyovSK17,
title = {Shadow state encoding for efficient monitoring of block-level properties},
author = {Kostyantyn Vorobyov and Julien Signoles and Nikolai Kosmatov},
year = {2017},
doi = {10.1145/3092255.3092269},
url = {http://doi.acm.org/10.1145/3092255.3092269},
researchr = {https://researchr.org/publication/VorobyovSK17},
cites = {0},
citedby = {0},
pages = {47-58},
booktitle = {Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017},
editor = {Christoph M. Kirsch and Ben L. Titzer},
publisher = {ACM},
isbn = {978-1-4503-5044-0},
}