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 associate 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: Federal University of Minas Gerais

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

Research interests: Compilers

Contributions

CGO 2021 Author of Memory-Safe Elimination of Side Channels within the Main Conference-track
Committee Member in Program Committee within the Main Conference-track
Author of AnghaBench: a Suite with One Million Compilable C Benchmarks for Code-Size Reduction within the Main Conference-track
CC 2021 Author of Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools within the CC Research Papers-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Research Papers-track
LCTES 2020 pc in Program Committee within the LCTES 2020-track
CC 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Author 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 2019 Author 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 2019 Author of Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems within the Posters-track
SPLASH 2018 Committee Member in External Reviewers within the OOPSLA-track
POPL 2018 Author 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 2017 Author of Static Placement of Computation on Heterogeneous Devices within the OOPSLA-track
Onward! 2016 Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2015 Author of Runtime Pointer Disambiguation within the OOPSLA Artifacts-track
Author of Runtime Pointer Disambiguation within the OOPSLA-track
SPLASH 2014 Author of Validation of Memory Accesses Through Symbolic Analyses within the OOPSLA-track