Un étudiant du DoC reçoit le prix d’un article distingué et le prix du meilleur artefact au PLDI | Nouvelles Impériales | collège impérial de Londres

Conception et implémentation des langages de programmation SIGPLAN

Nous sommes ravis de vous informer que Stefanos Chaliasos, doctorant au Département d’informatique, ses superviseurs, le Dr Ben Livshits et le Dr Arthur Gervais, ont reçu le prix de l’article distingué et le prix du meilleur artefact au PLDI 2022, la première conférence internationale sur l’état de recherche de pointe sur les langages de programmation.

Leur travail commun, « Finding Typing Compiler Bugs », a été réalisé en collaboration avec Thodoris Sotiropoulos et le professeur Diomidis Spinellis de l’Université d’économie et de commerce d’Athènes, et le Dr Dimitrios Mitropoulos de l’Université d’Athènes, présente un cadre de test appelé Hephaestus, pour validation des procédures de typage statique dans les compilateurs. Les composants de base d’Hephaestus sont un générateur de programme et deux mutateurs conçus de manière appropriée pour produire des programmes susceptibles de déclencher des bogues de compilateur de frappe. L’extensibilité d’Hephaestus lui permet de tester les compilateurs de trois langages JVM populaires : Java, Kotlin et Groovy. En neuf mois de tests, Hephaestus a trouvé plus de 150 bogues avec diverses manifestations et causes profondes dans tous les compilateurs examinés. La plupart des bogues découverts se trouvent au cœur de nombreux composants critiques liés au typage statique, tels que l’inférence de type. L’implémentation d’Hephaestus peut être trouvée dans le lien suivant : https://github.com/hephaestus-compiler-project/hephaestus.