Sanjit A. Seshia

Une nouvelle méthode améliore la génération de code pour des langages de programmation spécialisés.

Explorer comment l'IA facilite la conversion de code entre les langages de programmation.

Une nouvelle méthode améliore la détection des vulnérabilités microarchitecturales dans les systèmes informatiques.