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]
Abstract is missing.