default search action
Fernando Magno Quintão Pereira
Fernando M. Q. Pereira
Person information
- affiliation: Federal University of Minas Gerais, Belo Horizonte, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j38]Michael Canesche
, Vanderson Martins do Rosário
The Droplet Search Algorithm for Kernel Scheduling. ACM Trans. Archit. Code Optim. 21(2): 35 (2024) - [j37]Alexander Holmquist, Vitor Emanuel, Fernando C. Alves, Fernando Magno Quintão Pereira:
Detection and treatment of string events in the limit. J. Comput. Lang. 81: 101299 (2024) - [c72]Fernando Magno Quintão Pereira
The Essence of the Flyweight Design Pattern. JENSFEST 2024: 30-38 - [c71]Leon Frenot
Reducing the Overhead of Exact Profiling by Reusing Affine Variables. CC 2024: 150-161 - [e2]Mayur Naik, Fernando Magno Quintão Pereira, Ben L. Titzer:
Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024. ACM 2024, ISBN 979-8-4007-1257-9 [contents] - [i6]Rafael Sumitani, João Victor Amorim, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira:
ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools. CoRR abs/2406.06550 (2024) - [i5]Michael Canesche, Gaurav Verma, Fernando Magno Quintão Pereira:
Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent. CoRR abs/2406.20037 (2024) - 2023
- [j36]Luigi Soares
Side-channel Elimination via Partial Control-flow Linearization. ACM Trans. Program. Lang. Syst. 45(2): 13:1-13:43 (2023) - [c70]Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira:
Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need. CC 2023: 239-249 - [c69]Thaís Damásio, Michael Canesche, Vinícius Pacheco, Marcus Botacin, Anderson Faustino da Silva, Fernando Magno Quintão Pereira:
A Game-Based Framework to Compare Program Classifiers and Evaders. CGO 2023: 108-121 - [c68]Rafael Sumitani
A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation. SBLP 2023: 50-55 - [c67]Alexander Holmquist
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos. SBLP 2023: 91-98 - [i4]Michael Canesche, Roland Leissa, Fernando Magno Quintão Pereira:
Preparing Reproducible Scientific Artifacts using Docker. CoRR abs/2308.14122 (2023) - 2022
- [j35]José Wesley de Souza Magalhães, Chunhua Liao
Automatic inspection of program state in an uncooperative environment. Softw. Pract. Exp. 52(12): 2727-2758 (2022) - [j34]Vinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira:
Hapi: A domain-specific language for the declaration of access policies. J. Comput. Lang. 72: 101153 (2022) - [j33]Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Nilton Luiz Queiroz Junior, Otávio Oliveira Napoli:
Program representations for predictive compilation: State of affairs in the early 20's. J. Comput. Lang. 73: 101171 (2022) - [c66]Michael Canesche, Ricardo S. Ferreira, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira
A polynomial time exact solution to the bit-aware register binding problem. CC 2022: 29-40 - [c65]Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira:
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas. SBLP 2022: 68-75 - [p1]Fernando Magno Quintão Pereira, Fabrice Rastello:
Static Single Information Form. SSA-based Compiler Design 2022: 165-184 - 2021
- [j32]Angelica Aparecida Moreira
VESPA: static profiling for binary optimization. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [j31]Andrei Rimsa
Practical dynamic reconstruction of control flow graphs. Softw. Pract. Exp. 51(2): 353-384 (2021) - [j30]Junio Cezar Ribeiro da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira:
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs. ACM Trans. Embed. Comput. Syst. 20(6): 112:1-112:35 (2021) - [j29]João Saffran, Haniel Barbosa, Fernando Magno Quintão Pereira, Srinivas Vladamani:
On-line synthesis of parsers for string events. J. Comput. Lang. 62: 101022 (2021) - [j28]Andrei Rimsa Álvares
Instruction visibility in SPEC CPU2017. J. Comput. Lang. 66: 101062 (2021) - [c64]Anderson Faustino da Silva
Exploring the space of optimization sequences for code-size reduction: insights and tools. CC 2021: 47-58 - [c63]Luigi Soares, Fernando Magno Quintão Pereira:
Memory-Safe Elimination of Side Channels. CGO 2021: 200-210 - [c62]Anderson Faustino da Silva, Bruno Conde Kind, José Wesley de Souza Magalhães
ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. CGO 2021: 378-390 - [c61]Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Otávio Oliveira Napoli, Vanderson Martins do Rosário:
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure. SBLP 2021: 33-40 - 2020
- [j27]Guilherme V. Leobas, Fernando Magno Quintão Pereira
Semiring optimizations: dynamic elision of expressions with identity and absorbing elements. Proc. ACM Program. Lang. 4(OOPSLA): 131:1-131:28 (2020) - [j26]Gabriel Poesia, Fernando Magno Quintão Pereira
Dynamic dispatch of context-sensitive optimizations. Proc. ACM Program. Lang. 4(OOPSLA): 167:1-167:28 (2020) - [j25]Caio Lima, Junio Cezar R. da Silva, Guilherme V. Leobas, Erven Rohou
Guided just-in-time specialization. Sci. Comput. Program. 185 (2020) - [j24]Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira:
Type Inference for C: Applications to the Static Analysis of Incomplete Programs. ACM Trans. Program. Lang. Syst. 42(3): 15:1-15:71 (2020) - [c60]Gleison Souza Diniz Mendonca, Chunhua Liao, Fernando Magno Quintão Pereira:
AutoParBench: a unified test framework for OpenMP-based parallelizers. ICS 2020: 28:1-28:10 - [c59]Junio Cezar R. da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié, Fernando M. Q. Pereira:
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs. SBESC 2020: 1-8 - [c58]André Felipe Zanella, Anderson Faustino da Silva, Fernando Magno Quintão Pereira:
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences. SBLP 2020: 56-63
2010 – 2019
- 2019
- [j23]Fernando Augusto Teixeira, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira
SIoT: Securing Internet of Things through distributed systems analysis. Future Gener. Comput. Syst. 92: 1172-1186 (2019) - [j22]Rafael C. F. Sousa, Márcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo:
Data-flow analysis and optimization for data coherence in heterogeneous architectures. J. Parallel Distributed Comput. 130: 126-139 (2019) - [j21]Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira:
Qubit allocation as a combination of subgraph isomorphism and token swapping. Proc. ACM Program. Lang. 3(OOPSLA): 120:1-120:29 (2019) - [j20]Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira:
The Dinamica EGO virtual machine. Sci. Comput. Program. 173: 3-20 (2019) - [j19]Tarsila Bessa, Christopher J. Gull
JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. Sci. Comput. Program. 173: 21-36 (2019) - [j18]Rodrigo C. O. Rocha
Automatic parallelization of recursive functions with rewriting rules. Sci. Comput. Program. 173: 128-152 (2019) - [j17]Fernando Magno Quintão Pereira
Static Prediction of Silent Stores. ACM Trans. Archit. Code Optim. 15(4): 44:1-44:26 (2019) - [c57]Marcus Rodrigues, Breno Guimarães, Fernando Magno Quintão Pereira:
Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages. CGO 2019: 136-148 - [c56]Mateus Tymburibá, Hugo Sousa, Fernando Magno Quintão Pereira:
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware. DSN 2019: 315-327 - [c55]Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira:
Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster. PPoPP 2019: 429-430 - [c54]Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira:
Efficient and Precise Dynamic Construction of Control Flow Graphs. SBLP 2019: 19-26 - [c53]Breno Campos Ferreira Guimarães, José Wesley de S. Magalhães
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories. SBLP 2019: 62-69 - [i3]Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira:
Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems. CoRR abs/1903.07038 (2019) - 2018
- [j16]Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha
The computer for the 21st century: present security & privacy challenges. J. Internet Serv. Appl. 9(1): 24:1-24:25 (2018) - [j15]Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira:
Inference of static semantics for incomplete C programs. Proc. ACM Program. Lang. 2(POPL): 29:1-29:28 (2018) - [j14]Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord:
Combining range and inequality information for pointer disambiguation. Sci. Comput. Program. 152: 161-184 (2018) - [c52]Pedro Ramos, Gleison Souza Diniz Mendonca, Divino Soares, Guido Araújo, Fernando Magno Quintão Pereira:
Automatic annotation of tasks in structured code. PACT 2018: 31:1-31:13 - [c51]Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira:
Qubit allocation. CGO 2018: 113-125 - [c50]Junio Cezar Ribeiro da Silva, Fernando Magno Quintão Pereira, Michael Frank, Abdoulaye Gamatié:
A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems. ReCoSoC 2018: 1-8 - [c49]Pedro Caldeira, Jeronimo Costa Penha
From Java to FPGA: An Experience with the Intel HARP System. SBAC-PAD 2018: 17-24 - [c48]Pedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira:
Taskminer: automatic identification of tasks. SBLP 2018: 11-18 - [c47]Guilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira:
More than meets the eye: invisible instructions. SBLP 2018: 27-34 - 2017
- [j13]Gabriel Poesia, Breno Campos Ferreira Guimarães, Fabricio Ferracioli, Fernando Magno Quintão Pereira:
Static placement of computation on heterogeneous devices. Proc. ACM Program. Lang. 1(OOPSLA): 50:1-50:28 (2017) - [j12]Gleison Souza Diniz Mendonca, Breno Campos Ferreira Guimarães, Péricles Alves, Márcio Machado Pereira, Guido Araujo, Fernando Magno Quintão Pereira:
DawnCC: Automatic Annotation for Data Parallelism and Offloading. ACM Trans. Archit. Code Optim. 14(2): 13:1-13:25 (2017) - [c46]Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira:
Pointer disambiguation via strict inequalities. CGO 2017: 134-147 - [c45]Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha
The Computer for the 21st Century: Security & Privacy Challenges after 25 Years. ICCCN 2017: 1-10 - [c44]Rubens E. A. Moreira, Caroline Collange, Fernando Magno Quintão Pereira:
Function Call Re-Vectorization. PPoPP 2017: 313-326 - [c43]Rafael Cardoso Fernandes Sousa, Márcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo:
Data Coherence Analysis and Optimization for Heterogeneous Computing. SBAC-PAD 2017: 9-16 - [c42]Junio Cezar R. da Silva, Fernando Magno Quintão Pereira:
Demand-driven less-than analysis. SBLP 2017: 2:1-2:8 - [c41]Min Wu, Fernando Magno Quintão Pereira, Jie Liu, Heitor S. Ramos
Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems. SenSys 2017: 22:1-22:6 - [i2]Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira:
JetsonLEAP: a Framework to Measure Power on a Heterogeneous System-on-a-Chip Device. CoRR abs/1706.03042 (2017) - 2016
- [j11]Fernando Magno Quintão Pereira:
Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14). Sci. Comput. Program. 119: 1-2 (2016) - [c40]Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha
Sparse representation of implicit flows with applications to side-channel detection. CC 2016: 110-120 - [c39]Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira:
Restrictification of function arguments. CC 2016: 163-173 - [c38]Antonio Maia, Leandro T. C. Melo, Fernando Magno Quintão Pereira, Omar P. Vilela Neto
SMOV: Array Bound-Check and access in a single instruction. CCNC 2016: 745-751 - [c37]Mateus Tymburibá, Rubens E. A. Moreira, Fernando Magno Quintão Pereira:
Inference of peak density of indirect branches to detect ROP attacks. CGO 2016: 150-159 - [c36]Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira:
Symbolic range analysis of pointers. CGO 2016: 171-181 - [c35]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:
Automatic Insertion of Copy Annotation in Data-Parallel Programs. SBAC-PAD 2016: 34-41 - [c34]Tarsila Bessa, Pedro Quintão, Michael Frank, Fernando Magno Quintão Pereira:
JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems. SBLP 2016: 16-30 - [c33]Rodrigo C. O. Rocha, Luís F. W. Góes
An Algebraic Framework for Parallelizing Recurrence in Functional Programming. SBLP 2016: 140-155 - 2015
- [j10]Péricles Rafael Oliveira Alves, Raphael Ernani Rodrigues, Rafael Martins de Souza, Fernando Magno Quintão Pereira:
A case for a fast trip count predictor. Inf. Process. Lett. 115(2): 146-150 (2015) - [c32]Fernando Augusto Teixeira, Gustavo Vieira Machado, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira
SIoT: securing the internet of things through distributed system analysis. IPSN 2015: 310-321 - [c31]Péricles Alves, Fabian Gruber, Johannes Doerfert
Runtime pointer disambiguation. OOPSLA 2015: 589-606 - [c30]Douglas do Couto Teixeira, Caroline Collange, Fernando Magno Quintão Pereira:
Fusion of Calling Sites. SBAC-PAD 2015: 90-97 - [c29]Francisco Demontiê, Junio Cezar R. da Silva, Mariza Andrade da Silva Bigonha
Automatic Inference of Loop Complexity Through Polynomial Interpolation. SBLP 2015: 1-15 - [c28]Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira:
The Dinamica Virtual Machine for Geosciences. SBLP 2015: 44-58 - 2014
- [j9]Igor Rafael de Assis Costa
Just-in-time value specialization. Comput. Lang. Syst. Struct. 40(2): 37-52 (2014) - [j8]Teo Milanez, Caroline Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira:
Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads. Parallel Comput. 40(9): 548-558 (2014) - [j7]Andrei Rimsa, Marcelo d'Amorim
Efficient static checker for tainted variable attacks. Sci. Comput. Program. 80: 91-105 (2014) - [c27]Guilherme Piccoli, Henrique Nazaré Santos, Raphael Ernani Rodrigues, Christiane Pousa, Edson Borin, Fernando Magno Quintão Pereira:
Compiler support for selective page migration in NUMA architectures. PACT 2014: 369-380 - [c26]André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello:
Parameterized Construction of Program Representations for Sparse Dataflow Analyses. CC 2014: 18-39 - [c25]Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira:
Validation of memory accesses through symbolic analyses. OOPSLA 2014: 791-809 - [c24]Fernando Augusto Teixeira, Gustavo Vieira Machado, Pablo M. Fonseca, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira:
Defending Code from the Internet of Things against Buffer Overflow. SBRC 2014: 293-301 - [e1]Fernando Magno Quintão Pereira:
Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings. Lecture Notes in Computer Science 8771, Springer 2014, ISBN 978-3-319-11862-8 [contents] - [i1]André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello:
Parameterized Construction of Program Representations for Sparse Dataflow Analyses. CoRR abs/1403.5952 (2014) - 2013
- [j6]Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.:
Profiling divergences in GPU applications. Concurr. Comput. Pract. Exp. 25(6): 775-789 (2013) - [j5]Leonardo Luiz Padovani da Mata, Fernando Magno Quintão Pereira, Renato Ferreira:
Automatic parallelization of canonical loops. Sci. Comput. Program. 78(8): 1193-1206 (2013) - [j4]Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira:
Divergence analysis. ACM Trans. Program. Lang. Syst. 35(4): 13:1-13:36 (2013) - [c23]Igor Rafael de Assis Costa, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira:
Just-in-time value specialization. CGO 2013: 29:1-29:11 - [c22]Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira:
A fast and low-overhead technique to secure programs against integer overflows. CGO 2013: 33:1-33:11 - 2012
- [c21]Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira:
Divergence Analysis with Affine Constraints. SBAC-PAD 2012: 67-74 - [c20]Teo Milanez, Caroline Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira:
Data and Instruction Uniformity in Minimal Multi-threading. SBAC-PAD 2012: 270-277 - [c19]Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, Caroline Collange:
Spill Code Placement for SIMD Machines. SBLP 2012: 12-26 - [c18]Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira:
Speed and Precision in Range Analysis. SBLP 2012: 42-56 - [c17]Péricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, Eduardo Magno Lages Figueiredo
Parameter Based Constant Propagation. SBLP 2012: 57-71 - [c16]Bruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues, Britaldo Silveira Soares-Filho:
Optimizing a Geomodeling Domain Specific Language. SBLP 2012: 87-101 - 2011
- [c15]Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.:
Divergence Analysis and Optimizations. PACT 2011: 320-329 - [c14]Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha:
Dynamic Elimination of Overflow Tests in a Trace Compiler. CC 2011: 2-21 - [c13]Andrei Rimsa, Marcelo d'Amorim
Tainted Flow Analysis on e-SSA-Form Programs. CC 2011: 124-143 - [c12]André Luiz Camargos Tavares, Quentin Colombet, Mariza Andrade da Silva Bigonha, Christophe Guillon, Fernando Magno Quintão Pereira, Fabrice Rastello:
Decoupled graph-coloring register allocation with hierarchical aliasing. SCOPES 2011: 1-10 - 2010
- [c11]Fernando Magno Quintão Pereira, Jens Palsberg:
Punctual Coalescing. CC 2010: 165-184 - [c10]Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.:
Performance Debugging of GPGPU Applications with the Divergence Map. SBAC-PAD 2010: 33-40
2000 – 2009
- 2009
- [c9]Fernando Magno Quintão Pereira, Jens Palsberg:
SSA Elimination after Register Allocation. CC 2009: 158-173 - [c8]Fernando Magno Quintão Pereira, Daniel Berlin:
Wave Propagation and Deep Propagation for Pointer Analysis. CGO 2009: 126-135 - 2008
- [j3]Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira:
Aliased register allocation for straight-line programs is NP-complete. Theor. Comput. Sci. 407(1-3): 258-273 (2008) - [c7]Fernando Magno Quintão Pereira, Jens Palsberg:
Register allocation by puzzle solving. PLDI 2008: 216-226 - 2007
- [c6]Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira:
Aliased Register Allocation for Straight-Line Programs Is NP-Complete. ICALP 2007: 680-691 - [c5]V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg:
A Framework for End-to-End Verification and Evaluation of Register Allocators. SAS 2007: 153-169 - 2006
- [j2]Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente
Arcademis: a framework for object-oriented communication middleware development. Softw. Pract. Exp. 36(5): 495-512 (2006) - [c4]Fernando Magno Quintão Pereira, Jens Palsberg:
Register Allocation After Classical SSA Elimination is NP-Complete. FoSSaCS 2006: 79-93 - 2005
- [c3]Fernando Magno Quintão Pereira, Jens Palsberg:
Register Allocation Via Coloring of Chordal Graphs. APLAS 2005: 315-329 - 2004
- [j1]Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Wagner Salazar Pires, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha
Tactics for Remote Method Invocation. J. Univers. Comput. Sci. 10(7): 824-842 (2004) - 2003
- [c2]Marco Túlio de Oliveira Valente, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha
A Coordination Model for ad hoc Mobile Systems. Euro-Par 2003: 1074-1081 - [c1]Fernando Magno Quintão Pereira, Leonardo T. Rolla
The Language LinF for Fractal Specification. SIBGRAPI 2003: 67-74
Coauthor Index
Breno Campos Ferreira Guimarães
aka: Breno Guimarães
aka: Breno Guimarães
Leonardo B. Oliveira
aka: Leonardo Barbosa e Oliveira
aka: Leonardo Barbosa e Oliveira
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: