Henrique Nazaré

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Inference Mechanism

Distribution Free

University Library

Top Venues

Publications

Alisa J. Maas, Henrique Nazaré, Ben Liblit
Array length inference for C library bindings. ASE (2016)
Simon Moll, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues
Bounds Check Hoisting for AddressSanitizer. SBLP (2014)
Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
Validation of memory accesses through symbolic analyses. OOPSLA (2014)