Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Diego Garbervetsky

Registered user since Tue 14 Jun 2016

Name: Diego Garbervetsky

Country: Argentina

Affiliation: University of Buenos Aires and CONICET, Argentina

Personal website: http://lafhis.dc.uba.ar/~diegog

Research interests: Static and dynamic analysis, reserve engineering, compiler optimizations

Contributions

ISSTA 2020Committee Member in Program Committee within the WoSCA-track
Author of Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers within the WoSCA-track
Show activities from other conferences

ISSTA 2020-profile
View general profile