Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
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