Edgardo Zoppi

According to our database, Edgardo Zoppi authored at least 4 papers between 2011 and 2017.

Collaborative distances:

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

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

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

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