Lucas Pizzagalli

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Computer Architecture

Static Analysis

Asymptotically Optimal

Top Venues

Publications

Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias
Parallel bounded analysis in code with rich invariants by refinement of field bounds. ISSTA (2013)