Leandro T. C. Melo -

Registered user since Wed 1 Nov 2017

Name:Leandro T. C. Melo

Affiliation:UFMG

Personal website: http://ltcmelo.com/

Research interests:Programming Languages, Compiler Construction

Contributions

2018

POPL

Author of Inference of Static Semantics for Incomplete C Programs within the Research Papers-track
Author of Inference of Static Semantics for Incomplete C Programs within the Artifact Evaluation-track