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

POPL 2018 Activities

• Author of Inference of Static Semantics for Incomplete C Programs within the Research Papers-track in POPL 2018
• Author of Inference of Static Semantics for Incomplete C Programs within the Artifact Evaluation-track in POPL 2018
• Show activities from other conferences