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
892005
Register allocation by puzzle solving
FM Quintão Pereira, J Palsberg
ACM SIGPLAN Notices 43 (6), 216-226, 2008
802008
Divergence analysis and optimizations
B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr
2011 International Conference on Parallel Architectures and Compilation …, 2011
712011
Wave propagation and deep propagation for pointer analysis
FMQ Pereira, D Berlin
Code Generation and Optimization, 2009. CGO 2009. International Symposium on …, 2009
472009
A fast and low-overhead technique to secure programs against integer overflows
RE Rodrigues, VHS Campos, FMQ Pereira
Code Generation and Optimization (CGO), 2013 IEEE/ACM International …, 2013
462013
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
36*2013
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
322016
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
312014
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
272014
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
252011
Register allocation after classical SSA elimination is NP-complete
FMQ Pereira, J Palsberg
International Conference on Foundations of Software Science and Computation …, 2006
242006
Tainted flow analysis on e-SSA-form programs
A Rimsa, M d’Amorim, FMQ Pereira
International Conference on Compiler Construction, 124-143, 2011
212011
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
SSA elimination after register allocation
FMQ Pereira, J Palsberg
International Conference on Compiler Construction, 158-173, 2009
202009
Runtime pointer disambiguation
P Alves, F Gruber, J Doerfert, A Lamprineas, T Grosser, F Rastello, ...
ACM SIGPLAN Notices 50 (10), 589-606, 2015
192015
SIoT: Securing Internet of Things through distributed systems analysis
FA Teixeira, FMQ Pereira, HC Wong, JMS Nogueira, LB Oliveira
Future Generation Computer Systems, 2017
182017
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
182007
Tactics for Remote Method Invocation.
FMQ Pereira, MT de Oliveira Valente, WS Pires, R da Silva Bigonha, ...
J. UCS 10 (7), 824-842, 2004
142004
Parameterized construction of program representations for sparse dataflow analyses
A Tavares, B Boissinot, F Pereira, F Rastello
International Conference on Compiler Construction, 18-39, 2014
132014
Visual interactive subgroup discovery with numerical properties of interest
AM Jorge, F Pereira, PJ Azevedo
International Conference on Discovery Science, 301-305, 2006
132006
The system can't perform the operation now. Try again later.
Articles 1–20