Registered user since Wed 13 Aug 2014
Fernando got his Ph.D at UCLA in 2008, under the supervision of Jens Palsberg. He is currently an assistant professor at the Universidade Federal de Minas Gerais, Brazil. His main research interest are in code generation, compiler optimizations and static program analyses.
|POPL 2018|| Inference of Static Semantics for Incomplete C Programs|
Inference of Static Semantics for Incomplete C Programs
|Show activities from other conferences|
View general profile