Travelled to:1 × Austria
1 × China
1 × Cyprus
1 × Denmark
1 × France
1 × Germany
1 × Poland
1 × United Kingdom
4 × USA
Collaborated with:J.Palsberg V.H.S.Campos P.R.O.Alves H.N.Santos D.Berlin F.Rastello R.E.Rodrigues A.Rimsa M.d'Amorim J.K.Lee V.K.Nandivada B.Rodrigues D.F.Aranha A.L.C.Tavares B.Boissinot I.R.d.A.Costa R.Sol C.Guillon M.A.d.S.Bigonha Gabriel Poesia Breno Campos Ferreira Guimarães Fabricio Ferracioli Marcos Yukio Siraichi Vinícius Fernandes dos Santos Caroline Collange Leandro T. C. Melo Rodrigo Geraldo Ribeiro Marcus R. de Araújo H.Nazaré I.Maffra W.Santos L.Barbosa L.Gonnord P.Alves F.Gruber J.Doerfert A.Lamprineas T.Grosser
Talks about:alloc (6) program (5) regist (5) elimin (3) ssa (3) represent (2) overflow (2) pointer (2) complet (2) analysi (2)
Person: Fernando Magno Quintão Pereira
DBLP: Pereira:Fernando_Magno_Quint=atilde=o
Contributed to:
2015
20142014
20132011201020092009
2008
2007
2007
2006201620172019
2018Wrote 19 papers:
- OOPSLA-2015-AlvesGDLGRP #ambiguity #pointer #runtime
- Runtime pointer disambiguation (PA, FG, JD, AL, TG, FR, FMQP), pp. 589–606.
- CC-2014-TavaresBPR #analysis #data flow
- Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.
- OOPSLA-2014-NazareMSBGP #analysis #memory management #validation
- Validation of memory accesses through symbolic analyses (HN, IM, WS, LB, LG, FMQP), pp. 791–809.
- CGO-2013-CostaASP
- Just-in-time value specialization (IRdAC, PROA, HNS, FMQP), p. 11.
- CGO-2013-RodriguesCP #integer #performance #source code
- A fast and low-overhead technique to secure programs against integer overflows (RER, VHSC, FMQP), p. 11.
- CC-2011-RimsadP #analysis #source code
- Tainted Flow Analysis on e-SSA-Form Programs (AR, Md, FMQP), pp. 124–143.
- CC-2011-SolGPB #compilation #testing
- Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.
- CC-2010-PereiraP
- Punctual Coalescing (FMQP, JP), pp. 165–184.
- CC-2009-PereiraP
- SSA Elimination after Register Allocation (FMQP, JP), pp. 158–173.
- CGO-2009-PereiraB #analysis #pointer
- Wave Propagation and Deep Propagation for Pointer Analysis (FMQP, DB), pp. 126–135.
- PLDI-2008-PereiraP
- Register allocation by puzzle solving (FMQP, JP), pp. 216–226.
- ICALP-2007-LeePP #alias #source code
- Aliased Register Allocation for Straight-Line Programs Is NP-Complete (JKL, JP, FMQP), pp. 680–691.
- SAS-2007-NandivadaPP #evaluation #framework #verification
- A Framework for End-to-End Verification and Evaluation of Register Allocators (VKN, FMQP, JP), pp. 153–169.
- FoSSaCS-2006-PereiraP
- Register Allocation After Classical SSA Elimination is NP-Complete (FMQP, JP), pp. 79–93.
- CC-2016-CamposASP #strict
- Restrictification of function arguments (VHSC, PROA, HNS, FMQP), pp. 163–173.
- CC-2016-RodriguesPA #detection #representation
- Sparse representation of implicit flows with applications to side-channel detection (BR, FMQP, DFA), pp. 110–120.
- OOPSLA-2017-PoesiaGFP
- Static placement of computation on heterogeneous devices (GP, BCFG, FF, FMQP), p. 28.
- OOPSLA-2019-SiraichiSCP #morphism #quantum
- Qubit allocation as a combination of subgraph isomorphism and token swapping (MYS, VFdS, CC, FMQP), p. 29.
- POPL-2018-MeloRAP #c #semantics #source code
- Inference of static semantics for incomplete C programs (LTCM, RGR, MRdA, FMQP), p. 28.