Automated Discovery of Simulation Between Programs.

Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina

Browse the full LPAR paper archive.