Henrique Nazaré

According to our database, Henrique Nazaré authored at least 6 papers between 2014 and 2016.

Collaborative distances:

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

2016

Array length inference for C library bindings.

Alisa J. Maas, Henrique Nazaré, Ben Liblit

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Restrictification of function arguments.

Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira

Proceedings of the 25th International Conference on Compiler Construction, 2016

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

Bounds Check Hoisting for AddressSanitizer.

Simon Moll, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues

Proceedings of the Programming Languages - 18th Brazilian Symposium, 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

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

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

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014