BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pereira:Fernando_Magno_Quint=atilde=o

Contributed to:

OOPSLA 20152015
CC 20142014
OOPSLA 20142014
CGO 20132013
CC 20112011
CC 20102010
CC 20092009
CGO 20092009
PLDI 20082008
ICALP 20072007
SAS 20072007
FoSSaCS 20062006
CC 20162016
OOPSLA 20172017
OOPSLA 20192019
POPL 20182018

Wrote 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.
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.
Punctual Coalescing (FMQP, JP), pp. 165–184.
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.
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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.