Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Heaps don't lie: countering unsoundness with heap snapshots
OOPSLA, 2017.
@article{OOPSLA-2017-GrechFFS,
author = "Neville Grech and George Fourtounis and Adrian Francalanza and Yannis Smaragdakis",
doi = "10.1145/3133892",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "27",
publisher = "{ACM}",
title = "{Heaps don't lie: countering unsoundness with heap snapshots}",
volume = 1,
year = 2017,
}