Følg
Fernando Magno Quintão Pereira
Fernando Magno Quintão Pereira
Professor of Computer Science, Universidade Federal de Minas Gerais
Bekræftet mail på dcc.ufmg.br - Startside
Titel
Citeret af
Citeret af
År
Qubit allocation
MY Siraichi, VF Santos, C Collange, FMQ Pereira
Proceedings of the 2018 International Symposium on Code Generation and …, 2018
1712018
Divergence analysis and optimizations
B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr
2011 International Conference on Parallel Architectures and Compilation …, 2011
1142011
Register allocation via coloring of chordal graphs
FMQ Pereira, J Palsberg
Asian Symposium on Programming Languages and Systems, 315-329, 2005
1112005
Register allocation by puzzle solving
FM Quintão Pereira, J Palsberg
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1062008
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
932016
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
782013
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
742019
Wave propagation and deep propagation for pointer analysis
FMQ Pereira, D Berlin
2009 International Symposium on Code Generation and Optimization, 126-135, 2009
682009
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
56*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
492014
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
452014
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
422017
Register allocation after classical SSA elimination is NP-complete
FMQ Pereira, J Palsberg
International Conference on Foundations of Software Science and Computation …, 2006
362006
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
342015
Divergence analysis
D Sampaio, RM Souza, C Collange, FMQ Pereira
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-36, 2014
312014
Tainted flow analysis on e-SSA-form programs
A Rimsa, M d’Amorim, FM Quintão Pereira
International Conference on Compiler Construction, 124-143, 2011
312011
Dynamic elimination of overflow tests in a trace compiler
R Sol, C Guillon, FM Quintão Pereira, MAS Bigonha
International Conference on Compiler Construction, 2-21, 2011
312011
Qubit allocation as a combination of subgraph isomorphism and token swapping
MY Siraichi, VF Santos, C Collange, FMQ Pereira
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
262019
SSA elimination after register allocation
FMQ Pereira, J Palsberg
International Conference on Compiler Construction, 158-173, 2009
262009
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
242006
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20