Diego Garbervetsky

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 24

Top Topics

Information Redundancy

Static Analysis

Top Venues

ESEC/SIGSOFT FSE

Publications

Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Verification of Programs with Common Fragments. SIGSOFT FSE Companion (2024)
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Javier E. Pimás, Stefan Marr, Diego Garbervetsky
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines. Art Sci. Eng. Program. 8 (2) (2024)
Javier E. Pimás, Stefan Marr, Diego Garbervetsky
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines. CoRR (2023)
Iván Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky
An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. J. Softw. Evol. Process. 35 (4) (2023)
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
Predicate abstractions for smart contract validation. MoDELS (2022)
Alexis Soifer, Diego Garbervetsky, Víctor A. Braberman, Sebastián Uchitel
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. CoRR (2022)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. ICSE (SEIP) (2022)
Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Dynamic Slicing by On-demand Re-execution. CoRR (2022)
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
Enabledness-based Testing of Object Protocols. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. CoRR (2021)
Iván Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky
Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage. AST@ICSE (2020)
Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Simulator-based diff-time performance testing. ICSE (NIER) (2019)
Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse
Fully Reflective Execution Environments: Virtual Machines for More Flexible Software. IEEE Trans. Software Eng. 45 (9) (2019)
Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez
Testing and validating end user programmed calculated fields. ESEC/SIGSOFT FSE (2018)
Guido Chari, Diego Garbervetsky, Stefan Marr
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability. ICOOOLPS@ECOOP (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Verification Coverage. CoRR (2017)
Guido Chari, Diego Garbervetsky, Stefan Marr
Fully-reflective VMs for ruling software adaptation. ICSE (Companion Volume) (2017)
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi
Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Model checker execution reports. ASE (2017)
Fernando Paulovsky, Esteban Pavese, Diego Garbervetsky
High-Coverage Testing of Navigation Models in Android Applications. AST@ICSE (2017)
Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits
Toward full elasticity in distributed static analysis: the case of callgraph analysis. ESEC/SIGSOFT FSE (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Model Checker Execution Reports. CoRR (2016)
Guido Chari, Diego Garbervetsky, Stefan Marr
Building efficient and highly run-time adaptable virtual machines. DLS (2016)
Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias
TacoFlow: optimizing SAT program verification using dataflow analysis. Softw. Syst. Model. 14 (1) (2015)
Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse
Towards fully reflective environments. Onward! (2015)
Diego Garbervetsky, Sunghun Kim
Developing tools as plug-ins: TOPI 2012 special issue. Softw. Pract. Exp. 44 (3) (2014)
Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92 (2014)
Diego Garbervetsky, Sunghun Kim
Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012). ACM SIGSOFT Softw. Eng. Notes 38 (1) (2013)
Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky
3rd international workshop on developing tools as plug-ins (TOPI 2013). ICSE (2013)
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi
On Verifying Resource Contracts using Code Contracts. LAFM (2013)
Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
The DynAlloy Visualizer. LAFM (2013)
Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28 (4) (2013)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Enabledness-based program abstractions for behavior validation. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Guido Chari, Diego Garbervetsky, Camillo Bruni, Marcus Denker, Stéphane Ducasse
Waterfall: Primitives Generation on the Fly. CoRR (2013)
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Integrated program verification tools in education. Softw. Pract. Exp. 43 (4) (2013)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38 (1) (2012)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Abstractions for Validation in Action. SFM (2012)
Diego Garbervetsky, Sunghun Kim
Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012). ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
Quantitative dynamic-memory analysis for Java. Concurr. Comput. Pract. Exp. 23 (14) (2011)
Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel
Contractor.NET: inferring typestate properties to enrich code contracts. TOPI@ICSE (2011)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Program abstractions for behaviour validation. ICSE (2011)
Jonathan Tapicer, Diego Garbervetsky, Martín Rouaux
Resource usage contracts for .NET. TOPI@ICSE (2011)
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Pest: from the lab to the classroom. TOPI@ICSE (2011)
Diego Garbervetsky, Daniel Gorín, Ariel Neisen
Enforcing Structural Invariants Using Dynamic Frames. TACAS (2011)
Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. SEFM (2011)
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Reducing the Number of Annotations in a Verification-oriented Imperative Language CoRR (2010)
Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
On transforming Java-like programs into memory-predictable code. JTRES (2009)
Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation. IEEE Trans. Very Large Scale Integr. Syst. 17 (8) (2009)
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Validation of contracts using enabledness preserving finite state abstractions. ICSE (2009)
Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS (2009)
Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine
Parametric prediction of heap memory requirements. ISMM (2008)
Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. J. Object Technol. 7 (5) (2008)
Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. J. Object Technol. 5 (5) (2006)
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
A toolsuite for the verification of real-time systems in Eclipse. ETX (2006)
Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. Electron. Notes Theor. Comput. Sci. 113 (2005)
Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine
JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. eTX (2005)
Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky
Fast Escape Analysis for Region-based Memory Management. Electron. Notes Theor. Comput. Sci. 131 (2005)
Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
ObsSlice: A Timed Automata Slicer Based on Observers. CAV (2004)
Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
Improving the Verification of Timed Systems Using Influence Information. TACAS (2002)