Diego Garbervetsky

Parametric prediction of heap memory requirements

Vı́ctor Braberman, F.J. Fernandez, Diego Garbervetsky et al. · 2008 · 72 citations

Computing, Computer Engineering, Computer Science +17

Automated Abstractions for Contract Validation

Guido de Caso, Vı́ctor Braberman, Diego Garbervetsky et al. · IEEE Transactions on Software Engineering · 2010 · 42 citations · Full text

Computing, Computer Science, Formal Methods +9

Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation

Philippe Clauss, F.J. Fernandez, Diego Garbervetsky et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2009 · 40 citations · Full text

Engineering, Computer Engineering, Computer Science +13

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.

Vı́ctor Braberman, Diego Garbervetsky, Sergio Yovine · The Journal of Object Technology · 2006 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +15

Toward full elasticity in distributed static analysis: the case of callgraph analysis

Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits · 2017 · 27 citations

Computing, Cloud Computing, Computer Science +17