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