@conference {227,
	title = {Automated Discovery of Simulation Between Programs},
	booktitle = {LPAR},
	year = {2015},
	author = {Grigory Fedyukovich and Gurfinkel, A. and Natasha Sharygina}
}
