Fernando Magno Quintão Pereira

	2013
j4		Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.: Profiling divergences in GPU applications. Concurrency and Computation: Practice and Experience 25(6): 775-789 (2013)
c23		Igor Rafael de Assis Costa, Péricles Rafael Oliveira Alves, Henrique Nazare Santos, Fernando Magno Quintão Pereira: Just-in-time value specialization. CGO 2013: 1-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: 1-11
	2012
c21		Diogo Sampaio, Rafael Martins, Sylvain Collange, Fernando Magno Quintão Pereira: Divergence Analysis with Affine Constraints. SBAC-PAD 2012: 67-74
c20		Teo Milanez, Sylvain 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, Sylvain 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 Lage 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, Fernando Magno Quintão Pereira: Tainted Flow Analysis on e-SSA-Form Programs. CC 2011: 124-143
c12		Andre 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
	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 Tulio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha: Arcademis: a framework for object-oriented communication middleware development. Softw., Pract. Exper. 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 Tulio de Oliveira Valente, Wagner Salazar Pires, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha: Tactics for Remote Method Invocation. J. UCS 10(7): 824-842 (2004)
	2003
c2		Marco Tulio 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, Cristiano G. Rezende, Rodrigo L. Carceroni: The Language LinF for Fractal Specification. SIBGRAPI 2003: 67-74

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 10:43:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page