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
Research interests:Static and dynamic analysis, reserve engineering, compiler optimizations

Contributions

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

ISSTA 2020-profile
View general profile