Yongqiang Tian

Une nouvelle approche améliore la fiabilité des tests pour les bibliothèques d'apprentissage profond.

Une analyse détaillée des bugs dans les compilateurs Solidity et leurs implications.

Une nouvelle technique améliore les tests de chargement de modèles dans les compilateurs de deep learning.