Fernando Magno Quinto Pereira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
16
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CGO | Multidirectional Propagation of Sparsity Information across Tensor Slices. | Kaio Henrique Andrade Ananias, Danila Seliayeu, Jos Nelson Amaral, Fernando Magno Quinto Pereira |
| 2026 | CGO | Binary Diffing via Library Signatures. | Andrei Rimsa, Anderson Faustino da Silva, Camilo Santana, Fernando Magno Quinto Pereira |
| 2026 | CGO | On the Precision of Dynamic Program Fingerprints Based on Performance Counters. | Anderson Faustino Da Silva, Marcelo Borges Nogueira, Srgio Queiroz de Medeiros, Jernimo Castrilln, Fernando Magno Quinto Pereira |
| 2025 | CC | Fusion of Operators of Computational Graphs via Greedy Clustering: The XNNC Experience. | Michael Canesche, Vanderson Martins do Rosario, Edson Borin, Fernando Magno Quinto Pereira |
| 2025 | CC | A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers. | Anderson Faustino da Silva, Jernimo Castrilln, Fernando Magno Quinto Pereira |
| 2025 | CGO | Honey Potion: An eBPF Backend for Elixir. | Kael Soares Augusto, Vincius Pacheco, Marcos A. M. Vieira, Rodrigo Geraldo Ribeiro, Fernando Magno Quinto Pereira |
| 2025 | CGO | Automatic Synthesis of Specialized Hash Functions. | Renato B. Hoffmann, Leonardo G. Fa, Dalvan Griebler, Xinliang David Li, Fernando Magno Quinto Pereira |
| 2024 | CC | Reducing the Overhead of Exact Profiling by Reusing Affine Variables. | Lon Frnot, Fernando Magno Quinto Pereira |
| 2023 | CC | Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need. | Breno Campos Ferreira Guimares, Fernando Magno Quinto Pereira |
| 2023 | CGO | A Game-Based Framework to Compare Program Classifiers and Evaders. | Thas Damsio, Michael Canesche, Vincius Pacheco, Marcus Botacin, Anderson Faustino da Silva, Fernando Magno Quinto Pereira |
| 2022 | CC | A polynomial time exact solution to the bit-aware register binding problem. | Michael Canesche, Ricardo S. Ferreira, Jos Augusto Miranda Nacif, Fernando Magno Quinto Pereira |
| 2021 | CC | Exploring the space of optimization sequences for code-size reduction: insights and tools. | Anderson Faustino da Silva, Bernardo N. B. de Lima, Fernando Magno Quinto Pereira |
| 2021 | CGO | ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. | Anderson Faustino da Silva, Bruno Conde Kind, Jos Wesley de Souza Magalhes, Jernimo Nunes Rocha, Breno Campos Ferreira Guimares, Fernando Magno Quinto Pereira |
| 2021 | CGO | Memory-Safe Elimination of Side Channels. | Luigi D. C. Soares, Fernando Magno Quinto Pereira |
| 2020 | ICS | AutoParBench: a unified test framework for OpenMP-based parallelizers. | Gleison Souza Diniz Mendonca, Chunhua Liao, Fernando Magno Quinto Pereira |
| 2019 | CGO | Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages. | Marcus Rodrigues, Breno Guimares, Fernando Magno Quinto Pereira |
| 2019 | DSN | Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware. | Mateus Tymburib, Hugo Sousa, Fernando Magno Quinto Pereira |
| 2019 | PPoPP | Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster. | Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamati, Fernando Magno Quinto Pereira |
| 2018 | CGO | Qubit allocation. | Marcos Yukio Siraichi, Vincius Fernandes dos Santos, Caroline Collange, Fernando Magno Quinto Pereira |
| 2018 | SBAC-PAD | From Java to FPGA: An Experience with the Intel HARP System. | Pedro Caldeira, Jeronimo Costa Penha, Lucas Bragana, Ricardo Ferreira, Jos Augusto Miranda Nacif, Renato Ferreira, Fernando Magno Quinto Pereira |
| 2017 | CGO | Pointer disambiguation via strict inequalities. | Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2017 | ICCCN | The Computer for the 21st Century: Security & Privacy Challenges after 25 Years. | Leonardo B. Oliveira, Fernando Magno Quinto Pereira, Rafael Misoczki, Diego F. Aranha, Fbio Borges, Jie Liu |
| 2017 | PPoPP | Function Call Re-Vectorization. | Rubens E. A. Moreira, Caroline Collange, Fernando Magno Quinto Pereira |
| 2017 | SENSYS | Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems. | Min Wu, Fernando Magno Quinto Pereira, Jie Liu, Heitor S. Ramos, Mrio S. Alvim, Leonardo B. Oliveira |
| 2017 | SBAC-PAD | Data Coherence Analysis and Optimization for Heterogeneous Computing. | Rafael Cardoso Fernandes Sousa, Mrcio Machado Pereira, Fernando Magno Quinto Pereira, Guido Araujo |
| 2016 | CC | Restrictification of function arguments. | Victor Hugo Sperle Campos, Pricles Rafael Oliveira Alves, Henrique Nazar Santos, Fernando Magno Quinto Pereira |
| 2016 | CC | Sparse representation of implicit flows with applications to side-channel detection. | Bruno Rodrigues, Fernando Magno Quinto Pereira, Diego F. Aranha |
| 2016 | CGO | Symbolic range analysis of pointers. | Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2016 | CGO | Inference of peak density of indirect branches to detect ROP attacks. | Mateus Tymburib, Rubens E. A. Moreira, Fernando Magno Quinto Pereira |
| 2016 | SBAC-PAD | Automatic Insertion of Copy Annotation in Data-Parallel Programs. | Gleison Souza Diniz Mendonca, Breno Campos Ferreira Guimares, Pricles Rafael Oliveira Alves, Fernando Magno Quinto Pereira, Mrcio Machado Pereira, Guido Araujo |
| 2015 | OOPSLA | Runtime pointer disambiguation. | Pricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quinto Pereira |
| 2015 | SBAC-PAD | Fusion of Calling Sites. | Douglas do Couto Teixeira, Caroline Collange, Fernando Magno Quinto Pereira |
| 2014 | CC | Parameterized Construction of Program Representations for Sparse Dataflow Analyses. | Andr Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quinto Pereira, Fabrice Rastello |
| 2014 | OOPSLA | Validation of memory accesses through symbolic analyses. | Henrique Nazar, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2013 | CGO | Just-in-time value specialization. | Igor Rafael de Assis Costa, Pricles Rafael Oliveira Alves, Henrique Nazar Santos, Fernando Magno Quinto Pereira |
| 2013 | CGO | A fast and low-overhead technique to secure programs against integer overflows. | Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quinto Pereira |
| 2012 | SBAC-PAD | Data and Instruction Uniformity in Minimal Multi-threading. | Teo Milanez, Caroline Collange, Fernando Magno Quinto Pereira, Wagner Meira Jr., Renato Ferreira |
| 2012 | SBAC-PAD | Divergence Analysis with Affine Constraints. | Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quinto Pereira |
| 2011 | CC | Tainted Flow Analysis on e-SSA-Form Programs. | Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quinto Pereira |
| 2011 | CC | Dynamic Elimination of Overflow Tests in a Trace Compiler. | Rodrigo Sol, Christophe Guillon, Fernando Magno Quinto Pereira, Mariza Andrade da Silva Bigonha |
| 2011 | SCOPES | Decoupled graph-coloring register allocation with hierarchical aliasing. | Andr Luiz Camargos Tavares, Quentin Colombet, Mariza Andrade da Silva Bigonha, Christophe Guillon, Fernando Magno Quinto Pereira, Fabrice Rastello |
| 2010 | CC | Punctual Coalescing. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2010 | SBAC-PAD | Performance Debugging of GPGPU Applications with the Divergence Map. | Bruno Coutinho, Diogo Sampaio, Fernando Magno Quinto Pereira, Wagner Meira Jr. |
| 2009 | CC | SSA Elimination after Register Allocation. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2009 | CGO | Wave Propagation and Deep Propagation for Pointer Analysis. | Fernando Magno Quinto Pereira, Daniel Berlin |
| 2008 | PLDI | Register allocation by puzzle solving. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2007 | ICALP | Aliased Register Allocation for Straight-Line Programs Is NP-Complete. | Jonathan K. Lee, Jens Palsberg, Fernando Magno Quinto Pereira |
| 2007 | SAS | A Framework for End-to-End Verification and Evaluation of Register Allocators. | V. Krishna Nandivada, Fernando Magno Quinto Pereira, Jens Palsberg |
| 2006 | FOSSACS | Register Allocation After Classical SSA Elimination is NP-Complete. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2005 | APLAS | Register Allocation Via Coloring of Chordal Graphs. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2003 | EuroPar | A Coordination Model for ad hoc Mobile Systems. | Marco Tlio de Oliveira Valente, Fernando Magno Quinto Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha |