Diego Garbervetsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
9
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Improving Dynamic Specification Inference with LLM-Generated Counterexamples. | Agustn Balestra, Agustn Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre |
| 2025 | MODELS | Modal Abstractions for Smart Contract Validation. | Javier Godoy, Margarita Capretto, Martn Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Csar Snchez, Sebastin Uchitel |
| 2022 | ICSE | InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. | Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schfer |
| 2022 | MODELS | Predicate abstractions for smart contract validation. | Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastin Uchitel |
| 2020 | ICSE | Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage. | Ivn Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky |
| 2019 | ICSE | Simulator-based diff-time performance testing. | Ivan Postolski, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2017 | ECOOP | A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability. | Guido Chari, Diego Garbervetsky, Stefan Marr |
| 2017 | ICSE | Fully-reflective VMs for ruling software adaptation. | Guido Chari, Diego Garbervetsky, Stefan Marr |
| 2017 | ICSE | High-Coverage Testing of Navigation Models in Android Applications. | Fernando Paulovsky, Esteban Pavese, Diego Garbervetsky |
| 2016 | DLS | Building efficient and highly run-time adaptable virtual machines. | Guido Chari, Diego Garbervetsky, Stefan Marr |
| 2015 | OOPSLA | Towards fully reflective environments. | Guido Chari, Diego Garbervetsky, Stefan Marr, Stphane Ducasse |
| 2013 | ICSE | 3rd international workshop on developing tools as plug-ins (TOPI 2013). | Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky |
| 2011 | ICSE | Program abstractions for behaviour validation. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2011 | ICSE | Pest: from the lab to the classroom. | Guido de Caso, Diego Garbervetsky, Daniel Gorn |
| 2011 | ICSE | Resource usage contracts for .NET. | Jonathan Tapicer, Diego Garbervetsky, Martn Rouaux |
| 2011 | ICSE | Contractor.NET: inferring typestate properties to enrich code contracts. | Edgardo Zoppi, Vctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastin Uchitel |
| 2011 | SEFM | A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. | Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias |
| 2011 | TACAS | Enforcing Structural Invariants Using Dynamic Frames. | Diego Garbervetsky, Daniel Gorn, Ariel Neisen |
| 2009 | ICSE | Validation of contracts using enabledness preserving finite state abstractions. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2004 | CAV | ObsSlice: A Timed Automata Slicer Based on Observers. | Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
| 2002 | TACAS | Improving the Verification of Timed Systems Using Influence Information. | Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |