Compiler support for selective page migration in NUMA architectures. - Guilherme Piccoli; Henrique Nazaré Santos; Raphael Ernani Rodrigues; Christiane Pousa; Edson Borin; Fernando Magno Quintão Pereira (PACT, 2014)

Validation of memory accesses through symbolic analyses. - Henrique Nazaré; Izabela Maffra; Willer Santos; Leonardo Barbosa e Oliveira; Laure Gonnord; Fernando Magno Quintão Pereira (OOPSLA, 2014)

Bounds Check Hoisting for AddressSanitizer. - Simon Moll 001; Henrique Nazaré; Gustavo Vieira Machado; Raphael Ernani Rodrigues (SBLP, 2014)

Just-in-time value specialization. - Igor Rafael de Assis Costa; Henrique Nazaré Santos; Péricles Rafael Oliveira Alves; Fernando Magno Quintão Pereira (Comput. Lang. Syst. Struct., 2014)

Restrictification of function arguments. - Victor Hugo Sperle Campos; Péricles Rafael Oliveira Alves; Henrique Nazaré Santos; Fernando Magno Quintão Pereira (CC, 2016)

Array length inference for C library bindings. - Alisa J. Maas; Henrique Nazaré; Ben Liblit (ASE, 2016)