AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.

Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas

Browse the full MICRO paper archive.