Contractor.NET: inferring typestate properties to enrich code contracts. - Edgardo Zoppi; Víctor A. Braberman; Guido de Caso; Diego Garbervetsky; Sebastián Uchitel (TOPI@ICSE, 2011)

On Verifying Resource Contracts using Code Contracts. - Rodrigo Castaño; Juan Pablo Galeotti; Diego Garbervetsky; Jonathan Tapicer; Edgardo Zoppi (LAFM, 2013)

Static analysis for optimizing big data queries. - Diego Garbervetsky; Zvonimir Pavlinovic; Michael Barnett 001; Madanlal Musuvathi; Todd Mytkowicz; Edgardo Zoppi (ESEC/SIGSOFT FSE, 2017)

Toward full elasticity in distributed static analysis: the case of callgraph analysis. - Diego Garbervetsky; Edgardo Zoppi; Benjamin Livshits (ESEC/SIGSOFT FSE, 2017)