Login / Signup
Edgardo Zoppi
Publication Activity (10 Years)
Years Active: 2011-2017
Publications (10 Years): 2
Top Topics
Big Data
Moral Hazard
Symbolic Execution
Static Analysis
Top Venues
ESEC/SIGSOFT FSE
LAFM
</>
Publications
</>
Diego Garbervetsky
,
Zvonimir Pavlinovic
,
Michael Barnett
,
Madanlal Musuvathi
,
Todd Mytkowicz
,
Edgardo Zoppi
Static analysis for optimizing big data queries.
ESEC/SIGSOFT FSE
(2017)
Diego Garbervetsky
,
Edgardo Zoppi
,
Benjamin Livshits
Toward full elasticity in distributed static analysis: the case of callgraph analysis.
ESEC/SIGSOFT FSE
(2017)
Rodrigo Castaño
,
Juan Pablo Galeotti
,
Diego Garbervetsky
,
Jonathan Tapicer
,
Edgardo Zoppi
On Verifying Resource Contracts using Code Contracts.
LAFM
(2013)
Edgardo Zoppi
,
Víctor A. Braberman
,
Guido de Caso
,
Diego Garbervetsky
,
Sebastián Uchitel
Contractor.NET: inferring typestate properties to enrich code contracts.
TOPI@ICSE
(2011)