A Coordination Model for ad hoc Mobile Systems. - Marco Túlio de Oliveira Valente; Fernando Magno Quintão Pereira; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha (Euro-Par, 2003)

The Language LinF for Fractal Specification. - Fernando Magno Quintão Pereira; Leonardo T. Rolla; Cristiano G. Rezende; Rodrigo L. Carceroni (SIBGRAPI, 2003)

Tactics for Remote Method Invocation. - Fernando Magno Quintão Pereira; Marco Túlio de Oliveira Valente; Wagner Salazar Pires; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha (J. Univers. Comput. Sci., 2004)

Register Allocation Via Coloring of Chordal Graphs. - Fernando Magno Quintão Pereira; Jens Palsberg (APLAS, 2005)

Register Allocation After Classical SSA Elimination is NP-Complete. - Fernando Magno Quintão Pereira; Jens Palsberg (FoSSaCS, 2006)

Arcademis: a framework for object-oriented communication middleware development. - Fernando Magno Quintão Pereira; Marco Túlio de Oliveira Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha (Softw. Pract. Exp., 2006)

A Framework for End-to-End Verification and Evaluation of Register Allocators. - V. Krishna Nandivada; Fernando Magno Quintão Pereira; Jens Palsberg (SAS, 2007)

Register allocation by puzzle solving. - Fernando Magno Quintão Pereira; Jens Palsberg (PLDI, 2008)

Aliased register allocation for straight-line programs is NP-complete. - Jonathan K. Lee; Jens Palsberg; Fernando Magno Quintão Pereira (Theor. Comput. Sci., 2008)

SSA Elimination after Register Allocation. - Fernando Magno Quintão Pereira; Jens Palsberg (CC, 2009)

Wave Propagation and Deep Propagation for Pointer Analysis. - Fernando Magno Quintão Pereira; Daniel Berlin (CGO, 2009)

Punctual Coalescing. - Fernando Magno Quintão Pereira; Jens Palsberg (CC, 2010)

Performance Debugging of GPGPU Applications with the Divergence Map. - Bruno Coutinho; Diogo Sampaio; Fernando Magno Quintão Pereira; Wagner Meira Jr. (SBAC-PAD, 2010)

Divergence Analysis and Optimizations. - Bruno Coutinho; Diogo Sampaio; Fernando Magno Quintão Pereira; Wagner Meira Jr. (PACT, 2011)

Tainted Flow Analysis on e-SSA-Form Programs. - Andrei Rimsa; Marcelo d'Amorim; Fernando Magno Quintão Pereira (CC, 2011)

Dynamic Elimination of Overflow Tests in a Trace Compiler. - Rodrigo Sol; Christophe Guillon; Fernando Magno Quintão Pereira; Mariza Andrade da Silva Bigonha (CC, 2011)

Decoupled graph-coloring register allocation with hierarchical aliasing. - André Luiz Camargos Tavares; Quentin Colombet; Mariza Andrade da Silva Bigonha; Christophe Guillon; Fernando Magno Quintão Pereira; Fabrice Rastello (SCOPES, 2011)

Data and Instruction Uniformity in Minimal Multi-threading. - Teo Milanez; Caroline Collange; Fernando Magno Quintão Pereira; Wagner Meira Jr.; Renato Ferreira 001 (SBAC-PAD, 2012)

Divergence Analysis with Affine Constraints. - Diogo Sampaio; Rafael Martins de Souza; Caroline Collange; Fernando Magno Quintão Pereira (SBAC-PAD, 2012)

Parameter Based Constant Propagation. - Péricles Rafael Oliveira Alves; Igor Rafael de Assis Costa; Fernando Magno Quintão Pereira; Eduardo Magno Lages Figueiredo (SBLP, 2012)

Speed and Precision in Range Analysis. - Victor Hugo Sperle Campos; Raphael Ernani Rodrigues; Igor Rafael de Assis Costa; Fernando Magno Quintão Pereira (SBLP, 2012)

Optimizing a Geomodeling Domain Specific Language. - Bruno Morais Ferreira; Fernando Magno Quintão Pereira; Hermann Rodrigues; Britaldo Silveira Soares-Filho (SBLP, 2012)

Spill Code Placement for SIMD Machines. - Diogo Nunes Sampaio; Elie Gedeon; Fernando Magno Quintão Pereira; Caroline Collange (SBLP, 2012)

A fast and low-overhead technique to secure programs against integer overflows. - Raphael Ernani Rodrigues; Victor Hugo Sperle Campos; Fernando Magno Quintão Pereira (CGO, 2013)

Profiling divergences in GPU applications. - Bruno Coutinho; Diogo Sampaio; Fernando Magno Quintão Pereira; Wagner Meira Jr. (Concurr. Comput. Pract. Exp., 2013)

Automatic parallelization of canonical loops. - Leonardo Luiz Padovani da Mata; Fernando Magno Quintão Pereira; Renato Ferreira 001 (Sci. Comput. Program., 2013)

Divergence analysis. - Diogo Sampaio; Rafael Martins de Souza; Caroline Collange; Fernando Magno Quintão Pereira (ACM Trans. Program. Lang. Syst., 2013)

Compiler support for selective page migration in NUMA architectures. - Guilherme Piccoli; Henrique Nazaré Santos; Raphael Ernani Rodrigues; Christiane Pousa; Edson Borin; Fernando Magno Quintão Pereira (PACT, 2014)

Parameterized Construction of Program Representations for Sparse Dataflow Analyses. - André Luiz Camargos Tavares; Benoit Boissinot; Fernando Magno Quintão Pereira; Fabrice Rastello (CC, 2014)

Validation of memory accesses through symbolic analyses. - Henrique Nazaré; Izabela Maffra; Willer Santos; Leonardo Barbosa e Oliveira; Laure Gonnord; Fernando Magno Quintão Pereira (OOPSLA, 2014)

Defending Code from the Internet of Things against Buffer Overflow. - Fernando Augusto Teixeira; Gustavo Vieira Machado; Pablo M. Fonseca; Fernando Magno Quintão Pereira; Hao Chi Wong; José Marcos S. Nogueira; Leonardo B. Oliveira (SBRC, 2014)

Just-in-time value specialization. - Igor Rafael de Assis Costa; Henrique Nazaré Santos; Péricles Rafael Oliveira Alves; Fernando Magno Quintão Pereira (Comput. Lang. Syst. Struct., 2014)

Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads. - Teo Milanez; Caroline Collange; Fernando Magno Quintão Pereira; Wagner Meira Jr.; Renato Ferreira 001 (Parallel Comput., 2014)

Efficient static checker for tainted variable attacks. - Andrei Rimsa; Marcelo d'Amorim; Fernando Magno Quintão Pereira; Roberto da Silva Bigonha (Sci. Comput. Program., 2014)

SIoT: securing the internet of things through distributed system analysis. - Fernando Augusto Teixeira; Gustavo Vieira Machado; Fernando Magno Quintão Pereira; Hao Chi Wong; José Marcos S. Nogueira; Leonardo B. Oliveira (IPSN, 2015)

Runtime pointer disambiguation. - Péricles Alves; Fabian Gruber; Johannes Doerfert; Alexandros Lamprineas; Tobias Grosser; Fabrice Rastello; Fernando Magno Quintão Pereira (OOPSLA, 2015)

Fusion of Calling Sites. - Douglas do Couto Teixeira; Caroline Collange; Fernando Magno Quintão Pereira (SBAC-PAD, 2015)

Automatic Inference of Loop Complexity Through Polynomial Interpolation. - Francisco Demontiê; Junio Cezar R. da Silva; Mariza Andrade da Silva Bigonha; Frederico F. Campos; Fernando Magno Quintão Pereira (SBLP, 2015)

The Dinamica Virtual Machine for Geosciences. - Bruno Morais Ferreira; Britaldo Silveira Soares-Filho; Fernando Magno Quintão Pereira (SBLP, 2015)

A case for a fast trip count predictor. - Péricles Rafael Oliveira Alves; Raphael Ernani Rodrigues; Rafael Martins de Souza; Fernando Magno Quintão Pereira (Inf. Process. Lett., 2015)

Restrictification of function arguments. - Victor Hugo Sperle Campos; Péricles Rafael Oliveira Alves; Henrique Nazaré Santos; Fernando Magno Quintão Pereira (CC, 2016)

Sparse representation of implicit flows with applications to side-channel detection. - Bruno Rodrigues; Fernando Magno Quintão Pereira; Diego F. Aranha (CC, 2016)

SMOV: Array Bound-Check and access in a single instruction. - Antonio Maia; Leandro T. C. Melo; Fernando Magno Quintão Pereira; Omar P. Vilela Neto; Leonardo B. Oliveira (CCNC, 2016)

Symbolic range analysis of pointers. - Vitor Paisante; Maroua Maalej; Leonardo Barbosa e Oliveira; Laure Gonnord; Fernando Magno Quintão Pereira (CGO, 2016)

Inference of peak density of indirect branches to detect ROP attacks. - Mateus Tymburibá; Rubens E. A. Moreira; Fernando Magno Quintão Pereira (CGO, 2016)

Automatic Insertion of Copy Annotation in Data-Parallel Programs. - Gleison Souza Diniz Mendonca; Breno Campos Ferreira Guimarães; Péricles Rafael Oliveira Alves; Fernando Magno Quintão Pereira; Márcio Machado Pereira; Guido Araujo (SBAC-PAD, 2016)

JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems. - Tarsila Bessa; Pedro Quintão; Michael Frank 008; Fernando Magno Quintão Pereira (SBLP, 2016)

An Algebraic Framework for Parallelizing Recurrence in Functional Programming. - Rodrigo C. O. Rocha; Luís F. W. Góes; Fernando Magno Quintão Pereira (SBLP, 2016)

Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14). - Fernando Magno Quintão Pereira (Sci. Comput. Program., 2016)

Pointer disambiguation via strict inequalities. - Maroua Maalej; Vitor Paisante; Pedro Ramos; Laure Gonnord; Fernando Magno Quintão Pereira (CGO, 2017)

The Computer for the 21st Century: Security & Privacy Challenges after 25 Years. - Leonardo B. Oliveira; Fernando Magno Quintão Pereira; Rafael Misoczki; Diego F. Aranha; Fábio Borges; Jie Liu 001 (ICCCN, 2017)

Function Call Re-Vectorization. - Rubens E. A. Moreira; Caroline Collange; Fernando Magno Quintão Pereira (PPoPP, 2017)

Data Coherence Analysis and Optimization for Heterogeneous Computing. - Rafael Cardoso Fernandes Sousa; Márcio Machado Pereira; Fernando Magno Quintão Pereira; Guido Araujo (SBAC-PAD, 2017)

Demand-driven less-than analysis. - Junio Cezar R. da Silva; Fernando Magno Quintão Pereira (SBLP, 2017)

Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems. - Min Wu 001; Fernando Magno Quintão Pereira; Jie Liu 001; Heitor S. Ramos; Mário S. Alvim; Leonardo B. Oliveira (SenSys, 2017)

Static placement of computation on heterogeneous devices. - Gabriel Poesia; Breno Campos Ferreira Guimarães; Fabricio Ferracioli; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2017)

DawnCC: Automatic Annotation for Data Parallelism and Offloading. - Gleison Souza Diniz Mendonca; Breno Campos Ferreira Guimarães; Péricles Alves; Márcio Machado Pereira; Guido Araujo; Fernando Magno Quintão Pereira (ACM Trans. Archit. Code Optim., 2017)

Automatic annotation of tasks in structured code. - Pedro Ramos; Gleison Souza Diniz Mendonca; Divino Soares; Guido Araújo; Fernando Magno Quintão Pereira (PACT, 2018)

Qubit allocation. - Marcos Yukio Siraichi; Vinícius Fernandes dos Santos; Caroline Collange; Fernando Magno Quintão Pereira (CGO, 2018)

A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems. - Junio Cezar Ribeiro da Silva; Fernando Magno Quintão Pereira; Michael Frank 008; Abdoulaye Gamatié (ReCoSoC, 2018)

From Java to FPGA: An Experience with the Intel HARP System. - Pedro Caldeira; Jeronimo Costa Penha; Lucas Bragança; Ricardo Ferreira 001; José Augusto Miranda Nacif; Renato Ferreira 001; Fernando Magno Quintão Pereira (SBAC-PAD, 2018)

More than meets the eye: invisible instructions. - Guilherme V. Leobas; Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (SBLP, 2018)

Taskminer: automatic identification of tasks. - Pedro Ramos; Gleison Souza Diniz Mendonca; Guilherme V. Leobas; Fernando Magno Quintão Pereira (SBLP, 2018)

The computer for the 21st century: present security & privacy challenges. - Leonardo B. Oliveira; Fernando Magno Quintão Pereira; Rafael Misoczki; Diego F. Aranha; Fábio Borges; Michele Nogueira; Michelle S. Wangham; Min Wu 001; Jie Liu 001 (J. Internet Serv. Appl., 2018)

Inference of static semantics for incomplete C programs. - Leandro T. C. Melo; Rodrigo Geraldo Ribeiro; Marcus R. de Araújo; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2018)

Combining range and inequality information for pointer disambiguation. - Maroua Maalej; Vitor Paisante; Fernando Magno Quintão Pereira; Laure Gonnord (Sci. Comput. Program., 2018)

Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages. - Marcus Rodrigues; Breno Guimarães; Fernando Magno Quintão Pereira (CGO, 2019)

Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware. - Mateus Tymburibá; Hugo Sousa; Fernando Magno Quintão Pereira (DSN, 2019)

Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster. - Marcelo Novaes; Vinicius Petrucci; Abdoulaye Gamatié; Fernando Magno Quintão Pereira (PPoPP, 2019)

Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories. - Breno Campos Ferreira Guimarães; José Wesley de S. Magalhães; Anderson Faustino da Silva; Fernando M. Q. Pereira (SBLP, 2019)

Efficient and Precise Dynamic Construction of Control Flow Graphs. - Andrei Rimsa; José Nelson Amaral; Fernando Magno Quintão Pereira (SBLP, 2019)

Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems. - Marcelo Novaes; Vinicius Petrucci; Abdoulaye Gamatié; Fernando Magno Quintão Pereira (CoRR, 2019)

SIoT: Securing Internet of Things through distributed systems analysis. - Fernando Augusto Teixeira; Fernando Magno Quintão Pereira; Hao Chi Wong; José Marcos S. Nogueira; Leonardo B. Oliveira (Future Gener. Comput. Syst., 2019)

Data-flow analysis and optimization for data coherence in heterogeneous architectures. - Rafael C. F. Sousa; Márcio Machado Pereira; Fernando Magno Quintão Pereira; Guido Araujo (J. Parallel Distributed Comput., 2019)

Qubit allocation as a combination of subgraph isomorphism and token swapping. - Marcos Yukio Siraichi; Vinícius Fernandes dos Santos; Caroline Collange; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2019)

JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. - Tarsila Bessa; Christopher J. Gull; Pedro Quintão; Michael Frank 008; José Augusto Miranda Nacif; Fernando Magno Quintão Pereira (Sci. Comput. Program., 2019)

The Dinamica EGO virtual machine. - Bruno Morais Ferreira; Britaldo Silveira Soares-Filho; Fernando Magno Quintão Pereira (Sci. Comput. Program., 2019)

Automatic parallelization of recursive functions with rewriting rules. - Rodrigo C. O. Rocha; Luís F. W. Góes; Fernando Magno Quintão Pereira (Sci. Comput. Program., 2019)

Static Prediction of Silent Stores. - Fernando Magno Quintão Pereira; Guilherme V. Leobas; Abdoulaye Gamatié (ACM Trans. Archit. Code Optim., 2019)

AutoParBench: a unified test framework for OpenMP-based parallelizers. - Gleison Souza Diniz Mendonca; Chunhua Liao; Fernando Magno Quintão Pereira (ICS, 2020)

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs. - Junio Cezar R. da Silva; Lorena Leão; Vinicius Petrucci; Abdoulaye Gamatié; Fernando M. Q. Pereira (SBESC, 2020)

YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences. - André Felipe Zanella; Anderson Faustino da Silva; Fernando Magno Quintão Pereira (SBLP, 2020)

Semiring optimizations: dynamic elision of expressions with identity and absorbing elements. - Guilherme V. Leobas; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2020)

Dynamic dispatch of context-sensitive optimizations. - Gabriel Poesia; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2020)

Guided just-in-time specialization. - Caio Lima; Junio Cezar R. da Silva; Guilherme V. Leobas; Erven Rohou; Fernando Magno Quintão Pereira (Sci. Comput. Program., 2020)

Type Inference for C: Applications to the Static Analysis of Incomplete Programs. - Leandro T. C. Melo; Rodrigo Geraldo Ribeiro; Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (ACM Trans. Program. Lang. Syst., 2020)

Exploring the space of optimization sequences for code-size reduction: insights and tools. - Anderson Faustino da Silva; Bernardo N. B. de Lima; Fernando Magno Quintão Pereira (CC, 2021)

ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. - Anderson Faustino da Silva; Bruno Conde Kind; José Wesley de Souza Magalhães; Jerônimo Nunes Rocha; Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (CGO, 2021)

Memory-Safe Elimination of Side Channels. - Luigi D. C. Soares; Fernando Magno Quintão Pereira (CGO, 2021)

New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure. - Anderson Faustino da Silva; Edson Borin; Fernando Magno Quintão Pereira; Otávio O. Napoli; Vanderson Martins do Rosário (SBLP, 2021)

VESPA: static profiling for binary optimization. - Angelica Aparecida Moreira; Guilherme Ottoni; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2021)

Practical dynamic reconstruction of control flow graphs. - Andrei Rimsa; José Nelson Amaral; Fernando M. Q. Pereira (Softw. Pract. Exp., 2021)

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs. - Junio Cezar Ribeiro da Silva; Lorena Leão; Vinicius Petrucci; Abdoulaye Gamatié; Fernando Magno Quintão Pereira (ACM Trans. Embed. Comput. Syst., 2021)

Instruction visibility in SPEC CPU2017. - Andrei Rimsa Álvares; José Nelson Amaral; Fernando Magno Quintão Pereira (J. Comput. Lang., 2021)

On-line synthesis of parsers for string events. - João Saffran; Haniel Barbosa; Fernando Magno Quintão Pereira; Srinivas Vladamani (J. Comput. Lang., 2021)

Static Single Information Form. - Fernando Magno Quintão Pereira; Fabrice Rastello (SSA-based Compiler Design, 2022)

A polynomial time exact solution to the bit-aware register binding problem. - Michael Canesche; Ricardo S. Ferreira 001; José Augusto Miranda Nacif; Fernando Magno Quintão Pereira (CC, 2022)

Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas. - Thaís Damásio; Michael Canesche; Vinícius Pacheco; Anderson Faustino da Silva; Fernando Magno Quintão Pereira (SBLP, 2022)

Automatic inspection of program state in an uncooperative environment. - José Wesley de Souza Magalhães; Chunhua Liao; Fernando Magno Quintão Pereira (Softw. Pract. Exp., 2022)

Hapi: A domain-specific language for the declaration of access policies. - Vinícius Julião Ramos; Alexander Holmquist; Fernando Magno Quintão Pereira (J. Comput. Lang., 2022)

Program representations for predictive compilation: State of affairs in the early 20's. - Anderson Faustino da Silva; Edson Borin; Fernando Magno Quintão Pereira; Nilton Luiz Queiroz Junior; Otávio Oliveira Napoli (J. Comput. Lang., 2022)

Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need. - Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (CC, 2023)

A Game-Based Framework to Compare Program Classifiers and Evaders. - Thaís Damásio; Michael Canesche; Vinícius Pacheco; Marcus Botacin; Anderson Faustino da Silva; Fernando Magno Quintão Pereira (CGO, 2023)

Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos. - Alexander Holmquist; Vitor Emanuel; Fernando Magno Quintão Pereira (SBLP, 2023)

A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation. - Rafael Sumitani; Lucas Silva; Frederico F. Campos; Fernando Magno Quintão Pereira (SBLP, 2023)

Preparing Reproducible Scientific Artifacts using Docker. - Michael Canesche; Roland Leissa; Fernando Magno Quintão Pereira (CoRR, 2023)

Side-channel Elimination via Partial Control-flow Linearization. - Luigi D. C. Soares; Michael Canesche; Fernando Magno Quintão Pereira (ACM Trans. Program. Lang. Syst., 2023)

The Essence of the Flyweight Design Pattern. - Fernando Magno Quintão Pereira; Caio Raposo (JENSFEST, 2024)

Reducing the Overhead of Exact Profiling by Reusing Affine Variables. - Leon Frenot; Fernando Magno Quintão Pereira (CC, 2024)

Memoization of Mutable Objects. - Caio Raposo; Fernando Magno Quintão Pereira (SBLP, 2024)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools. - Rafael Sumitani; João Victor Amorim; Augusto Mafra; Mirlaine Crepalde; Fernando Magno Quintão Pereira (CoRR, 2024)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent. - Michael Canesche; Gaurav Verma; Fernando Magno Quintão Pereira (CoRR, 2024)

Detection and treatment of string events in the limit. - Alexander Holmquist; Vitor Emanuel; Fernando C. Alves; Fernando Magno Quintão Pereira (J. Comput. Lang., 2024)

The Droplet Search Algorithm for Kernel Scheduling. - Michael Canesche; Vanderson Martins do Rosário; Edson Borin; Fernando Magno Quintão Pereira (ACM Trans. Archit. Code Optim., 2024)

Fusion of Operators of Computational Graphs via Greedy Clustering: The XNNC Experience. - Michael Canesche; Vanderson Martins do Rosario; Edson Borin; Fernando Magno Quintão Pereira (CC, 2025)

A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers. - Anderson Faustino da Silva; Jerónimo Castrillón; Fernando Magno Quintão Pereira (CC, 2025)

Honey Potion: An eBPF Backend for Elixir. - Kael Soares Augusto; Vinícius Pacheco; Marcos A. M. Vieira; Rodrigo Geraldo Ribeiro; Fernando Magno Quintão Pereira (CGO, 2025)

Automatic Synthesis of Specialized Hash Functions. - Renato B. Hoffmann; Leonardo G. Faé; Dalvan Griebler; Xinliang David Li; Fernando Magno Quintão Pereira (CGO, 2025)

A methodology for empirical complexity analysis based on Newton's polynomial interpolation. - Rafael Fontes Sumitani; Lucas Victor da Silva Costa; Frederico F. Campos; Fernando Magno Quintão Pereira (J. Comput. Lang., 2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools. - João Victor Amorim; Luiza de Melo Gomes; Rafael Sumitani; Raissa Maciel; Augusto Mafra; Mirlaine Crepalde; Fernando Magno Quintão Pereira (CoRR, 2025)

Certified Compilation based on Gödel Numbers. - Guilherme de Oliveira Silva; Fernando Magno Quintão Pereira (CoRR, 2025)