Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures.

Qiang Zeng, Dinghao Wu, Peng Liu

Browse the full PLDI paper archive.