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
TitleCited byYear
Register allocation via coloring of chordal graphs
FMQ Pereira, J Palsberg
Asian Symposium on Programming Languages and Systems, 315-329, 2005
982005
Register allocation by puzzle solving
FM Quintão Pereira, J Palsberg
ACM SIGPLAN Notices 43 (6), 216-226, 2008
892008
Divergence analysis and optimizations
B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr
2011 International Conference on Parallel Architectures and Compilation …, 2011
832011
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
572013
Wave propagation and deep propagation for pointer analysis
FMQ Pereira, D Berlin
2009 International Symposium on Code Generation and Optimization, 126-135, 2009
542009
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
462016
Just-in-time value specialization
HN Santos, P Alves, I Costa, FM Quintao Pereira
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013
43*2013
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
402019
Validation of memory accesses through symbolic analyses
H Nazaré, I Maffra, W Santos, L Barbosa, L Gonnord, FM Quintão Pereira
ACM SIGPLAN Notices 49 (10), 791-809, 2014
352014
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
352014
Qubit allocation
MY Siraichi, VF Santos, S Collange, FMQ Pereira
Proceedings of the 2018 International Symposium on Code Generation and …, 2018
302018
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
292011
Register allocation after classical SSA elimination is NP-complete
FMQ Pereira, J Palsberg
International Conference on Foundations of Software Science and Computation …, 2006
272006
Tainted flow analysis on e-SSA-form programs
A Rimsa, M d’Amorim, FMQ Pereira
International Conference on Compiler Construction, 124-143, 2011
252011
Runtime pointer disambiguation
P Alves, F Gruber, J Doerfert, A Lamprineas, T Grosser, F Rastello, ...
ACM SIGPLAN Notices 50 (10), 589-606, 2015
232015
Divergence analysis
D Sampaio, RM Souza, S Collange, FMQ Pereira
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 13, 2013
22*2013
SSA elimination after register allocation
FMQ Pereira, J Palsberg
International Conference on Compiler Construction, 158-173, 2009
222009
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
222007
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
212006
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), 13, 2017
192017
The system can't perform the operation now. Try again later.
Articles 1–20