Fernando Magno Quintão Pereira

133 papers A* 2A 20B 22C 8Misc 1Journal 51Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Binary Diffing via Library Signatures. CGO Andrei Rimsa, Anderson Faustino da Silva, Camilo Santana, Fernando Magno Quintão Pereira
2026	J	`jnl`	Idempotent Slices with Applications to Code-Size Reduction. CoRR Rafael Alvarenga de Azevedo, Daniel Augusto Costa de Sa, Rodrigo Caetano Rocha, Fernando Magno Quintão Pereira
2026	A	`conf`	Multidirectional Propagation of Sparsity Information across Tensor Slices. CGO Kaio Henrique Andrade Ananias, Danila Seliayeu, José Nelson Amaral, Fernando Magno Quintão Pereira
2026	A	`conf`	On the Precision of Dynamic Program Fingerprints Based on Performance Counters. CGO Anderson Faustino da Silva, Marcelo Borges Nogueira, Sérgio Queiroz de Medeiros, Jerónimo Castrillón, Fernando Magno Quintão Pereira
2026	J	`jnl`	Vectorization of Verilog Designs and its Effects on Verification and Synthesis. CoRR Maria Fernanda Oiveira Guimarães, Ulisses Rosa, Ian Trudel, João Victor Amorim, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira
2025	B	`conf`	A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers. CC Anderson Faustino da Silva, Jerónimo Castrillón, Fernando Magno Quintão Pereira
2025	J	`jnl`	A methodology for empirical complexity analysis based on Newton's polynomial interpolation. J. Comput. Lang. Rafael Fontes Sumitani, Lucas Victor da Silva Costa, Frederico F. Campos, Fernando Magno Quintão Pereira
2025	A	`conf`	Automatic Synthesis of Specialized Hash Functions. CGO Renato B. Hoffmann, Leonardo G. Faé, Dalvan Griebler, Xinliang David Li, Fernando Magno Quintão Pereira
2025	J	`jnl`	Bottom-Up Generation of Verilog Designs for Testing EDA Tools. CoRR João Victor Amorim, Luiza de Melo Gomes, Rafael Sumitani, Raissa Maciel, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira
2025	J	`jnl`	Certified Compilation based on Gödel Numbers. CoRR Guilherme de Oliveira Silva, Fernando Magno Quintão Pereira
2025	B	`conf`	Fusion of Operators of Computational Graphs via Greedy Clustering: The XNNC Experience. CC Michael Canesche, Vanderson Martins do Rosario, Edson Borin, Fernando Magno Quintão Pereira
2025	A	`conf`	Honey Potion: An eBPF Backend for Elixir. CGO Kael Soares Augusto, Vinícius Pacheco, Marcos A. M. Vieira, Rodrigo Geraldo Ribeiro, Fernando Magno Quintão Pereira
2025	J	`jnl`	Jotai: A methodology for the generation of executable C benchmarks. J. Comput. Lang. Cecília Kind, Michael Canesche, Fernando Magno Quintão Pereira
2025	J	`jnl`	Multi-Language Benchmark Generation via L-Systems. CoRR Vinícius Francisco da Silva, Heitor Leite, Fernando Magno Quintão Pereira
2025	—	`conf`	On the Practicality of LLM-Based Compiler Fuzzing. SBLP Gabriel Guimarães dos Santos Ricardo, Natanael dos Santos Junior, Flavio Figueiredo, Fernando Magno Quintão Pereira
2025	J	`jnl`	VexIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity. ACM Trans. Softw. Eng. Methodol. S. VenkataKeerthy, Soumya Banerjee, Sayan Dey, Yashas Andaluri, Raghul P. S., Subrahmanyam Kalyanasundaram, Fernando Magno Quintão Pereira, Ramakrishna Upadrasta
2024	J	`jnl`	ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools. CoRR Rafael Sumitani, João Victor Amorim, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira
2024	J	`jnl`	Detection and treatment of string events in the limit. J. Comput. Lang. Alexander Holmquist, Vitor Emanuel, Fernando C. Alves, Fernando Magno Quintão Pereira
2024	J	`jnl`	Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent. CoRR Michael Canesche, Gaurav Verma, Fernando Magno Quintão Pereira
2024	—	`conf`	Memoization of Mutable Objects. SBLP Caio Raposo, Fernando Magno Quintão Pereira
2024	—	`ed.`	Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024 JENSFEST Mayur Naik, Fernando Magno Quintão Pereira, Ben L. Titzer
2024	B	`conf`	Reducing the Overhead of Exact Profiling by Reusing Affine Variables. CC Léon Frénot, Fernando Magno Quintão Pereira
2024	J	`jnl`	The Droplet Search Algorithm for Kernel Scheduling. ACM Trans. Archit. Code Optim. Michael Canesche, Vanderson Martins do Rosário, Edson Borin, Fernando Magno Quintão Pereira
2024	—	`conf`	The Essence of the Flyweight Design Pattern. JENSFEST Fernando Magno Quintão Pereira, Caio Raposo
2023	—	`conf`	A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation. SBLP Rafael Sumitani, Lucas Silva, Frederico F. Campos, Fernando Magno Quintão Pereira
2023	A	`conf`	A Game-Based Framework to Compare Program Classifiers and Evaders. CGO Thaís Damásio, Michael Canesche, Vinícius Pacheco, Marcus Botacin, Anderson Faustino da Silva, Fernando Magno Quintão Pereira
2023	B	`conf`	Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need. CC Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira
2023	—	`conf`	Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos. SBLP Alexander Holmquist, Vitor Emanuel, Fernando Magno Quintão Pereira
2023	J	`jnl`	Preparing Reproducible Scientific Artifacts using Docker. CoRR Michael Canesche, Roland Leissa, Fernando Magno Quintão Pereira
2023	J	`jnl`	Side-channel Elimination via Partial Control-flow Linearization. ACM Trans. Program. Lang. Syst. Luigi D. C. Soares, Michael Canesche, Fernando Magno Quintão Pereira
2022	B	`conf`	A polynomial time exact solution to the bit-aware register binding problem. CC Michael Canesche, Ricardo S. Ferreira, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira
2022	J	`jnl`	Automatic inspection of program state in an uncooperative environment. Softw. Pract. Exp. José Wesley de Souza Magalhães, Chunhua Liao, Fernando Magno Quintão Pereira
2022	J	`jnl`	Hapi: A domain-specific language for the declaration of access policies. J. Comput. Lang. Vinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira
2022	—	`conf`	Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas. SBLP Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira
2022	J	`jnl`	Program representations for predictive compilation: State of affairs in the early 20's. J. Comput. Lang. Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Nilton Luiz Queiroz Junior, Otávio Oliveira Napoli
2022	—	`ch.`	Static Single Information Form. SSA-based Compiler Design Fernando Magno Quintão Pereira, Fabrice Rastello
2021	A	`conf`	ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. CGO 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
2021	B	`conf`	Exploring the space of optimization sequences for code-size reduction: insights and tools. CC Anderson Faustino da Silva, Bernardo N. B. de Lima, Fernando Magno Quintão Pereira
2021	J	`jnl`	Instruction visibility in SPEC CPU2017. J. Comput. Lang. Andrei Rimsa Álvares, José Nelson Amaral, Fernando Magno Quintão Pereira
2021	J	`jnl`	Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs. ACM Trans. Embed. Comput. Syst. Junio Cezar Ribeiro da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira
2021	A	`conf`	Memory-Safe Elimination of Side Channels. CGO Luigi D. C. Soares, Fernando Magno Quintão Pereira
2021	—	`conf`	New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure. SBLP Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Otávio O. Napoli, Vanderson Martins do Rosário
2021	J	`jnl`	On-line synthesis of parsers for string events. J. Comput. Lang. João Saffran, Haniel Barbosa, Fernando Magno Quintão Pereira, Srinivas Vladamani
2021	J	`jnl`	VESPA: static profiling for binary optimization. Proc. ACM Program. Lang. Angelica Aparecida Moreira, Guilherme Ottoni, Fernando Magno Quintão Pereira
2020	A	`conf`	AutoParBench: a unified test framework for OpenMP-based parallelizers. ICS Gleison Souza Diniz Mendonca, Chunhua Liao, Fernando Magno Quintão Pereira
2020	J	`jnl`	Dynamic dispatch of context-sensitive optimizations. Proc. ACM Program. Lang. Gabriel Poesia, Fernando Magno Quintão Pereira
2020	J	`jnl`	Guided just-in-time specialization. Sci. Comput. Program. Caio Lima, Junio Cezar R. da Silva, Guilherme V. Leobas, Erven Rohou, Fernando Magno Quintão Pereira
2020	J	`jnl`	Semiring optimizations: dynamic elision of expressions with identity and absorbing elements. Proc. ACM Program. Lang. Guilherme V. Leobas, Fernando Magno Quintão Pereira
2020	J	`jnl`	Type Inference for C: Applications to the Static Analysis of Incomplete Programs. ACM Trans. Program. Lang. Syst. Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira
2020	—	`conf`	YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences. SBLP André Felipe Zanella, Anderson Faustino da Silva, Fernando Magno Quintão Pereira
2019	J	`jnl`	Automatic parallelization of recursive functions with rewriting rules. Sci. Comput. Program. Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira
2019	J	`jnl`	Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems. CoRR Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira
2019	B	`conf`	Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster. PPoPP Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira
2019	J	`jnl`	Data-flow analysis and optimization for data coherence in heterogeneous architectures. J. Parallel Distributed Comput. Rafael C. F. Sousa, Márcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo
2019	—	`conf`	Efficient and Precise Dynamic Construction of Control Flow Graphs. SBLP Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira
2019	A	`conf`	Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages. CGO Marcus Rodrigues, Breno Guimarães, Fernando Magno Quintão Pereira
2019	J	`jnl`	JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. Sci. Comput. Program. Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira
2019	A	`conf`	Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware. DSN Mateus Tymburibá, Hugo Sousa, Fernando Magno Quintão Pereira
2019	J	`jnl`	Qubit allocation as a combination of subgraph isomorphism and token swapping. Proc. ACM Program. Lang. Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira
2019	J	`jnl`	SIoT: Securing Internet of Things through distributed systems analysis. Future Gener. Comput. Syst. Fernando Augusto Teixeira, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira
2019	J	`jnl`	Static Prediction of Silent Stores. ACM Trans. Archit. Code Optim. Fernando Magno Quintão Pereira, Guilherme V. Leobas, Abdoulaye Gamatié
2019	J	`jnl`	The Dinamica EGO virtual machine. Sci. Comput. Program. Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira
2018	—	`conf`	A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems. ReCoSoC Junio Cezar Ribeiro da Silva, Fernando Magno Quintão Pereira, Michael Frank, Abdoulaye Gamatié
2018	B	`conf`	Automatic annotation of tasks in structured code. PACT Pedro Ramos, Gleison Souza Diniz Mendonca, Divino Soares, Guido Araújo, Fernando Magno Quintão Pereira
2018	J	`jnl`	Combining range and inequality information for pointer disambiguation. Sci. Comput. Program. Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
2018	C	`conf`	From Java to FPGA: An Experience with the Intel HARP System. SBAC-PAD Pedro Caldeira, Jeronimo Costa Penha, Lucas Bragança, Ricardo Ferreira, José Augusto Miranda Nacif, Renato Ferreira, Fernando Magno Quintão Pereira
2018	J	`jnl`	Inference of static semantics for incomplete C programs. Proc. ACM Program. Lang. Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira
2018	—	`conf`	More than meets the eye: invisible instructions. SBLP Guilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira
2018	A	`conf`	Qubit allocation. CGO Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira
2018	—	`conf`	Taskminer: automatic identification of tasks. SBLP Pedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira
2018	J	`jnl`	The computer for the 21st century: present security & privacy challenges. J. Internet Serv. Appl. Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Michele Nogueira, Michelle S. Wangham, Min Wu, Jie Liu
2017	C	`conf`	Data Coherence Analysis and Optimization for Heterogeneous Computing. SBAC-PAD Rafael Cardoso Fernandes Sousa, Márcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo
2017	J	`jnl`	DawnCC: Automatic Annotation for Data Parallelism and Offloading. ACM Trans. Archit. Code Optim. Gleison Souza Diniz Mendonca, Breno Campos Ferreira Guimarães, Péricles Alves, Márcio Machado Pereira, Guido Araujo, Fernando Magno Quintão Pereira
2017	—	`conf`	Demand-driven less-than analysis. SBLP Junio Cezar R. da Silva, Fernando Magno Quintão Pereira
2017	B	`conf`	Function Call Re-Vectorization. PPoPP Rubens E. A. Moreira, Caroline Collange, Fernando Magno Quintão Pereira
2017	J	`jnl`	JetsonLEAP: a Framework to Measure Power on a Heterogeneous System-on-a-Chip Device. CoRR Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira
2017	A	`conf`	Pointer disambiguation via strict inequalities. CGO Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira
2017	Misc	`conf`	Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems. SenSys Min Wu, Fernando Magno Quintão Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim, Leonardo B. Oliveira
2017	J	`jnl`	Static placement of computation on heterogeneous devices. Proc. ACM Program. Lang. Gabriel Poesia, Breno Campos Ferreira Guimarães, Fabricio Ferracioli, Fernando Magno Quintão Pereira
2017	B	`conf`	The Computer for the 21st Century: Security & Privacy Challenges after 25 Years. ICCCN Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Jie Liu
2016	—	`conf`	An Algebraic Framework for Parallelizing Recurrence in Functional Programming. SBLP Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira
2016	C	`conf`	Automatic Insertion of Copy Annotation in Data-Parallel Programs. SBAC-PAD 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
2016	A	`conf`	Inference of peak density of indirect branches to detect ROP attacks. CGO Mateus Tymburibá, Rubens E. A. Moreira, Fernando Magno Quintão Pereira
2016	—	`conf`	JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems. SBLP Tarsila Bessa, Pedro Quintão, Michael Frank, Fernando Magno Quintão Pereira
2016	B	`conf`	Restrictification of function arguments. CC Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira
2016	—	`conf`	SMOV: Array Bound-Check and access in a single instruction. CCNC Antonio Maia, Leandro T. C. Melo, Fernando Magno Quintão Pereira, Omar P. Vilela Neto, Leonardo B. Oliveira
2016	J	`jnl`	Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14). Sci. Comput. Program. Fernando Magno Quintão Pereira
2016	B	`conf`	Sparse representation of implicit flows with applications to side-channel detection. CC Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha
2016	A	`conf`	Symbolic range analysis of pointers. CGO Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
2015	J	`jnl`	A case for a fast trip count predictor. Inf. Process. Lett. Péricles Rafael Oliveira Alves, Raphael Ernani Rodrigues, Rafael Martins de Souza, Fernando Magno Quintão Pereira
2015	—	`conf`	Automatic Inference of Loop Complexity Through Polynomial Interpolation. SBLP Francisco Demontiê, Junio Cezar R. da Silva, Mariza Andrade da Silva Bigonha, Frederico F. Campos, Fernando Magno Quintão Pereira
2015	C	`conf`	Fusion of Calling Sites. SBAC-PAD Douglas do Couto Teixeira, Caroline Collange, Fernando Magno Quintão Pereira
2015	A	`conf`	Runtime pointer disambiguation. OOPSLA Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira
2015	—	`conf`	SIoT: securing the internet of things through distributed system analysis. IPSN Fernando Augusto Teixeira, Gustavo Vieira Machado, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira
2015	—	`conf`	The Dinamica Virtual Machine for Geosciences. SBLP Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira
2014	B	`conf`	Compiler support for selective page migration in NUMA architectures. PACT Guilherme Piccoli, Henrique Nazaré Santos, Raphael Ernani Rodrigues, Christiane Pousa, Edson Borin, Fernando Magno Quintão Pereira
2014	—	`conf`	Defending Code from the Internet of Things against Buffer Overflow. SBRC Fernando Augusto Teixeira, Gustavo Vieira Machado, Pablo M. Fonseca, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira
2014	J	`jnl`	Efficient static checker for tainted variable attacks. Sci. Comput. Program. Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha
2014	J	`jnl`	Just-in-time value specialization. Comput. Lang. Syst. Struct. Igor Rafael de Assis Costa, Henrique Nazaré Santos, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira
2014	B	`conf`	Parameterized Construction of Program Representations for Sparse Dataflow Analyses. CC André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello
2014	J	`jnl`	Parameterized Construction of Program Representations for Sparse Dataflow Analyses. CoRR André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello
2014	—	`ed.`	Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings SBLP Fernando Magno Quintão Pereira
2014	J	`jnl`	Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads. Parallel Comput. Teo Milanez, Caroline Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira
2014	A	`conf`	Validation of memory accesses through symbolic analyses. OOPSLA Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
2013	A	`conf`	A fast and low-overhead technique to secure programs against integer overflows. CGO Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira
2013	J	`jnl`	Automatic parallelization of canonical loops. Sci. Comput. Program. Leonardo Luiz Padovani da Mata, Fernando Magno Quintão Pereira, Renato Ferreira
2013	J	`jnl`	Divergence analysis. ACM Trans. Program. Lang. Syst. Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira
2013	A	`conf`	Just-in-time value specialization. CGO Igor Rafael de Assis Costa, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira
2013	J	`jnl`	Profiling divergences in GPU applications. Concurr. Comput. Pract. Exp. Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.
2012	C	`conf`	Data and Instruction Uniformity in Minimal Multi-threading. SBAC-PAD Teo Milanez, Caroline Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira
2012	C	`conf`	Divergence Analysis with Affine Constraints. SBAC-PAD Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira
2012	—	`conf`	Optimizing a Geomodeling Domain Specific Language. SBLP Bruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues, Britaldo Silveira Soares-Filho
2012	—	`conf`	Parameter Based Constant Propagation. SBLP Péricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, Eduardo Magno Lages Figueiredo
2012	—	`conf`	Speed and Precision in Range Analysis. SBLP Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira
2012	—	`conf`	Spill Code Placement for SIMD Machines. SBLP Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, Caroline Collange
2011	C	`conf`	Decoupled graph-coloring register allocation with hierarchical aliasing. SCOPES André Luiz Camargos Tavares, Quentin Colombet, Mariza Andrade da Silva Bigonha, Christophe Guillon, Fernando Magno Quintão Pereira, Fabrice Rastello
2011	B	`conf`	Divergence Analysis and Optimizations. PACT Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.
2011	B	`conf`	Dynamic Elimination of Overflow Tests in a Trace Compiler. CC Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha
2011	B	`conf`	Tainted Flow Analysis on e-SSA-Form Programs. CC Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira
2010	C	`conf`	Performance Debugging of GPGPU Applications with the Divergence Map. SBAC-PAD Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.
2010	B	`conf`	Punctual Coalescing. CC Fernando Magno Quintão Pereira, Jens Palsberg
2009	B	`conf`	SSA Elimination after Register Allocation. CC Fernando Magno Quintão Pereira, Jens Palsberg
2009	A	`conf`	Wave Propagation and Deep Propagation for Pointer Analysis. CGO Fernando Magno Quintão Pereira, Daniel Berlin
2008	J	`jnl`	Aliased register allocation for straight-line programs is NP-complete. Theor. Comput. Sci. Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
2008	A*	`conf`	Register allocation by puzzle solving. PLDI Fernando Magno Quintão Pereira, Jens Palsberg
2007	B	`conf`	A Framework for End-to-End Verification and Evaluation of Register Allocators. SAS V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg
2007	A*	`conf`	Aliased Register Allocation for Straight-Line Programs Is NP-Complete. ICALP Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
2006	J	`jnl`	Arcademis: a framework for object-oriented communication middleware development. Softw. Pract. Exp. Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha
2006	B	`conf`	Register Allocation After Classical SSA Elimination is NP-Complete. FoSSaCS Fernando Magno Quintão Pereira, Jens Palsberg
2005	B	`conf`	Register Allocation Via Coloring of Chordal Graphs. APLAS Fernando Magno Quintão Pereira, Jens Palsberg
2004	J	`jnl`	Tactics for Remote Method Invocation. J. Univers. Comput. Sci. Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Wagner Salazar Pires, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha
2003	—	`conf`	A Coordination Model for ad hoc Mobile Systems. Euro-Par Marco Túlio de Oliveira Valente, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha
2003	—	`conf`	The Language LinF for Fractal Specification. SIBGRAPI Fernando Magno Quintão Pereira, Leonardo T. Rolla, Cristiano G. Rezende, Rodrigo L. Carceroni