Leandro T. C. Melo

According to our database, Leandro T. C. Melo authored at least 4 papers between 2016 and 2020.

Collaborative distances:

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

2020

Type Inference for C: Applications to the Static Analysis of Incomplete Programs.

Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira

ACM Trans. Program. Lang. Syst., 2020

2018

Inference of static semantics for incomplete C programs.

Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2018

2016

NomadiKey: User authentication for smart devices based on nomadic keys.

Leonardo Cotta, Artur Luis Fernandes, Leandro T. C. Melo, Luiz Felipe Z. Saggioro, Frederico Martins, Antonio L. Maia Neto, Antonio A. F. Loureiro, Ítalo S. Cunha, Leonardo B. Oliveira

Proceedings of the 2016 IEEE International Conference on Communications, 2016

SMOV: Array Bound-Check and access in a single instruction.

Antonio Maia, Leandro T. C. Melo, Fernando Magno Quintão Pereira, Omar P. Vilela Neto, Leonardo B. Oliveira

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016