Abstract interpretation under speculative execution.

Meng Wu, Chao Wang

Browse the full PLDI paper archive.