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