K. Vorobyov, J. Signoles, N. Kosmatov. Shadow state encoding for efficient monitoring of block-level properties.
ISMM 2017 Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, Jun 2017, Barcelona, Spain. pp.47-58,
⟨10.1145/3092255.3092269⟩.
⟨cea-01836510⟩