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 (CCNC, 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 (ICC, 2016)

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)

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)