BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × India
1 × United Kingdom
6 × USA
Collaborated with:
P.Sadayappan L.Pouchet A.Darte F.Bouchez B.Boissinot S.Krishnamoorthy C.Guillon J.Ramanujam B.D.d.Dinechin F.M.Q.Pereira B.Diouf A.Cohen F.d.Ferrière Wenlei Bao T.Grosser J.Kim A.L.C.Tavares L.Domagala D.v.Amstel Changwan Hong V.Elango S.Hack D.Grund O.Beaumont V.Boudet A.Legrand Y.Robert P.Alves F.Gruber J.Doerfert A.Lamprineas K.Stock M.Kong S.Rajbhandari R.J.Harrison A.C.0001 Aravind Sukumaran-Rajam P.S.Rawat
Talks about:
program (4) ssa (4) complex (3) translat (2) regist (2) matrix (2) spill (2) optim (2) check (2) alloc (2)

Person: Fabrice Rastello

DBLP DBLP: Rastello:Fabrice

Contributed to:

OOPSLA 20152015
POPL 20152015
CC 20142014
PLDI 20142014
CGO 20132013
CGO 20092009
CGO 20082008
CGO 20072007
LCTES 20072007
CGO 20042004
PDP 20012001
CC 20162016
PLDI 20162016
POPL 20162016
PLDI 20182018

Wrote 16 papers:

OOPSLA-2015-AlvesGDLGRP #ambiguity #pointer #runtime
Runtime pointer disambiguation (PA, FG, JD, AL, TG, FR, FMQP), pp. 589–606.
POPL-2015-ElangoRPRS #complexity #data access #on the #source code
On Characterizing the Data Access Complexity of Programs (VE, FR, LNP, JR, PS), pp. 567–580.
CC-2014-TavaresBPR #analysis #data flow
Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.
PLDI-2014-StockKGPRRS #framework #order #reuse
A framework for enhancing data reuse via associative reordering (KS, MK, TG, LNP, FR, JR, PS), p. 10.
CGO-2013-DioufCR #heuristic #polynomial
A polynomial spilling heuristic: Layered allocation (BD, AC, FR), p. 10.
CGO-2009-BoissinotDRDG #correctness #performance #quality
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.
CGO-2008-BoissinotHGDR #liveness #performance #source code
Fast liveness checking for ssa-form programs (BB, SH, DG, BDdD, FR), pp. 35–44.
CGO-2007-BouchezDR #complexity #on the
On the Complexity of Register Coalescing (FB, AD, FR), pp. 102–114.
LCTES-2007-BouchezDR #complexity #on the
On the complexity of spill everywhere under SSA form (FB, AD, FR), pp. 103–112.
CGO-2004-RastelloFG #constraints #optimisation #using
Optimizing Translation Out of SSA Using Renaming Constraints (FR, FdF, CG), pp. 265–278.
PDP-2001-BeaumontBLRR #algorithm #approximate #clustering #multi
Heterogeneous Matrix-Matrix Multiplication or Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms (OB, VB, AL, FR, YR), pp. 298–305.
CC-2016-DomagalaARS #scheduling
Register allocation and promotion through combined instruction scheduling and loop unrolling (LD, DvA, FR, PS), pp. 143–151.
CC-2016-RajbhandariKKPR #on the #recursion #traversal
On fusing recursive traversals of K-d trees (SR, JK, SK, LNP, FR, RJH, PS), pp. 152–162.
PLDI-2016-HongB0KPRRS #array #effectiveness #multi
Effective padding of multidimensional arrays to avoid cache conflict misses (CH, WB, AC0, SK, LNP, FR, JR, PS), pp. 129–144.
POPL-2016-BaoKPRS #named #source code #verification
PolyCheck: dynamic verification of iteration space transformations on affine programs (WB, SK, LNP, FR, PS), pp. 539–554.
PLDI-2018-HongSKRKPRS #analysis #gpu #kernel #optimisation #using
GPU code optimization using abstract kernel emulation and sensitivity analysis (CH, ASR, JK, PSR, SK, LNP, FR, PS), pp. 736–751.

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.