Precise and Scalable Detection of Use-after-Compacting-Garbage-Collection Bugs. - HyungSeok Han; Andrew Wesie; Brian Pak (USENIX Security Symposium, 2021)