Diego Garbervetsky

According to our database, Diego Garbervetsky authored at least 54 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

An Empirical Study on How Sapienz Achieves Coverage and Crash Detection.

Iván Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky

J. Softw. Evol. Process., April, 2023

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines.

Javier E. Pimás, Stefan Marr, Diego Garbervetsky

CoRR, 2023

2022

Dynamic Slicing by On-demand Re-execution.

Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

CoRR, 2022

Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model.

Alexis Soifer, Diego Garbervetsky, Víctor A. Braberman, Sebastián Uchitel

CoRR, 2022

Predicate abstractions for smart contract validation.

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.

Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Enabledness-based Testing of Object Protocols.

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel

ACM Trans. Softw. Eng. Methodol., 2021

2020

Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage.

Iván Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

2019

Fully Reflective Execution Environments: Virtual Machines for More Flexible Software.

Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse

IEEE Trans. Software Eng., 2019

Simulator-based diff-time performance testing.

Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018

Testing and validating end user programmed calculated fields.

Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

Verification Coverage.

Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

CoRR, 2017

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

Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Static analysis for optimizing big data queries.

Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Model checker execution reports.

Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

High-Coverage Testing of Navigation Models in Android Applications.

Fernando Paulovsky, Esteban Pavese, Diego Garbervetsky

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

Fully-reflective VMs for ruling software adaptation.

Guido Chari, Diego Garbervetsky, Stefan Marr

Proceedings of the 39th International Conference on Software Engineering, 2017

A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability.

Guido Chari, Diego Garbervetsky, Stefan Marr

Proceedings of the 12th Workshop on Implementation, 2017

2016

Building efficient and highly run-time adaptable virtual machines.

Guido Chari, Diego Garbervetsky, Stefan Marr

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

TacoFlow: optimizing SAT program verification using dataflow analysis.

Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias

Softw. Syst. Model., 2015

Towards fully reflective environments.

Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

2014

Developing tools as plug-ins: TOPI 2012 special issue.

Diego Garbervetsky, Sunghun Kim

Softw. Pract. Exp., 2014

Summary-based inference of quantitative bounds of live heap objects.

Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine

Sci. Comput. Program., 2014

2013

Enabledness-based program abstractions for behavior validation.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

ACM Trans. Softw. Eng. Methodol., 2013

Integrated program verification tools in education.

Guido de Caso, Diego Garbervetsky, Daniel Gorín

Softw. Pract. Exp., 2013

Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012).

Diego Garbervetsky, Sunghun Kim

ACM SIGSOFT Softw. Eng. Notes, 2013

Supporting incremental behaviour model elaboration.

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

Comput. Sci. Res. Dev., 2013

Waterfall: Primitives Generation on the Fly.

Guido Chari, Diego Garbervetsky, Camillo Bruni, Marcus Denker, Stéphane Ducasse

CoRR, 2013

On Verifying Resource Contracts using Code Contracts.

Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

The DynAlloy Visualizer.

Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

3rd international workshop on developing tools as plug-ins (TOPI 2013).

Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Automated Abstractions for Contract Validation.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

IEEE Trans. Software Eng., 2012

Abstractions for Validation in Action.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

2011

Quantitative dynamic-memory analysis for Java.

Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada

Concurr. Comput. Pract. Exp., 2011

Enforcing Structural Invariants Using Dynamic Frames.

Diego Garbervetsky, Daniel Gorín, Ariel Neisen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.

Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Contractor.NET: inferring typestate properties to enrich code contracts.

Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Resource usage contracts for .NET.

Jonathan Tapicer, Diego Garbervetsky, Martín Rouaux

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Pest: from the lab to the classroom.

Guido de Caso, Diego Garbervetsky, Daniel Gorín

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Program abstractions for behaviour validation.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Reducing the Number of Annotations in a Verification-oriented Imperative Language

Guido de Caso, Diego Garbervetsky, Daniel Gorín

CoRR, 2010

2009

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

Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege

IEEE Trans. Very Large Scale Integr. Syst., 2009

On transforming Java-like programs into memory-predictable code.

Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Validation of contracts using enabledness preserving finite state abstractions.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 31st International Conference on Software Engineering, 2009

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.

Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs.

Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte

J. Object Technol., 2008

Parametric prediction of heap memory requirements.

Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine

Proceedings of the 7th International Symposium on Memory Management, 2008

2006

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

Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine

J. Object Technol., 2006

A toolsuite for the verification of real-time systems in Eclipse.

Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

Fast Escape Analysis for Region-based Memory Management.

Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications.

Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

Program Instrumentation and Run-Time Analysis of Scoped Memory in Java.

Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati

Proceedings of the Fourth Workshop on Runtime Verification, 2004

ObsSlice: A Timed Automata Slicer Based on Observers.

Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2002

Improving the Verification of Timed Systems Using Influence Information.

Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002