Fernando Magno Quintão Pereira

Universidade Federal de Minas Gerais — Brazil

Computer Science · Physical Sciences

20h-index1.7kcitations165works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Parallel Computing and Optimization Techniques(91), Software Testing and Debugging Techniques(40), Logic, programming, and type systems(30), Security and Verification in Computing(30), Advanced Malware Detection Techniques(26)

Publications165 total

A methodology for empirical complexity analysis based on Newton’s polynomial interpolation
Journal of Computer Languages·2025
Bottom-Up Generation of Verilog Designs for Testing EDA Tools
arXiv (Cornell University)·2025Open Access
<scp>VexIR2Vec</scp> : An Architecture-Neutral Embedding Framework for Binary Similarity
ACM Transactions on Software Engineering and Methodology·2025· 5 citedOpen Access
A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers
2025· 3 citedOpen Access
Fusion of Operators of Computational Graphs via Greedy Clustering: The XNNC Experience
2025· 3 citedOpen Access
Automatic Synthesis of Specialized Hash Functions
2025
Honey Potion: An eBPF Backend for Elixir
2025
Review of: "Finding Missed Code Size Optimizations in Compilers using LLMs"
2025Open Access
Detection and treatment of string events in the limit
Journal of Computer Languages·2024
The Essence of the Flyweight Design Pattern
2024Open Access
Memoization of Mutable Objects
2024Open Access
Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
arXiv (Cornell University)·2024Open Access
ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
arXiv (Cornell University)·2024Open Access
The Droplet Search Algorithm for Kernel Scheduling
ACM Transactions on Architecture and Code Optimization·2024· 5 citedOpen Access
Reducing the Overhead of Exact Profiling by Reusing Affine Variables
2024· 1 citedOpen Access
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos
2023
A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation
2023· 2 cited
Preparing Reproducible Scientific Artifacts using Docker
arXiv (Cornell University)·2023Open Access
Beetle: A Feature-Based Approach to Reduce Staleness in Profile Data
2023Open Access
Memory-Safe Elimination of Side Channels
2023· 2 citedOpen Access
page 1 of 9Next →

Frequent Co-authors

Jens Palsberg(8), Péricles Alves(5), Caroline Collange(4), Diogo Sampaio(4), Henrique Nazaré Santos(4), Breno Campos Ferreira Guimarães(4), Marcos Yukio Siraichi(3), Fernando A. Teixeira(3), José Marcos S. Nogueira(3), Guido Araújo(3), Edson Borin(3), Andrei Rimsa(3), Vinícius F. dos Santos(2), Bruno Coutinho(2), Wagner Meira(2), Leonardo B. Oliveira(2), Gleison Souza Diniz Mendonça(2), Márcio Pereira(2), Henrique Nazaré(2), Izabela Karennina Travizani Maffra(2)