Passer directement au contenu principal
Microsoft
Recherche
Recherche
Recherche
Accueil
Domaines de recherche
Intelligence
Intelligence
Intelligence artificielle
Audio & acoustique
Vision de l'ordinateur
Graphismes et multimédia
Interaction homme-ordinateur
Technologies du langage humain
Recherche et récupération d'informations
Systèmes
Systèmes
Plateformes de données et analyses
Matériel et Appareils
Langages de programmation et ingénierie logicielle
Calcul quantique
Sécurité, confidentialité et cryptographie
Systèmes et réseaux
Théorie
Théorie
Algorithmes
Mathématiques
Autres sciences
Autres sciences
Écologie et environnement
Économie
Médical, santé et génomique
Sciences sociales
Technologie pour les marchés émergents
Produits et téléchargements
Programmes et evénements
Programmes académiques
Événements et conférences
Carrières
Personnes
Index des personnes
Programme émérite
Actualités et récompenses
Blogs et d'apprentissage
Microsoft Research Blog
Microsoft Research podcast
Microsoft Research webinars
Microsoft Research newsletter
Plus
Labs et lieux
Labs et lieux
Microsoft Research
Microsoft Research
AI4Science
AI Frontiers
Avenir de la santé
Asia (Chinese)
Asia (English)
Cambridge
India
Montréal
New England
New York City
Redmond
Autres laboratoires/lieux
Autres laboratoires/lieux
Laboratoire de recherche – Applied Sciences
Réalité Mixte - AI Cambridge
Réalité Mixte - AI Zurich Lab
Tout de Microsoft
Global
Sécurité Microsoft
Azure
Dynamics 365
Microsoft 365
Microsoft Teams
Windows 365
Technologie et innovation
Technologie et innovation
Nuage Microsoft
IA
Espace Azure
Réalité mixte
HoloLens de Microsoft
Microsoft Viva
Informatique quantique
Durabilité
Secteurs d’activité
Secteurs d’activité
Éducation
Automobile
Services financiers
Gouvernement
Soins de santé
Fabrication
Vente au détail
Tous les secteurs d’activités
Partenaires
Partenaires
Trouver un partenaire
Devenir un partenaire
Partner Network
Trouver un partenaire publicitaire
Devenir un partenaire publicitaire
Azure Marketplace
AppSource
Ressources
Ressources
Blogue
Microsoft Advertising
Centre pour les développeurs
Documentation
Événements
Licences
Microsoft Learn
Microsoft Research
Afficher le plan du site
Rechercher
Recherche Microsoft Research
Aucun résultat
Annuler
Alive2: Bounded Translation Validation for LLVM
Nuno Lopes
,
Juneyoung Lee
,
Chung-Kil Hur
,
Zhengyang Liu
,
John Regehr
June 2021
Télécharger BibTex
Abstract coming…
S’ouvre dans un nouvel onglet
Suivez nous:
Suivre sur X
J’aime sur Facebook
Partager sur LinkedIn
Abonnez-vous sur Youtube
Suivez-nous sur Instagram
Abonnez-vous à notre fil RSS
Partagez cette page :
Partager sur X
Partager sur Facebook
Partager sur LinkedIn
Partager sur Reddit
