Diego Garbervetsky

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