ParFortran.bib

%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Gerry Murray",
%%%     version         = "1.2",
%%%     date            = "2 April 2012",
%%%     filename        = "acmsmall-sample-bibfile.bib",
%%%     address         = "ACM, NY",
%%%     email           = "murray at hq.acm.org",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "ACM Reference Format, bibliography, citation, references",
%%%     supported       = "yes",
%%%     docstring       = "This BibTeX database file contains 'bibdata' entries
%%%                        that 'match' the examples provided in the Specifications Document
%%%                        AND, also, 'legacy'-type bibs. It should assist authors in 
%%%                        choosing the 'correct' at-bibtype and necessary bib-fields
%%%                        so as to obtain the appropriate ACM Reference Format output. 
%%%			   It also contains many 'Standard Abbreviations'. "
%%%  }
%%% ====================================================================

% Journals

% First the Full Name is given, then the abbreviation used in the AMS Math
% Reviews, with an indication if it could not be found there.
% Note the 2nd overwrites the 1st, so swap them if you want the full name.

 %{AMS}
 @String{AMSTrans = "American Mathematical Society Translations" }
 @String{AMSTrans = "Amer. Math. Soc. Transl." }
 @String{BullAMS = "Bulletin of the American Mathematical Society" }
 @String{BullAMS = "Bull. Amer. Math. Soc." }
 @String{ProcAMS = "Proceedings of the American Mathematical Society" }
 @String{ProcAMS = "Proc. Amer. Math. Soc." }
 @String{TransAMS = "Transactions of the American Mathematical Society" }
 @String{TransAMS = "Trans. Amer. Math. Soc." }

 %ACM
 @String{CACM = "Communications of the {ACM}" }
 @String{CACM = "Commun. {ACM}" }
 @String{CompServ = "Comput. Surveys" }
 @String{JACM = "J. ACM" }
 @String{ACMMathSoft = "{ACM} Transactions on Mathematical Software" }
 @String{ACMMathSoft = "{ACM} Trans. Math. Software" }
 @String{SIGNUM = "{ACM} {SIGNUM} Newsletter" }
 @String{SIGNUM = "{ACM} {SIGNUM} Newslett." }

 @String{AmerSocio = "American Journal of Sociology" }
 @String{AmerStatAssoc = "Journal of the American Statistical Association" }
 @String{AmerStatAssoc = "J. Amer. Statist. Assoc." }
 @String{ApplMathComp = "Applied Mathematics and Computation" }
 @String{ApplMathComp = "Appl. Math. Comput." }
 @String{AmerMathMonthly = "American Mathematical Monthly" }
 @String{AmerMathMonthly = "Amer. Math. Monthly" }
 @String{BIT = "{BIT}" }
 @String{BritStatPsych = "British Journal of Mathematical and Statistical
          Psychology" }
 @String{BritStatPsych = "Brit. J. Math. Statist. Psych." }
 @String{CanMathBull = "Canadian Mathematical Bulletin" }
 @String{CanMathBull = "Canad. Math. Bull." }
 @String{CompApplMath = "Journal of Computational and Applied Mathematics" }
 @String{CompApplMath = "J. Comput. Appl. Math." }
 @String{CompPhys = "Journal of Computational Physics" }
 @String{CompPhys = "J. Comput. Phys." }
 @String{CompStruct = "Computers and Structures" }
 @String{CompStruct = "Comput. \& Structures" }
 @String{CompJour = "The Computer Journal" }
 @String{CompJour = "Comput. J." }
 @String{CompSysSci = "Journal of Computer and System Sciences" }
 @String{CompSysSci = "J. Comput. System Sci." }
 @String{Computing = "Computing" }
 @String{ContempMath = "Contemporary Mathematics" }
 @String{ContempMath = "Contemp. Math." }
 @String{Crelle = "Crelle's Journal" }
 @String{GiornaleMath = "Giornale di Mathematiche" }
 @String{GiornaleMath = "Giorn. Mat." } % didn't find in AMS MR., ibid.

 %IEEE
 @String{Computer = "{IEEE} Computer" }
 @String{IEEETransComp = "{IEEE} Transactions on Computers" }
 @String{IEEETransComp = "{IEEE} Trans. Comput." }
 @String{IEEETransAC = "{IEEE} Transactions on Automatic Control" }
 @String{IEEETransAC = "{IEEE} Trans. Automat. Control" }
 @String{IEEESpec = "{IEEE} Spectrum" } % didn't find in AMS MR
 @String{ProcIEEE = "Proceedings of the {IEEE}" }
 @String{ProcIEEE = "Proc. {IEEE}" } % didn't find in AMS MR
 @String{IEEETransAeroElec = "{IEEE} Transactions on Aerospace and Electronic
     Systems" }
 @String{IEEETransAeroElec = "{IEEE} Trans. Aerospace Electron. Systems" }

 @String{IMANumerAna = "{IMA} Journal of Numerical Analysis" }
 @String{IMANumerAna = "{IMA} J. Numer. Anal." }
 @String{InfProcLet = "Information Processing Letters" }
 @String{InfProcLet = "Inform. Process. Lett." }
 @String{InstMathApp = "Journal of the Institute of Mathematics and
     its Applications" }
 @String{InstMathApp = "J. Inst. Math. Appl." }
 @String{IntControl = "International Journal of Control" }
 @String{IntControl = "Internat. J. Control" }
 @String{IntNumerEng = "International Journal for Numerical Methods in
     Engineering" }
 @String{IntNumerEng = "Internat. J. Numer. Methods Engrg." }
 @String{IntSuper = "International Journal of Supercomputing Applications" }
 @String{IntSuper = "Internat. J. Supercomputing Applic." } % didn't find
%% in AMS MR
 @String{Kibernetika = "Kibernetika" }
 @String{JResNatBurStand = "Journal of Research of the National Bureau
     of Standards" }
 @String{JResNatBurStand = "J. Res. Nat. Bur. Standards" }
 @String{LinAlgApp = "Linear Algebra and its Applications" }
 @String{LinAlgApp = "Linear Algebra Appl." }
 @String{MathAnaAppl = "Journal of Mathematical Analysis and Applications" }
 @String{MathAnaAppl = "J. Math. Anal. Appl." }
 @String{MathAnnalen = "Mathematische Annalen" }
 @String{MathAnnalen = "Math. Ann." }
 @String{MathPhys = "Journal of Mathematical Physics" }
 @String{MathPhys = "J. Math. Phys." }
 @String{MathComp = "Mathematics of Computation" }
 @String{MathComp = "Math. Comp." }
 @String{MathScand = "Mathematica Scandinavica" }
 @String{MathScand = "Math. Scand." }
 @String{TablesAidsComp = "Mathematical Tables and Other Aids to Computation" }
 @String{TablesAidsComp = "Math. Tables Aids Comput." }
 @String{NumerMath = "Numerische Mathematik" }
 @String{NumerMath = "Numer. Math." }
 @String{PacificMath = "Pacific Journal of Mathematics" }
 @String{PacificMath = "Pacific J. Math." }
 @String{ParDistComp = "Journal of Parallel and Distributed Computing" }
 @String{ParDistComp = "J. Parallel and Distrib. Comput." } % didn't find
%% in AMS MR
 @String{ParComputing = "Parallel Computing" }
 @String{ParComputing = "Parallel Comput." }
 @String{PhilMag = "Philosophical Magazine" }
 @String{PhilMag = "Philos. Mag." }
 @String{ProcNAS = "Proceedings of the National Academy of Sciences
                    of the USA" }
 @String{ProcNAS = "Proc. Nat. Acad. Sci. U. S. A." }
 @String{Psychometrika = "Psychometrika" }
 @String{QuartMath = "Quarterly Journal of Mathematics, Oxford, Series (2)" }
 @String{QuartMath = "Quart. J. Math. Oxford Ser. (2)" }
 @String{QuartApplMath = "Quarterly of Applied Mathematics" }
 @String{QuartApplMath = "Quart. Appl. Math." }
 @String{RevueInstStat = "Review of the International Statisical Institute" }
 @String{RevueInstStat = "Rev. Inst. Internat. Statist." }

 %SIAM
 @String{JSIAM = "Journal of the Society for Industrial and Applied
     Mathematics" }
 @String{JSIAM = "J. Soc. Indust. Appl. Math." }
 @String{JSIAMB = "Journal of the Society for Industrial and Applied
     Mathematics, Series B, Numerical Analysis" }
 @String{JSIAMB = "J. Soc. Indust. Appl. Math. Ser. B Numer. Anal." }
 @String{SIAMAlgMeth = "{SIAM} Journal on Algebraic and Discrete Methods" }
 @String{SIAMAlgMeth = "{SIAM} J. Algebraic Discrete Methods" }
 @String{SIAMAppMath = "{SIAM} Journal on Applied Mathematics" }
 @String{SIAMAppMath = "{SIAM} J. Appl. Math." }
 @String{SIAMComp = "{SIAM} Journal on Computing" }
 @String{SIAMComp = "{SIAM} J. Comput." }
 @String{SIAMMatrix = "{SIAM} Journal on Matrix Analysis and Applications" }
 @String{SIAMMatrix = "{SIAM} J. Matrix Anal. Appl." }
 @String{SIAMNumAnal = "{SIAM} Journal on Numerical Analysis" }
 @String{SIAMNumAnal = "{SIAM} J. Numer. Anal." }
 @String{SIAMReview = "{SIAM} Review" }
 @String{SIAMReview = "{SIAM} Rev." }
 @String{SIAMSciStat = "{SIAM} Journal on Scientific and Statistical
     Computing" }
 @String{SIAMSciStat = "{SIAM} J. Sci. Statist. Comput." }

 @String{SoftPracExp = "Software Practice and Experience" }
 @String{SoftPracExp = "Software Prac. Experience" } % didn't find in AMS MR
 @String{StatScience = "Statistical Science" }
 @String{StatScience = "Statist. Sci." }
 @String{Techno = "Technometrics" }
 @String{USSRCompMathPhys = "{USSR} Computational Mathematics and Mathematical
     Physics" }
 @String{USSRCompMathPhys = "{U. S. S. R.} Comput. Math. and Math. Phys." }
 @String{VLSICompSys = "Journal of {VLSI} and Computer Systems" }
 @String{VLSICompSys = "J. {VLSI} Comput. Syst." }
 @String{ZAngewMathMech = "Zeitschrift fur Angewandte Mathematik und
     Mechanik" }
 @String{ZAngewMathMech = "Z. Angew. Math. Mech." }
 @String{ZAngewMathPhys = "Zeitschrift fur Angewandte Mathematik und Physik" }
 @String{ZAngewMathPhys = "Z. Angew. Math. Phys." }

% Publishers % ================================================= |

 @String{Academic = "Academic Press" }
 @String{ACMPress = "{ACM} Press" }
 @String{AdamHilger = "Adam Hilger" }
 @String{AddisonWesley = "Addison-Wesley" }
 @String{AllynBacon = "Allyn and Bacon" }
 @String{AMS = "American Mathematical Society" }
 @String{Birkhauser = "Birkha{\"u}ser" }
 @String{CambridgePress = "Cambridge University Press" }
 @String{Chelsea = "Chelsea" }
 @String{ClaredonPress = "Claredon Press" }
 @String{DoverPub = "Dover Publications" }
 @String{Eyolles = "Eyolles" }
 @String{HoltRinehartWinston = "Holt, Rinehart and Winston" }
 @String{Interscience = "Interscience" }
 @String{JohnsHopkinsPress = "The Johns Hopkins University Press" }
 @String{JohnWileySons = "John Wiley and Sons" }
 @String{Macmillan = "Macmillan" }
 @String{MathWorks = "The Math Works Inc." }
 @String{McGrawHill = "McGraw-Hill" }
 @String{NatBurStd = "National Bureau of Standards" }
 @String{NorthHolland = "North-Holland" }
 @String{OxfordPress = "Oxford University Press" }  %address Oxford or London?
 @String{PergamonPress = "Pergamon Press" }
 @String{PlenumPress = "Plenum Press" }
 @String{PrenticeHall = "Prentice-Hall" }
 @String{SIAMPub = "{SIAM} Publications" }
 @String{Springer = "Springer-Verlag" }
 @String{TexasPress = "University of Texas Press" }
 @String{VanNostrand = "Van Nostrand" }
 @String{WHFreeman = "W. H. Freeman and Co." }

%Entries

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% COMPILER TECHNIQUES FOR EXTRACTING PARALLELISM %%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@BOOK{OptCompModernArch,
	AUTHOR = {Randy Allen and Ken Kennedy},
        TITLE = "{O}ptimizing {C}ompilers for {M}odern {A}rchitectures",
	PUBLISHER = "Morgan Kaufmann",
        PAGES = {790},
        ISBN = {1-55860-286-0},
	YEAR = "2002"
}

@ARTICLE{Pugh92theomega,
    author = {William Pugh},
    title = {{T}he {O}mega {T}est: a {F}ast and {P}ractical {I}nteger {P}rogramming {A}lgorithm for {D}ependence {A}nalysis},
    journal = {Communications of the ACM},
    year = {1992},
    volume = {8},
    pages = {4--13}
}

@ARTICLE{FeautrierParInt,
    author = {Paul Feautrier},
    title = {{P}arametric {I}nteger {P}rogramming},
    journal = {Operations Research},
    pages = {243--268},
    volume = {22(3)},
    year = {1988}
}

@ARTICLE{FeautrierDataflow,
    author = {Paul Feautrier},
    title = {{D}ataflow {A}nalysis of {A}rray and {S}calar {R}eferences},
    journal = {International Journal of Parallel Programming},
    pages = {23--54},
    volume = {20(1)},
    year = {1991}
}

@INPROCEEDINGS{Blume94symbolicrange,
    author = {William Blume and Rudolf Eigenmann},
    title = {{S}ymbolic {R}ange {P}ropagation},
    booktitle = {Proceedings of the 9th International Parallel Processing Symposium},
    year = {1994},
    pages = {357--363}
}

@INPROCEEDINGS{Blume95symbolicrange,
    author = {William Blume and Rudolf Eigenmann},
    title = {{D}emand-{D}riven, {S}ymbolic {R}ange {P}ropagation},
    booktitleOPT = {In Proceedings of the 8th Workshop on Languages and Compilers for Parallel Computing},
    booktitle = {Int. Lang. Comp. Par. Comp. (LCPC)},
    year = {1995},
    pages = {141--160},
    publisherOPT = {Springer Verlag}
}

@INPROCEEDINGS{Blume94RangeTest,
    author = {William Blume and Rudolf Eigenmann},
    title =  {The {R}ange {T}est: {A} {D}ependence {T}est for {S}ymbolic, {N}on-{L}inear {E}xpressions},
    booktitle = {Procs. Int. Conf. on Supercomp},
    year = {1994},
    pages = {528--537}
}

@ARTICLE{Blume92PerfectCodesEval,
    author = {William Blume and Rudolf Eigenmann},
    title = {Performance {A}nalysis of {P}arallelizing {C}ompilers on the {P}erfect {B}enchmarks {P}rograms},
    journalOPT = {IEEE Transactions on Parallel and Distributed Systems},
    journal = {IEEE Tran. Par. Distr. Sys.},
    year = {1992},
    volume = {3},
    pages = {643--656}
}

@ARTICLE{HoeflingerDepTest,
    author = {Jay Hoeflinger and Yunheung Paek and Kwang Yi},
    title = {Unified {I}nterprocedural {P}arallelism {D}etection},
    journal = {International Journal of Parallel Programming},
    pages = {185--215},
    volume = {29(2)},
    DOIopt = {doi>10.1023/A:1007685003043},
    year = {2001}
}


@BOOK{PhDHoeflinger,
	AUTHOR = {Jay Hoeflinger},
        TITLE = "Interprocedural Parallelization Using memory classification analysis",
	PUBLISHER = "Ph.D. Thesis, University of Illinois at Urbana-Champaign Champaign",
        ISBN = {0-599-10583-6},
	YEAR = "1998"
}

@ARTICLE{LMAD,
    author = {Yunheung Paek and Jay Hoeflinger and David Padua},
    title = {Efficient and {P}recise {A}rray {A}ccess {A}nalysis},
    journal = {ACM Transactions on Programming Languages and Systems},
    pages = {65--109},
    volume = {24(1)},
    year = {2002}
}


@inproceedings{PaduaDemDrInterproc,
 author = {Lin, Yuan and Padua, David},
 title = {Compiler {A}nalysis of {I}rregular {M}emory {A}ccesses},
 booktitle = {Int. Prg. Lang. Design Implem. (PLDI)},
 seriesOPT = {PLDI '00},
 year = {2000},
 isbnOPT = {1-58113-199-2},
 locationOPT = {Vancouver, British Columbia, Canada},
 pages = {157--168},
 numpagesOPT = {12},
 urlOPT = {http://doi.acm.org/10.1145/349299.349322},
 doiOPT = {10.1145/349299.349322},
 acmidOPT = {349322},
 publisherOPT = {ACM},
 addressOPT = {New York, NY, USA},
} 

@INPROCEEDINGS{PaduaDemDrInterprocLCPC,
    author = {Yuan Lin and David Padua},
    title = {Demand-{D}riven {I}nterprocedural {A}rray {P}roperty {A}nalysis},
    booktitle = {Int. Lang. Comp. Par. Comp. (LCPC)},
    year = {1999},
    publisherOPT = {Springer-Verlag},
    pages = {303--317}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% CONDITIONAL INDUCTION VARIABLES %%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@INPROCEEDINGS{PaduaStackArr,
    author = {Yuan Lin and David Padua},
    title = {Analysis of {I}rregular {S}ingle-{I}ndexed {A}rrays and its {A}pplications in {C}ompiler {O}ptimizations},
    booktitle = {Compiler Construction (CC)},
    publisherOPT = {Springer-Verlag},
    year = {2000},
    pages = {202--218}
}

@INPROCEEDINGS{Pugh95NonlinPresbArith,
    author = {William Pugh and David Wonnacott},
    title = {Nonlinear {A}rray {D}ependence {A}nalysis },
    booktitle = {Proc. of Workshop on Lang. Comp. and Run-Time Support for Scallable Systems},
    year = {1995}
}

@ARTICLE{Pugh98NonlinPresb,
    author = {William Pugh and David Wonnacott},
    title = {Constraint-{B}ased {A}rray {D}ependence {A}nalysis},
    journal = {Trans. on Prog. Lang. and Sys. (TOPLAS)},
    pages = {635--678},
    volume = {20(3)},
    year = {1998}
}


@ARTICLE{SUIF,
    author = {Mary W. Hall and Saman P. Amarasinghe and Brian R. Murphy and Shih-Wei Liao and Monica S. Lam},
    title = {Interprocedural {P}arallelization {A}nalysis in {SUIF}},
    journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
    journalOPT = {Tran.~on~Prog.~Lang.~and~Sys.},
    pages = {662--731},
    volume = {27(4)},
    DOIopt = {doi>10.1145/1075382.1075385},
    year = {2005}
}

@INPROCEEDINGS{Moon99PredArrDataFlow,
    author = {Sungdo Moon and Mary W. Hall},
    title = {Evaluation of {P}redicated {A}rray {D}ata-{F}low {A}nalysis for {A}utomatic {P}arallelization},
    booktitleOPT = {Proceedings of Principles and Practice of Parallel Programming (PPoPP)},
    booktitle = {Princ.~Pract.~of~Par.~Prog. PPoPP},
    year = {1999},
    pages = {84--95}
}


@ARTICLE{BanerjeeIneqTest,
    author = {U. Banerjee},
    title = {Speedup of {O}rdinary {P}rograms},
    journal = {Ph.D. Thesis, Dept. of Comp. Sci. Univ. of Illinois at Urbana-Champaign},
    volume = {Report No. 79-989},
    year = {1988}
}

@ARTICLE{HybAn,
    author = {Silvius Rus and Jay Hoeflinger and Lawrence Rauchwerger},
    title = {Hybrid Analysis: Static \& Dynamic Memory Reference Analysis},
    journalopt = {International Journal of Parallel Programming},
    journal = {Int. Journal of Parallel Programming},
    pages = {251--283},
    volume = {31(3)},
    DOIopt = {doi>10.1145/1075382.1075385},
    year = {2003}
}


@INPROCEEDINGS{SensAn,
    author = {Silvius Rus and Maikel Pennings and Lawrence Rauchwerger},
    title = {Sensitivity {A}nalysis for {A}utomatic {P}arallelization on {M}ulti-{C}ores},
    booktitle = {Procs. Int. Conf. on Supercomp},
    year = {2007},
    pages = {263--273}
}

@INPROCEEDINGS{VEG,
    author = {Silvius Rus and Dongmin Zhang and Lawrence Rauchwerger},
    titleOPT = {The {V}alue {E}volution {G}raph and its {U}se in {M}emory {R}eference {A}nalysis.},
    title = {{V}alue {E}volution {G}raph and its {U}se in {M}emory {R}eference {A}nalysis.},
    booktitleOPT = {Proceedings of International Conference on Parallel Architectures and Compilation Techniques (PACT)},
    booktitle = {Int.~Par.~Arch.~Comp.~Tech. (PACT)},
    year = {2004},
    pages = {243--254}
}

@INPROCEEDINGS{LRPDopt,
    author = { Hao Yu and Lawrence Rauchwerger },
    title =  { {T}echniques for {R}educing the {O}verhead of {R}un-{T}ime {P}arallelization},
    booktitle = {Procs. Int. Conf. on Compiler Construction},
    year = {2000},
    pages = {232--248}
}

@INPROCEEDINGS{CompactCDG,
    author = {Ron Cytron and Jeanne Ferrante and Vivek Sarkar},
    title = {Compact Representation for Control Dependence},
    booktitle = {Proceedings of International Conference on Programming Languages and Design Implementation (PLDI)},
    year = {1990},
    pages = {337--351}
}

@INPROCEEDINGS{ArrRegOverestim,
    author = {Beatrice Creusillet and Francois Irigoin},
    title = {Exact vs. {A}pproximate {A}rray {R}egion {A}nalysis},
    booktitle = {Proceedings of International Workshop on Languages and Compilers for Parallel Computing},
    year = {1996},
    pages = {86--100},
    publisher = "LNCS",
    volume = 1239
}

@INPROCEEDINGS{Engelen04aunified,
    author = {Robert A. Van Engelen},
    title = {A {U}nified {F}ramework for {N}onlinear {D}ependence {T}esting and {S}ymbolic {A}nalysis},
    booktitle = {Procs. Int. Conf. on Supercomputing},
    year = {2004},
    pages = {106--115}
}

@ARTICLE{Fahringer97EffSymb,
    author = {Thomas Fahringer},
    title = {Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators},
    journal = {Journal of Supercomputing},
    year = {1997},
    volume = {12},
    pages = {227--252}
}

@ARTICLE{InspExecWave,
    author = {Lawrence Rauchwerger and Nancy M. Amato and David A. Padua},
    title = {A Scalable Method for Run-Time Loop Parallelization},
    journal = {International Journal of Parallel Programming},
    year = {1995},
    volume = {26},
    pages = {26--6}
}

@ARTICLE{Berry88theperfect,
    author = {M. Berry and D. Chen and P. Koss and D. Kuck and S. Lo and Y. Pang and L. Pointer and R. Roloff and A. Sameh and E. Clementi and S. Chin and D. Schneider and G. Fox and P. Messina and D. Walker and C. Hsiung and J. Schwarzmeier and K. Lue and S. Orszag and F. Seidl and O. Johnson and R. Goodrum},
    title = {The {PERFECT} {C}lub {B}enchmarks: {E}ffective {P}erformance {E}valuation of {S}upercomputers},
    journal = {International Journal of Supercomputer Applications},
    year = {1988},
    volume = {3},
    pages = {5--40}
}

@INPROCEEDINGS{CohenBeyondMon,
    author = {Peng Wu and Albert Cohen and David Padua},
    title = {Induction {V}ariable {A}nalysis {W}ithout {I}diom {R}ecognition: {B}eyond {M}onotonicity},
    booktitle = {Int. Lang. Comp. Par. Comp.},
    booktitleOPT = {LCPC}, 
    year = {2001},
    pages = {427-441}
}


@INPROCEEDINGS{CohenMon,
    author = {Peng Wu and Albert Cohen and David Padua and Jay Hoeflinger},
    title = {Monotonic {E}volution: {A}n {A}lternative to {I}nduction {V}ariable {S}ubstitution for {D}ependence {A}nalysis},
    booktitle = {Procs. Int. Conf. on Supercomputing},
    year = {2001},
    pages = {78-91}
}

@INPROCEEDINGS{GatedSSA,
    author = {Peng Tu and David Padua},
    title = {Gated {SSA}-{B}ased {D}emand-{D}riven {S}ymbolic {A}nalysis for {P}arallelizing {C}ompilers},
    booktitle = {Procs. Int. Conf. on Supercomputing},
    year = {1995},
    pages = {414-423}
}


@ARTICLE{SeqVars,
    author = {Michael P. Gerlek and Eric Stoltz and Michael Wolfe},
    title = {Beyond {I}nduction {V}ariables: {D}etecting and {C}lassifying {S}equences {U}sing a {D}emand-{D}riven {SSA} {F}orm},
    journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
    year = {1995},
    volume = {17},
    pages = {85-122}
}

@ARTICLE{MonStmt,
    author = {Madalene Spezialetti and Rajiv Gupta},
    title = {Loop {M}onotonic {S}tatements},
    journal = {IEEE Transactions on Software Engineering},
    year = {1995},
    volume = {21(6)},
    pages = {497-505}
}

@TECHREPORT{EigenmanIndVarClosed,
    author = {Bill Pottenger and Rudolf Eigenmann},
    title = {Parallelization in the {P}resence of {G}eneralized {I}nduction and {R}eduction {V}ariables},
    institution = {In ACM Int. Conf. on Supercomputing (ICS’95},
    year = {1995}
}

@INPROCEEDINGS{SummaryMonot,
    author = {Cosmin E. Oancea and Lawrence Rauchwerger},
    title = {A {H}ybrid {A}pproach to {P}roving {M}emory {R}eference {M}onotonicity},
    booktitle = {Int. Lang. Comp. Par. Comp. (LCPC) },
    year = {2011},
    pagesopt = {106-115}
}


@INPROCEEDINGS{CosPLDI,
    author = {Cosmin E. Oancea and Lawrence Rauchwerger},
    title = {Logical {I}nference {T}echniques for {L}oop {P}arallelization},
    booktitle = {Int. Conf. Prog. Lang. Design and Impl. (PLDI)},
    year = {2012}
}

@techreport{Treecode,
 author = {Joshua Edward},
 title = {http://www.ifa.hawaii.edu/~barnes/ftp/treecode/}
}
%Joshua Edward. http://www.ifa.hawaii.edu/~barnes/ftp/treecode/. Technical Report.

@INPROCEEDINGS{LexiFiPricing,
    author = {Cosmin Oancea and Christian Andreetta and Jost Berthold and Alain Frisch and Fritz Henglein},
    title = {Financial {S}oftware on {GPU}s: between {H}askell and {F}ortran},
    booktitle = {Funct. High-Perf. Comp. (FHPC'12)},
    yearOPT = {2012}
}


%\bibitem[Pouchet et~al.(2011)Pouchet, Bondhugula, Bastoul, Cohen, Ramanujam, Sadayappan, and Vasilache]{PolyhedralOpt}
@inproceedings{PolyhedralOpt,
 authorOPT = {Pouchet, Louis-No\"{e}l and Bondhugula, Uday and Bastoul, C{\'e}dric and Cohen, Albert and Ramanujam, J. and Sadayappan, P. and Vasilache, Nicolas},
 author = {Pouchet, Louis-No\"{e}l and et~al.},
 title = {Loop {T}ransformations: {C}onvexity, {P}runing and {O}ptimization},
 booktitle = {Int. Conf. Princ. of Prog. Lang. (POPL)},
 year = {2011},
 isbnOPT = {978-1-4503-0490-0},
 locationOPT = {Austin, Texas, USA},
 pages = {549--562},
 numpagesOPT = {14},
 urlOPT = {http://doi.acm.org/10.1145/1926385.1926449},
 doiOPT = {10.1145/1926385.1926449},
 acmidOPT = {1926449},
 publisherOPT = {ACM},
 addressOPT = {New York, NY, USA},
 keywordsOPT = {affine scheduling, compilation, compiler optimization, loop transformations, parallelism},
}