BLeak: Automatically Debugging Memory Leaks in Web Applications. - Vilk, John; Berger, Emery D. (Communications of the ACM, 2020)