Fernando Magno Quintão Pereira
Fernando Magno Quintão Pereira
Professor of Computer Science, Universidade Federal de Minas Gerais
Verified email at dcc.ufmg.br - Homepage
Cited by
Cited by
Qubit allocation
MY Siraichi, VF Santos, S Collange, FMQ Pereira
Proceedings of the 2018 International Symposium on Code Generation and …, 2018
Register allocation via coloring of chordal graphs
FMQ Pereira, J Palsberg
Asian Symposium on Programming Languages and Systems, 315-329, 2005
Divergence analysis and optimizations
B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr
2011 International Conference on Parallel Architectures and Compilation …, 2011
Register allocation by puzzle solving
FM Quintão Pereira, J Palsberg
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
Sparse representation of implicit flows with applications to side-channel detection
B Rodrigues, FM Quintão Pereira, DF Aranha
Proceedings of the 25th International Conference on Compiler Construction …, 2016
A fast and low-overhead technique to secure programs against integer overflows
RE Rodrigues, VHS Campos, FMQ Pereira
Proceedings of the 2013 IEEE/ACM international symposium on code generation …, 2013
Wave propagation and deep propagation for pointer analysis
FMQ Pereira, D Berlin
2009 International Symposium on Code Generation and Optimization, 126-135, 2009
SIoT: Securing Internet of Things through distributed systems analysis
FA Teixeira, FMQ Pereira, HC Wong, JMS Nogueira, LB Oliveira
Future Generation Computer Systems 92, 1172-1186, 2019
Just-in-time value specialization
I Costa, P Alves, HN Santos, FMQ Pereira
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013
Validation of memory accesses through symbolic analyses
H Nazaré, I Maffra, W Santos, L Barbosa, L Gonnord, FM Quintão Pereira
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
Compiler support for selective page migration in NUMA architectures
G Piccoli, HN Santos, RE Rodrigues, C Pousa, E Borin, ...
Proceedings of the 23rd international conference on Parallel architectures …, 2014
DawnCC: automatic annotation for data parallelism and offloading
G Mendonça, B Guimarães, P Alves, M Pereira, G Araújo, FMQ Pereira
ACM Transactions on Architecture and Code Optimization (TACO) 14 (2), 1-25, 2017
Register allocation after classical SSA elimination is NP-complete
FMQ Pereira, J Palsberg
International Conference on Foundations of Software Science and Computation …, 2006
Runtime pointer disambiguation
P Alves, F Gruber, J Doerfert, A Lamprineas, T Grosser, F Rastello, ...
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
Divergence analysis
D Sampaio, RM Souza, S Collange, FMQ Pereira
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-36, 2014
Tainted flow analysis on e-SSA-form programs
A Rimsa, M d’Amorim, FMQ Pereira
International Conference on Compiler Construction, 124-143, 2011
Dynamic elimination of overflow tests in a trace compiler
R Sol, C Guillon, FMQ Pereira, MAS Bigonha
International Conference on Compiler Construction, 2-21, 2011
SSA elimination after register allocation
FMQ Pereira, J Palsberg
International Conference on Compiler Construction, 158-173, 2009
A framework for end-to-end verification and evaluation of register allocators
VK Nandivada, FMQ Pereira, J Palsberg
International Static Analysis Symposium, 153-169, 2007
Arcademis: a framework for object‐oriented communication middleware development
FMQ Pereira, MTO Valente, RS Bigonha, MAS Bigonha
Software: Practice and Experience 36 (5), 495-512, 2006
The system can't perform the operation now. Try again later.
Articles 1–20