Heaps don't lie: countering unsoundness with heap snapshots.

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases