Fernando Magno Quintão Pereira

Registered user since Wed 13 Aug 2014

Name: Fernando Magno Quintão Pereira

Bio: 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.

Country: Brazil

Affiliation: UFMG

Personal website: http://homepages.dcc.ufmg.br/~fernando/

Research interests: Compilers

Contributions

CGO 2021Committee Member in Program Committee within the Main Conference-track
ECOOP 2021PC Member in Program Committee within the ECOOP Research Papers-track
LCTES 2020pc in Program Committee within the LCTES 2020-track
CC 2020Committee Member in Program Committee within the Research Papers-track
SPLASH 2020Author of Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements within the OOPSLA-track
Author of Dynamic Dispatch of Context-Sensitive Optimizations within the OOPSLA-track
SPLASH 2019Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA Artifacts-track
Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track
PPoPP 2019Author of Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems within the Posters-track
SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
POPL 2018Author of Inference of Static Semantics for Incomplete C Programs within the Artifact Evaluation-track
Author of Inference of Static Semantics for Incomplete C Programs within the Research Papers-track
SPLASH 2017Author of Static Placement of Computation on Heterogeneous Devices within the OOPSLA-track
Onward! 2016Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2015Author of Runtime Pointer Disambiguation within the OOPSLA Artifacts-track
Author of Runtime Pointer Disambiguation within the OOPSLA-track
SPLASH 2014Author of Validation of Memory Accesses Through Symbolic Analyses within the OOPSLA-track