@conference {326,
	title = {Farkas-Based Tree Interpolation},
	booktitle = {SAS 2020 - 27th Static Analysis Symposium},
	year = {2020},
	publisher = {Springer},
	organization = {Springer},
	address = {Online Conference},
	url = {https://link.springer.com/chapter/10.1007\%2F978-3-030-65474-0_16},
	author = {Sepideh Asadi and Martin Blicha and Antti Hyv{\"a}rinen and Grigory Fedyukovich and Natasha Sharygina}
}
@conference {288,
	title = {Function Summarization Modulo Theories},
	booktitle = {22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR},
	year = {2018},
	publisher = {EasyChair Publications},
	organization = {EasyChair Publications},
	address = {Ethiopia},
	keywords = {Author keywords:	 Software Verification Bounded Model Checking, Craig Interpolation, Function Summaries, Incremental Verification, Satisfiability Modulo Theories, Software Verification},
	doi = {10.29007/d3bt},
	url = {https://easychair.org/publications/paper/nNLJ},
	author = {Sepideh Asadi and Martin Blicha and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Karine Even-Mendoza and Natasha Sharygina and Hana Chockler}
}
@conference { Ondrej Sery; Gri,
	title = {FunFrog: Bounded Model Checking with Interpolation-based Function Summarization},
	booktitle = {Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA)},
	year = {2012},
	note = {To appear at the conference. The pdf-version is not final.},
	address = {Thiruvananthapuram, India},
	author = {Sery, O. and Grigory Fedyukovich and Natasha Sharygina}
}
@conference {149,
	title = {Function Summaries in Software Upgrade Checking},
	booktitle = {Haifa Verification Conference (HVC)},
	year = {2011},
	publisher = {Springer},
	organization = {Springer},
	address = {Haifa Verification Conference (HVC)},
	author = {Grigory Fedyukovich and Sery, O. and Natasha Sharygina}
}
