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 2024	Committee Member in Program Committee within the Main Conference-track Program Co-Chair (Second Round) in Program Committee within the Main Conference-track Program Co-Chair (Second Round) in Organizing Committee
PLDI 2023	Diversity and Inclusion Co-Chair in Organizing Committee
CGO 2023	Session Chair of Session 2 -- Tool and Practical Experience I (part of Main Conference) Committee Member in Program Committee within the Main Conference-track Author of A Game-Based Framework to Compare Program Classifiers and Evaders within the Main Conference-track
CC 2023	Session Chair of Code Size & Bugs (part of Research Papers) Author of Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need within the Research Papers-track
CC 2022	Publicity Co-Chair in Organizing Committee Author of A Polynomial Time Exact Solution to the Bit-Aware Register Binding Problem within the CC Research Papers-track PC Member in Program Committee within the CC Research Papers-track
SPLASH 2021	Author of VESPA: Static Profiling for Binary Optimization within the OOPSLA-track
VMIL 2021	Committee Member in Program Committee within the VMIL 2021-track
ECOOP 2021	PC Member in Program Committee within the ECOOP Technical Papers-track
CC 2021	Author of Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools within the CC Research Papers-track
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
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
LCTES 2020	pc in Program Committee within the LCTES 2020-track
CC 2020	Committee Member in Program Committee within the Research Papers-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