Open-Source     C++ course     Publications       Book Suggestions     Me...                             
Beautiful Hamburg
Conferences
Inference of Static Semantics for Incomplete C Programs
MELO L. T. C.; RIBEIRO R.; RODRIGUES M.; PEREIRA F. M. Q.
To appear in POPL 2018

Inferência de Tipos Dependentes em C (Inference of Dependent Types in C)
RODRIGUES M.; MELO L. T. C.; PEREIRA F. M. Q.
Simpósio Brasileiro de Linguagens de Programação, SBLP 2017.

Compilação Parcial de Programas Escritos em C (Compilation of Partial C Programs)
RIBEIRO R.; MELO L. T. C.; RODRIGUES M.; PEREIRA F. M. Q.
Simpósio Brasileiro de Linguagens de Programação, SBLP 2016.

SMOV: Array Bound-Check and Access in a Single Instruction
MAIA NETO, A. L. ; MELO, L. T. C. ; O. P. VILELA, O. P. ; PEREIRA, F. M. Q. ; OLIVEIRA, L. B.
Integrated Communication, Navigation, and Surveillance Conference, IEEE ICNS 2016.

Protecting Programs Against Memory Violation In Hardware
MAIA NETO, A. L. ; MELO, L. T. C. ; O. P. VILELA, O. P. ; PEREIRA, F. M. Q. ; OLIVEIRA, L. B.
IEEE Latin America Transactions 2015.

NomadiKey: User Authentication for Smart Devices based on Nomadic Keys
COTTA L.; FERNANDES A. L.; MELO L. T. C.; SAGGIORO L. F.; MARTINS F.; MAIA NETO A. L.; LOUREIRO. A. F.; CUNHA I.; OLIVEIRA L.
IEEE International Conference on Communications (ICC) 2016.

Teclanômade: Uma solução de autenticação para usuários de dispositivos inteligentes baseada em Teclados Nômades
MAIA NETO, A. L. ; FERNANDES A. L. ; SAMPAIO, F. ; COTTA L. ; MELO, L. T. C. ; SAGGIORO L. F. ; LOUREIRO, A. A. F. ; OLIVEIRA, L. B.
Simpósio Brasileiro de Segurança de Informação e de Sistemas Computacionais; SBSeg 2015.

Generic Graph Drawing
MELO, L. T. C. ; MESQUITA, R. C.
XX Brazilian Symposium on Computer Graphics and Image Processing, 2007. Workshop of Theses and Dissertations, 2007.


Online Articles
A Generic Open-address Hash Table Implementation with an STL-like Interface

DRUM - A C++ Implementation for the URL-seen Test of a Web Crawler