Diego Garbervetsky, Ph.D
Fulltime Professor, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresBuenos Aires, Argentina
Research field: Computer and Information Science - Software Engineering
program analysis with focus in resource usage and verification of Java like programs, program understanding and validation.
Publications
-
Conference Proceedings (17)
-
Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky et al. (2011) A Dataflow Analysis to Improve SAT-Based Bounded Program Verification, 138-154. In SEFM.Download PDF (439.12 KB)
-
Edgardo Zoppi, Víctor Braberman, Guido de Caso et al. (2011) Contractor.NET, 44. In Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11.Download PDF (220.66 KB)
-
Diego Garbervetsky, Daniel Gorín, Ariel Neisen (2011) Enforcing Structural Invariants Using Dynamic Frames, 65-80. In TACAS.Download PDF (416.93 KB)
-
Guido de Caso, Diego Garbervetsky, Daniel Gorín (2011) Pest, 5. In Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11.Download PDF (289.56 KB)
-
Guido de Caso, Víctor Braberman, Diego Garbervetsky et al. (2011) Program abstractions for behaviour validation, 381. In Proceeding of the 33rd international conference on Software engineering - ICSE '11.Download PDF (454.39 KB)
-
Jonathan Tapicer, Diego Garbervetsky, Martin Rouaux (2011) Resource usage contracts for .NET, 56. In Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11.Download PDF (289.83 KB)
-
Diego Garbervetsky, Sergio Yovine, Víctor Braberman et al. (2009) On transforming Java-like programs into memory-predictable code, 140. In Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '09.Download PDF (325.18 KB)
-
G. De Caso, Diego Garbervetsky, D. Gor\'\in (2009) Reducing the number of annotations in a verification-oriented imperative language. In Proceedings of Automatic Program Verification.Download PDF (514.89 KB)
-
Víctor A Braberman, Diego Garbervetsky, Nicolás Kicillof et al. (2009) Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis, 58--72. In Formal Modeling and Analysis of Timed SystemsSpeeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.Download PDF (471.88 KB)
-
Guido de Caso, Victor Braberman, Diego Garbervetsky et al. (2009) Validation of contracts using enabledness preserving finite state abstractions, 452-462. In 2009 IEEE 31st International Conference on Software Engineering.Download PDF (225.82 KB)
- See all
-
-
Journal Article (6)
-
Diego Garbervetsky, Sergio Yovine, Víctor Braberman et al. (2011) Quantitative dynamic-memory analysis for Java, 1665-1678. In Concurrency and Computation: Practice and Experience 23 (14).Download PDF (349.46 KB)
-
Philippe Clauss, Federico Javier Fernandez, Diego Garbervetsky et al. (2009) Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation, 983-996. In IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17 (8).Download PDF (710.09 KB)
-
Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte (2008) A Static Analysis to Detect Re-Entrancy in Object Oriented Programs., 5. In The Journal of Object Technology 7 (5).Download PDF (2.05 MB)
-
Víctor A Braberman, Diego Garbervetsky, Sergio Yovine (2006) A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption., 31-58. In Journal of Object Technology.
-
G SALAGNAC, S YOVINE, D GARBERVETSKY (2005) Fast Escape Analysis for Region-based Memory Management, 99-110. In Electronic Notes in Theoretical Computer Science.
-
D GARBERVETSKY, C NAKHLI, S YOVINE et al. (2005) Program Instrumentation and Run-Time Analysis of Scoped Memory in Java, 105-121. In Electronic Notes in Theoretical Computer Science.Download PDF (485.48 KB)
-
-
Report (2)
-
Mike Barnett, Manuel Fandrich, Diego Garbervetsky et al. (2007) A read and write effects analysis for C#.
-
Victor Braberman, Federico Fernadez, Diego Garbervetsky et al. (2007) Dynamic memory requirement inference using Berstein basis.
-
Awards and Grants
-
Mar 2011PICT: Análisis cuantitativo del uso de la memoria dinámica con foco en la escalabilidad y usabilidad
-
May 2010Microsoft SEIF Award: Resource Usage Contracts for .NET
-
Mar 2006Microsoft Research Ph.D Fellowship View website
Biographical Information
Diego Garbervetsky is a Full-time Professor at the Computer Science Department, School of Sciences, University of Buenos Aires. He is also a Researcher at CONICET and a member of LaFHIS Research Lab.
Currently, he is in charge of the Secretary of Research and Technology Transfer in our CS Department.
He is interested in automatic program analysis. In particular he works in static analysis aimed at resource usage analysis and program verification of Java like programs, program understanding and validation.
Currently, he is in charge of the Secretary of Research and Technology Transfer in our CS Department.
He is interested in automatic program analysis. In particular he works in static analysis aimed at resource usage analysis and program verification of Java like programs, program understanding and validation.
CV
Professional Experience
2010 - Present
Fulltime Professor at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina
Buenos Aires, Argentina
2010 - Present
Secretary of Research and Technology Transfer at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina
Buenos Aires, Argentina
2009 - Present
Sep 2007 - Jun 2010
Assistant Professor at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina
Buenos Aires, Argentina
Mar 2001 - Jul 2007
Teaching Assistant at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina
Buenos Aires, Argentina
Feb 1998 - Jul 2002
Education
Nov 2002 - Nov 2007
Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
in Buenos Aires, Argentina
Ph.D. in Computer Science
Ph.D. in Computer Science
Contact Information
| Webpage: | http://lafhis.dc.uba.ar/~diegog |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Diego is a member of
- Not a member of any groups yet.
Public groups Diego is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more