UFO: predictive concurrency use-after-free detection.

Jeff Huang

Browse the full ICSE paper archive.