Registered user since Sun 11 Sep 2022
Name:Guy Gueta
Affiliation:VMWare Research
Contributions
POPL 2018 | Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile