RT @VladAIonescu: Our very own Leandro T. C. Melo, presenting “Inference of Static Semantics for Incomplete C Programs” at #POPL2018 https:… Jan 11, 2018 Back to all twitts