Tingting Yu

Une étude sur la réduction des frais de gas sur Ethereum grâce à l'optimisation des smart contracts.

Un outil automatisé vérifie les contrats intelligents pour s'assurer qu'ils respectent les normes ERC, ce qui améliore la sécurité.

Cette étude montre comment les modèles de langage peuvent dénicher des bugs cachés dans les applis mobiles.

Optimiser la recherche de bugs avec des techniques et des technologies avancées.