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 | Modular Verification of Heap Reachability Properties in Separation Logic Modular Verification of Heap Reachability Properties in Separation Logic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2019-profile
View general profile
View general profile