Skip to content
GitHub

Guillermo Polito

Coding enthusiast. Mad hatter. Software engineer and researcher.

I am currently an Inria Researcher at the CRIStAL laboratory, where I am expert in software engineering and language implementations, with a particular focus on test generation. I work in the Evref team from Inria Lille-Nord Europe.

My main research interest lies in the efficiency, modularity and testing of programming languages, particularly in Language Virtual Machines (VMs). VMs make possible for high-level programming languages to run efficiently, and thus makes them an important asset for companies. They achieve high performance thanks to aggressive optimisation techniques that mix state-of-the-art compilation with operating-system memory management. A main challenge is the high-cost incurred in VM construction, due to the complexity and inter-dependence of their many components. This complexity is required by companies and research to be competitive.

I actively participate in the development of the open source Pharo programming language and environment since 2010, and I am a member of its technical board since 2018.

My main topics of interests are the runtime adaptation of applications, Virtual Machine design and development, and programming language tools. For that, I work on reflective applications and programming languages.

I obtained the 13 of april 2015 my 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).

Selected Articles

4 publications

  1. Are Abstract-Interpreter Baseline JITs Worth It? An Empirical Evaluation through Metacompilation.Nahuel Palumbo, Guillermo Polito, Stéphane Ducasse, Pablo TesoneIEEE/ACM International Symposium on Code Generation and Optimization (CGO 2026)2026DOIConference paperA*
  2. Heap Fuzzing: Automatic Garbage Collection Testing with Expert-Guided Random Events.Guillermo Polito, Pablo Tesone, Jean Privat, Nahuel Palumbo, Stéphane DucasseInternational Conference on Software Testing2023Conference paperA
  3. Interpreter-guided Differential JIT Compiler Unit Testing.Guillermo Polito, Nahuel Palumbo, Pablo Tesone, Soufyane Labsari, Stéphane DucasseProgramming Language Design and Implementation (PLDI'22)2022PDFHALConference paperA*
  4. Rotten Green Tests.Julien Delplanque, Stéphane Ducasse, Andrew P. Black, Guillermo Polito, Anne Etien2019 International Conference on Software Engineering (ICSE), pp. 500–5112019DOIPDFHALConference paperA*

Coordinates

Work email: guillermo.polito_at_inria.fr

Personal email: guillermopolito_at_gmail.com

Snail mail / Visits

INRIA - G. Polito, 40, avenue Halley
Parc Scientifique de la Haute Borne,
Bat.A, Park Plaza
France
Tel:33 (0)3 20 43 42 56
Fax:33 (0)3 59 57 78 50