Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Cette séance de cours explore le concept de synthétisation automatique du code OS, en mettant l'accent sur les défis auxquels sont confrontés les développeurs de systèmes d'exploitation dans la configuration manuelle du matériel de traduction. L'orateur, Reto Achermann de l'Université de la Colombie-Britannique, discute du processus fastidieux de lecture des manuels de matériel, de la complexité des unités de traduction et de la nécessité de vérifier l'exactitude. La séance de cours présente la chaîne d'outils Velosiraptor, qui construit automatiquement le code OS correct à partir d'une spécification, réduisant l'effort de développement et minimisant le risque d'erreurs.