Leandro T. C. Melo

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 4

Top Topics

Fixpoint Semantics

User Authentication

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira
Type Inference for C: Applications to the Static Analysis of Incomplete Programs. ACM Trans. Program. Lang. Syst. 42 (3) (2020)
Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira
Inference of static semantics for incomplete C programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
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
NomadiKey: User authentication for smart devices based on nomadic keys. ICC (2016)
Antonio Maia, Leandro T. C. Melo, Fernando Magno Quintão Pereira, Omar P. Vilela Neto, Leonardo B. Oliveira
SMOV: Array Bound-Check and access in a single instruction. CCNC (2016)