Abstract Transformers for Thread Correlation Analysis.

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv

Browse the full APLAS paper archive.