Diego Garbervetsky

Dr. Diego Garbervetsky

FTA Professor @ LaFHIS, DC, FCEyN, Universidad de Buenos Aires.

About

I am an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires. I am also a Researcher at the ICC/CONICET. I am also Director of the Institute of Research in Computer Sciences (ICC).

I work on static analysis techniques aimed at Java-like programs and Smart Contracts, automated program verification, program understanding and validation.

Phone: +54 11 5285-7482, email: diegog@dc.uba.ar. Twitter: @diegogarber

Research

Current research interests are in Program analysis (in particular):

• Program understanding.
• Testing and verification of programs featuring rich protocols
• Static analysis aimed at program verification of Java like programs.
• Automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc)

Publications

• Find me on: Google Scholar, ResearchGate, Microsoft Academic Search, DBLP, ACM.
• Most PDFs files are here

Teaching

Currently: Ingeniería de Software 2

Previously: Algoritmos y Estructuras de Datos 1/2, Automatic Software Validation and Verification, Automatic Program Analysis, Paradigmas de Programación, Organizacion del Computador 1 (verano).

Phd Students

• Daniel Wappner
• Javier Godoy
• Alexis Soifer

Former Phd Students

• Javier Pimas (currently at Quorum Software)
• Guido Chari (currently at Veritran)
• Rodrigo Castaño (currently at Microsoft)
• Edgardo Zoppi (currently at Worcket)
• Guido de Caso (currently at Dialpad)

Former Postdocs

• Rodrigo Castaño (currently at Microsoft)
• Sven Stork now at Duolingo

Undergraduate Students (similar to MSc thesis)

Previous students (link to their thesis):

• 2025: Ian Grinspan (co-director Javier Godoy), Felicitas Garcia (co-director Javier Godoy), Leo Mansini
• 2024: Dago de Renteria y Melissa Regnier (co-director JP Galeotti) Daniel Wappner (co-advisor Javier Godoy), Patricio Sabogal, Gabriela Croce (co-advisor Virginia Brassesco)
• 2023: Pablo Balbi
• 2021: Dardo Marasca (co-advisor Guido Chari), Francisco Curdi (co-advisor Edgardo Zoppi)
• 2019: Vera Bogdanich, Manuel Carrasco (co-advisor Juan Manuel Martinez Caamaño)
• 2018: Rodrigo Campos Catelin (co-advisor Jens Gustedt)
• 2017: Patricio Palladino
• 2016: Leandro Lera Romero, Ivan Postolski (co-advisor Victor Braberman)
• 2015: Sebastian Lamelas Marcote (co-advisor Martin Montperrus)
• 2013: Fernando Paulovsky (co-advisor Esteban Pavese), Juan Manuel Martinez Caamaño (co-advisor Philippe Clauss)
• 2012: Edgardo Zoppi (co-advisor G. de Caso), Marcos Chicote (co-advisor J.P. Galeotti)
• 2011: Bruno Cuervo Parino (co-advisor J.P. Galeotti), Jonathan Tapicer (co-advisor M. Rouaux)
• 2010: Pablo Bendersky (co-advisor J.P. Galeotti), Ariel Neisen (co-advisor D. Gorin), Fernando Benavidez (co-advisor D. Gorin), Alexis Tchach (co-advisor G. de Caso), Matias Grumberg and Gaston Krasny (co-advisor M. Rouaux)
• 2009: Martin Rouaux (co-advisor S. Yovine), Alejandro Taboada (co-advisor S. Yovine)
• 2007: Guido de Caso (co-advisor D. Gorin)
• 2006: Diego Piemonte, Federico Fernandez (co-advisor F. Bonomo)

Service (last 5 years)

• Program Committee at FSE 2026: PC la ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) . Montreal. USA. July 2026
• Program Committee at ASE 2025: PC del industrial tack la ACM Automated Software Engineering Conference and (ASE). South Korea. November 2025.
• Program Committee at FSE 2024/25: PC del industrial tack la ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (FSE 24/25).
• Program Committee at FSE 2022: co-chair del artifacts evaluation track de la ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (FSE 22). Singapore. November 2022.
• Program Committee at FMICS 2021: PC de Formal Methods for Industrial Critical Systems. QONFEST week 2021 (virtual)
• Program Committee at ICSE 2021: PC de la 43th International Conference on Software Engineering, Madrid, Spain, Mayo 2021.
• Program Committee at FSE 2020: PC la ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (FSE 20). California. USA. November 2020.

Tools

Automatic abstraction for behavior validation:

• Contractor: An automated tool that takes a software contract or an API source code and generates a finite abstract representation useful for its validation
• Contractor.NET: A Visual Studio extension for .NET validation and specification strengthening.

Analysis of heap memory consumption:

• JConsume2: A compositional analysis for inferring heap memory consumption in Java.
• Consume.Net: A compositional analysis for inferring heap memory consumption in .Net Programs.
• Resource Contracts.NET: An extension of Code Contracts to specify and verify memory consumption constraints in .NET programs.
• JScoper: An Eclipse plug-in that assists translation of Java applications to Java Real Time ones.

Verification:

• BudaPest: An automated software verifier of imperative programs.
• VInTime: A tool suite for the verification of Real Time systems.
• ObsSlice: A timed Automata Slicer based on Observers.

Analysis of .NET programs:

• analysis-net: A library to perform control flow and dataflow analysis on .Net programs (by Edgardo Zoppi)

Links

If you wish, you may also contact me through Facebook or Mendeley.