Ondřej Lhoták

École d'informatique de Cheriton

Université de Waterloo

Ondřej Lhoták a apporté des contributions significatives dans les domaines de l'analyse de programmes et de la programmation orientée aspect. Dans le cadre de sa thèse, il a développé une nouvelle approche pour l'analyse des pointeurs des programmes orientés objet qui s'appuie sur les diagrammes de décision binaires (BDD) pour représenter de manière compacte de grands ensembles de faits d'analyse de programme. Cette approche se distingue des approches précédentes de l'analyse des pointeurs par son évolutivité supérieure. M. Lhoták a également apporté des contributions significatives dans les domaines de la programmation orientée aspect. En particulier, il a développé une notion de "tracematches" qui permet la construction d'outils avancés pour le débogage et la surveillance de l'exécution et a démontré que les tracematches peuvent être mis en œuvre efficacement en utilisant l'analyse de programme pour réduire le montant de la surcharge d'instrumentation. Les projets de M. Lhoták sont caractérisés par des évaluations expérimentales rigoureuses, et une grande partie de l'infrastructure développée dans le cadre des recherches de M. Lhoták a été publiée en tant que logiciel libre, pour le plus grand bénéfice de la communauté des langages de programmation.