SPLASH 2019 (series) / Arshavir Ter-Gabrielyan
Registered user since Tue 9 Jul 2019
Name: Arshavir Ter-Gabrielyan
Country: Switzerland
Affiliation: ETH Zurich
Research interests: Verification, Security, Machine Learning, Compilers
Contributions
| SPLASH 2019 | Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile