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

2019

SPLASH

Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track
Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA Artifacts-track