Registered user since Mon 20 Jun 2016
Name:Mehdi Bouaziz
Country:France
Affiliation:Nomadic Labs Paris
Personal website:http://mehdi.bouaziz.org
Research interests:Static analysis, Abstract interpretation, Security, Programming Languages
Contributions
| SOAP 2022 | Abstract interpretation of Michelson smart-contracts | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2022-profile
View general profile
View general profile