Diego Garbervetsky

I am an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC / CONICET.

My work centers on static analysis aimed at Java-like programs and smart contracts, automated program verification, and program understanding and validation. I am also interested in technology transfer, having collaborated on projects with Microsoft, GitHub, OpenZeppelin, Medallia and other companies and public institutions.

☎ +54 11 5285-7482  ·  ✉ diegog@dc.uba.ar

• 01Program understanding. Recovering models and behavioral abstractions that make complex software intelligible.
• 02Testing & verification of rich-protocol programs. Reasoning about components that expose stateful, protocol-driven interfaces.
• 03Static analysis for verification. Sound analyses targeting verification of Java-like programs.
• 04Symbolic resource analysis. Inferring gas consumption, dynamic memory and energy use automatically.

A full, up-to-date record lives on these profiles. Most PDFs are collected on the UBA publications server.

Previously

• Algoritmos y Estructuras de Datos 1 / 2
• Automatic Software Validation and Verification
• Automatic Program Analysis
• Paradigmas de Programación
• Organización del Computador 1 (verano)

• FSE 2026 — Program Committee, ACM ESEC/FSE. Montreal, July 2026.
• ASE 2025 — Program Committee, Industrial Track, ACM Automated Software Engineering. South Korea, Nov 2025.
• FSE 2024 / 2025 — Program Committee, Industrial Track, ACM ESEC/FSE.
• FSE 2022 — Co-chair, Artifacts Evaluation Track, ACM ESEC/FSE. Singapore, Nov 2022.
• FMICS 2021 — Program Committee, Formal Methods for Industrial Critical Systems (QONFEST week).
• ICSE 2021 — Program Committee, 43rd Intl. Conference on Software Engineering. Madrid, May 2021.
• FSE 2020 — Program Committee, ACM ESEC/FSE. California, Nov 2020.