Guillermo Polito : Fuzzing language implementations: a teaching and industrial perspective
Le lien vers l’enregistrement se trouve ici (durée : 1 heure et 6 minutes).
Heure et date : le 11 octobre à 12h30
Lieu : PK-4610 et Zoom
Conférencier : Guillermo Polito, INRIA
Titre : Fuzzing language implementations: a teaching and industrial perspective
Abstract:
Fuzz testing is a technique that automatically generates input for programs, aiming to challenge their implementations and find bugs.
There are, however, different ways to apply fuzz testing, ranging from completely random generation to profile-guided generation.
This presentation will showcase the basic concepts of fuzzing in a real-world test scenario: random, grammar, and mutational fuzzing.
We will show how these concepts are applied to teach automated compiler testing and can be applied to teach real-world compilers and garbage collectors.
Who knows? Maybe we will find a bug.
Biographie :
Guillermo Polito is an Inria researcher at the CRIStAL laboratory, where he is an expert in software engineering and language implementations, with a particular focus on test generation. His main research interest lies in the efficiency, modularity and testing of programming languages, particularly in Language Virtual Machines, as well as the runtime adaptation of applications and programming language tools.
Guillermo actively participate in the development of the open source Pharo programming language and environment since 2010, and is a member of its technical board since 2018. He obtained his Phd entitled « Virtualization support for application runtime specialization and extension » under the direction of Stéphane Ducasse (Evref team from Inria Lille-Nord Europe) and the supervision of Noury Bouraqadi and Luc Fabresse(CAR team of Mines Douai) in April of 2015.
—
Guillermo Polito est chercheur Inria au laboratoire CRIStAL, où il est expert en génie logiciel et en implémentation de langages, avec un accent particulier sur la génération de tests. Ses recherches portent principalement sur l’efficacité, la modularité et le test des langages de programmation, sur les machines virtuelles linguistiques, ainsi que sur l’adaptation des applications et des outils de langage de programmation au moment de l’exécution.
Guillermo participe activement au développement du langage et de l’environnement de programmation open source Pharo depuis 2010, et il est membre de son conseil technique depuis 2018. Il a obtenu son doctorat intitulée « Virtualization support for application runtime specialization and extension » sous la direction de Stéphane Ducasse (équipe Evref de l’Inria Lille-Nord Europe) et la supervision de Noury Bouraqadi et Luc Fabresse (équipe CAR de Mines Douai) en avril 2015.
