Academic Research Articles
Type Inference for C: Applications to the Static Analysis of Incomplete Programs
Inference of Static Semantics for Incomplete C Programs
Inferência de Tipos Dependentes em C (Inference of Dependent Types in C)
Compilação Parcial de Programas Escritos em C (Compilation of Partial C Programs)
SMOV: Array Bound-Check and Access in a Single Instruction
Protecting Programs Against Memory Violation In Hardware
NomadiKey: User Authentication for Smart Devices based on Nomadic Keys
Teclanômade: Uma solução de autenticação para usuários de dispositivos inteligentes baseada em Teclados Nômades
Generic Graph Drawing
MELO L. T. C.; RIBEIRO R. G.; GUIMARAES B. C.; PEREIRA F. M. Q.;
Transactions on Programming Languages and Systems (TOPLAS),
Vol. 42, No. 3, 2020 —
article and
supplement.
Inference of Static Semantics for Incomplete C Programs
MELO L. T. C.; RIBEIRO R.; RODRIGUES M.; PEREIRA F. M. Q.;
Principles of Programming Languages (POPL),
Vol. 2, No. 29, 2018 —
article.
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.;
IEEE Integrated Communication, Navigation, and Surveillance Conference (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.
Technical Articles
Static Analysis of (the Invisible) C# Sources
The Basics of a Standard Type Inference Technique
Programming in C with Type Inference / Programando em C com inferência de tipos
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
© Copyright Leandro T. C. Melo