Thread-modular shape analysis.

Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv

Browse the full PLDI paper archive.