Παρακολούθηση
Fernando Magno Quintão Pereira
Fernando Magno Quintão Pereira
Professor of Computer Science, Universidade Federal de Minas Gerais
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα dcc.ufmg.br - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Qubit allocation
MY Siraichi, VF Santos, C Collange, FMQ Pereira
Proceedings of the 2018 international symposium on code generation and …, 2018
3392018
Divergence analysis and optimizations
B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr
2011 International Conference on Parallel Architectures and Compilation …, 2011
1332011
Register allocation via coloring of chordal graphs
FMQ Pereira, J Palsberg
Asian Symposium on Programming Languages and Systems, 315-329, 2005
1322005
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
1252016
Register allocation by puzzle solving
FM Quintão Pereira, J Palsberg
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1182008
Wave propagation and deep propagation for pointer analysis
FMQ Pereira, D Berlin
2009 International Symposium on Code Generation and Optimization, 126-135, 2009
922009
Siot: Securing the internet of things through distributed system analysis
FA Teixeira, GV Machado, FMQ Pereira, HC Wong, JMS Nogueira, ...
Proceedings of the 14th International Conference on Information Processing …, 2015
852015
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
842013
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
752019
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
632017
Just-in-time value specialization
IR de Assis Costa, HN Santos, PR Alves, FMQ Pereira
Computer Languages, Systems & Structures 40 (2), 37-52, 2014
612014
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
522014
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
512014
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
432015
Register allocation after classical SSA elimination is NP-complete
FMQ Pereira, J Palsberg
International Conference on Foundations of Software Science and Computation …, 2006
402006
Anghabench: A suite with one million compilable c benchmarks for code-size reduction
AF Da Silva, BC Kind, JW de Souza Magalhães, JN Rocha, ...
2021 IEEE/ACM International Symposium on Code Generation and Optimization …, 2021
342021
Dynamic elimination of overflow tests in a trace compiler
R Sol, C Guillon, FM Quintão Pereira, MAS Bigonha
Compiler Construction: 20th International Conference, CC 2011, Held as Part …, 2011
332011
Tainted flow analysis on e-SSA-form programs
A Rimsa, M d’Amorim, FM Quintão Pereira
Compiler Construction: 20th International Conference, CC 2011, Held as Part …, 2011
322011
Divergence analysis
D Sampaio, RM Souza, C Collange, FMQ Pereira
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-36, 2014
312014
Inference of static semantics for incomplete C programs
LTC Melo, RG Ribeiro, MR de Araújo, FMQ Pereira
Proceedings of the ACM on Programming Languages 2 (POPL), 29, 2017
272017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20