refs.bib

%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Jiahao Chen at 2014-05-14 22:06:16 -0400 


%% Saved with string encoding Unicode (UTF-8) 



@article{Joisha:2006aa,
	Author = {Joisha, Pramod G. and Banerjee, Prithviraj},
	Doi = {10.1145/1152649.1152651},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Keywords = {Typeless array languages, shape algebras, term rewriting},
	Month = sep,
	Number = {5},
	Pages = {848--907},
	Title = {An Algebraic Array Shape Inference System for {MATLAB}},
	Volume = {28},
	Year = {2006},
}

@url{issue5949,
	Author = {Tim E Holy},
	Title = {Drop dimensions indexed with a scalar?},
	Url = {https://github.com/JuliaLang/julia/issues/5949},
	Urldate = {2014}}

@article{Walt:2011np,
	Author = {van der Walt, Stéfan and Colbert, S. Chris and Varoquaux, Gaël},
	Doi = {10.1109/MCSE.2011.37},
	Journal = {Computing in Science \& Engineering},
	Number = {2},
	Pages = {22-30},
	Title = {The {NumPy} Array: A Structure for Efficient Numerical Computation},
	Volume = {13},
	Year = {2011},
}

@article{Grelck:2006sa,
	Author = {Grelck, Clemens and Scholz, Sven-Bodo},
	Doi = {10.1007/s10766-006-0018-x},
	Issn = {0885-7458},
	Journal = {International Journal of Parallel Programming},
	Keywords = {Compiler optimisation; data parallel programming; multi-threading; Single Assignment C},
	Language = {English},
	Number = {4},
	Pages = {383-427},
	Publisher = {Springer US},
	Title = {{SAC}: A Functional Array Language for Efficient Multi-threaded Execution},
	Volume = {34},
	Year = {2006},
}

@article{Scholz:2003sa,
	Address = {New York, NY, USA},
	Author = {Scholz, Sven-Bodo},
	Doi = {10.1017/S0956796802004458},
	Journal = {Journal of Functional Programming},
	Number = {6},
	Numpages = {55},
	Pages = {1005--1059},
	Publisher = {Cambridge University Press},
	Title = {{S}ingle {A}ssignment {C}: Efficient Support for High-level Array Operations in a Functional Setting},
	Volume = {13},
	Year = {2003},
}

@webpage{Lin:2014av,
	Author = {Dahua Lin},
	Url = {https://github.com/lindahua/ArrayViews.jl},
}

@inproceedings{Ancona:2007rs,
	Author = {Davide Ancona and Massimo Ancona and Antonio Cuni and Nicholas D. Matsakis},
	Booktitle = {Proceedings of the 2007 Symposium on Dynamic Languages},
	Pages = {53-64},
	Publisher = {ACM},
	Series = {DLS},
	Title = {{RPython}: a Step Towards Reconciling Dynamically and Statically Typed OO Languages ∗},
	Year = {2007}}

@inproceedings{Rubinsteyn:2012pj,
	Address = {Berkeley, CA},
	Author = {Alex Rubinsteyn and Eric Hielscher and Nathaniel Weinman and Dennis Shasha},
	Booktitle = {Presented as part of the 4th USENIX Workshop on Hot Topics in Parallelism},
	Location = {Berkeley, CA},
	Publisher = {USENIX},
	Title = {Parakeet: A Just-In-Time Parallel Accelerator for Python},
	Url = {https://www.usenix.org/conference/hotpar12/parakeet-just-time-parallel-accelerator-python},
	Year = {2012},
}

@inproceedings{Aycock:2000at,
	Author = {J Aycock},
	Booktitle = {Proceedings of the 8th International Python Conference},
	Pages = {11-20},
	Title = {Aggressive Type Inference},
	Year = {2000}}

@mastersthesis{Cannon:2005lt,
	Author = {Brett Cannon},
	School = {California Polytechnic State University at San Luis Obispo},
	Title = {Localized Type Inference of Atomic Types in Python},
	Year = {2005}}

@unpublished{Tu:2012md,
	Annote = {Machine learning approach to approximate type inference},
	Author = {Stephen Tu},
	Month = {December},
	Note = {MIT 6.867 Fall 2012 Final Project},
	Title = {{MINO}: Data-driven type inference for Python},
	Url = {http://people.csail.mit.edu/stephentu/papers/mino.pdf},
	Year = {2012},
}

@unpublished{Bezanson:2012jf,
	Author = {Jeff Bezanson and Stefan Karpinski and Viral B. Shah and Alan Edelman},
	Note = {arXiv:1209.5145v1},
	Title = {Julia: A Fast Dynamic Language for Technical Computing},
	Year = {2012}}

@webpage{Fischer:2014si,
	Author = {Keno Fischer},
	Url = {https://github.com/loladiro/SIUnits.jl},
}

@unpublished{Verlaguet:2014hn,
	Author = {Julien Verlaguet and Alok Menghrajani},
	Month = {March},
	Title = {Hack: a new programming language for {HHVM}},
	Url = {http://code.facebook.com/posts/264544830379293},
	Year = {2014},
}

@inproceedings{Lippmeier:2011ep,
	Address = {New York, NY, USA},
	Annote = {Repa2},
	Author = {Lippmeier, Ben and Keller, Gabriele},
	Booktitle = {Proceedings of the 4th ACM Symposium on Haskell},
	Doi = {10.1145/2034675.2034684},
	Pages = {59-70},
	Publisher = {ACM},
	Series = {Haskell '11},
	Title = {Efficient Parallel Stencil Convolution in {Haskell}},
	Year = {2011},
}

@inproceedings{Lippmeier:2012gp,
	Address = {New York},
	Annote = {Repa3},
	Author = {Ben Lippmeier and Manuel M. T. Chakravarty and Gabriele Keller and Peyton Jones, Simon},
	Booktitle = {Haskell '12 Proceedings of the 2012 Haskell Symposium},
	Doi = {10.1145/2364506.2364511},
	Pages = {25-36},
	Publisher = {ACM},
	Title = {Guiding Parallel Array Fusion with Indexed Types},
	Year = {2012},
}

@inproceedings{Eaton:2001op,
	Address = {Vienna},
	Author = {John W Eaton},
	Booktitle = {DSC 2001 Proceedings of the 2nd International Workshop on Distributed statistical Cpmputing},
	Editor = {K Hornik and F Leisch},
	Title = {Octave: Past, Present, and Future},
	Year = {2001}}

@techreport{Li:2013mf,
	Address = {Montr\'eal, Qu\'ebec, Canada},
	Author = {Xu Li and Laurie Hendren},
	Institution = {Sable Research Group, School of Computer Science, McGill University},
	Month = October,
	Number = {SABLE-TR-2013-4},
	Title = {{Mc2For}: a tool for automatically transforming {MATLAB} to {Fortran 95}},
	Url = {http://www.sable.mcgill.ca/publications/techreports/2013-4/techrep.pdf},
	Year = {2013},
}

@inproceedings{Keller:2010rs,
	Address = {New York, NY, USA},
	Annote = {Repa1},
	Author = {Keller, Gabriele and Chakravarty, Manuel M.T. and Leshchinskiy, Roman and Peyton Jones, Simon and Lippmeier, Ben},
	Booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming},
	Doi = {10.1145/1863543.1863582},
	Pages = {261--272},
	Publisher = {ACM},
	Series = {ICFP '10},
	Title = {Regular, Shape-polymorphic, Parallel Arrays in {Haskell}},
	Year = {2010},
}

@article{Rose:1999tt,
	Author = {Luiz De Rose and David Padua},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Pages = {286--323},
	Title = {Techniques for the Translation of {MATLAB} Programs into {Fortran 90}},
	Volume = {21},
	Year = {1999}}

@techreport{Rojas:2000pk,
	Address = {Berlin, Germany},
	Author = {Raúl Rojas and Cüneyt Göktekin and Gerald Friedland and Mike Krüger and Olaf Langmack and Denis Kuniß},
	Institution = {Freie Universität Berlin},
	Month = {February},
	Number = {B-3/2000},
	Title = {Plankalkül: The First High-Level Programming Language and its Implementation},
	Url = {http://www.zib.de/zuse/Inhalt/Programme/Plankalkuel/},
	Year = {2000},
}

@article{Zuse:1948ua,
	Author = {Konrad Zuse},
	Doi = {10.1007/BF02038459},
	Journal = {Archiv der Mathematik},
	Number = {6},
	Pages = {441-449},
	Title = {Über den allgemeinen {P}lankalkül als {M}ittel zur {F}ormulierung schematisch-kombinativer {A}ufgaben},
	Volume = {1},
	Year = {1948/49},
}

@incollection{Veldhuizen:1998ab,
	Author = {Veldhuizen, Todd L},
	Booktitle = {Computing in Object-Oriented Parallel Environments},
	Doi = {10.1007/3-540-49372-7_24},
	Editor = {Caromel, Denis and Oldehoeft, Rodney R and Tholburn, Marydell},
	Pages = {223-230},
	Publisher = {Springer Berlin Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {Arrays in {Blitz++}},
	Volume = {1505},
	Year = {1998},
}	

@article{Bavestrelli:2000ct,
	Author = {Giovanni Bavestrelli},
	Journal = {C/C++ Users Journal},
	Month = {December},
	Number = {12},
	Pages = {32-43},
	Title = {A Class Template for {N}-Dimensional Generic Resizable Arrays},
	Url = {http://www.drdobbs.com/a-class-template-for-n-dimensional-gener/184401319},
	Volume = {18},
	Year = {2000},
}	

@article{Garcia:2005ma,
	Author = {Garcia, Ronald and Lumsdaine, Andrew},
	Doi = {10.1002/spe.630},
	Journal = {Software: Practice and Experience},
	Number = {2},
	Pages = {159-188},
	Title = {{MultiArray}: a {C++} library for generic programming with arrays},
	Volume = {35},
	Year = {2005},
}	

@article{Busam:1969oe,
	Author = {Busam, Vincent A and Englund, Donald E},
	Doi = {10.1145/363626.363635},
	Journal = {Communication of the ACM},
	Number = {12},
	Pages = {666--674},
	Title = {Optimization of Expressions in {Fortran}},
	Volume = {12},
	Year = {1969},
}

@manual{mathematica:nl,
	Address = {Natick, MA},
	Organization = {Wolfram},
	Title = {Mathematica Virtual Book: Nested Lists},
	Url = {http://reference.wolfram.com/mathematica/tutorial/NestedLists.html},
}

@manual{mathematica:int,
	Address = {Natick, MA},
	Organization = {Wolfram},
	Title = {Mathematica Virtual Book: Some Notes on Internal Implementation},
	Url = {https://reference.wolfram.com/mathematica/tutorial/SomeNotesOnInternalImplementation.html},
}

@manual{mathematica:expr,
	Address = {Natick, MA},
	Organization = {Wolfram},
	Title = {Mathematica Virtual Book: Everything Is an Expression},
	Url = {http://reference.wolfram.com/mathematica/tutorial/EverythingIsAnExpression.html},
}

@manual{mathematica:part,
	Address = {Champaign, IL},
	Organization = {Wolfram},
	Title = {Mathematica Core Language: Part ([[ ]])},
	Url = {http://reference.wolfram.com/mathematica/ref/Part.html},
}

@book{Kernigham:1978cp,
	Address = {Englewood Cliffs, NJ},
	Author = {Brian W Kernigham and Dennis M Ritchie},
	Edition = {1},
	Publisher = {Prentice-Hall},
	Series = {Prentice-Hall software series},
	Title = {The C Programming Language},
	Year = {1978}}

@book{Randell:1964a6,
	Address = {London},
	Author = {B Randell and L J Russell},
	Publisher = {Academic Press},
	Series = {The Automatic Programming Information Centre Studies in Data Processing},
	Title = {{ALGOL 60} Implementation},
	Url = {http://www.softwarepreservation.org/projects/ALGOL/book/Randell_ALGOL_60_Implementation_1964.pdf},
	Volume = {5},
	Year = {1964},
}	

@article{Sattley:1960as,
	Address = {Mountain View, CA},
	Author = {Sattley, K. and Ingerman, P. Z.},
	Journal = {ALGOL Bulletin},
	Pages = {1-15},
	Title = {The Allocation of Storage for Arrays in {ALGOL} 60},
	Volume = {Sup 13.1},
	Year = {1960},
}	

@article{Sattley:1961as,
	Author = {Sattley, Kirk},
	Doi = {10.1145/366062.366088},
	Journal = {Communication of the ACM},
	Number = {1},
	Pages = {60--65},
	Title = {Allocation of Storage for Arrays in {ALGOL} 60},
	Volume = {4},
	Year = {1961},
}

@inproceedings{Backus:1957fa,
	Address = {New York, NY, USA},
	Author = {Backus, J W and Beeber, R J and Best, S and Goldberg, R and Haibt, L M and Herrick, H L and Nelson, R A and Sayre, D and Sheridan, P B and Stern, H and Ziller, I and Hughes, R A and Nutt, R},
	Booktitle = {Papers Presented at the February 26-28, 1957, Western Joint Computer Conference: Techniques for Reliability},
	Doi = {10.1145/1455567.1455599},
	Pages = {188-198},
	Publisher = {ACM},
	Series = {IRE-AIEE-ACM '57 (Western)},
	Title = {The FORTRAN Automatic Coding System},
	Year = {1957},
}	

@manual{Backus:1956pr,
	Address = {New York},
	Author = {J W Backus and R J Beeber and S Best and R Goldberg and H L Herrick and R A Hughes and L B Mitchell and R A Nelson and R Nutt and D Sayre and P B Sheridan and H Stern and I Ziller},
	Month = {October},
	Organization = {IBM},
	Title = {Programmer's Reference Manual: The Fortran Automatic Coding Sytem for the {IBM 704 EDPM}},
	Url = {https://www.fortran.com/FortranForTheIBM704.pdf},
	Year = {1956},
}	

@inproceedings{Reese:1991ft,
	Address = {Dallas, TX},
	Author = {Donna S Reese and Ed Luke},
	Booktitle = {Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991},
	Doi = {10.1109/SPDP.1991.218244},
	Pages = {608-615},
	Publisher = {IEEE},
	Title = {Object oriented Fortran for development of portable parallel programs},
	Year = {1991},
}	

@inproceedings{Liskov:1987da,
	Address = {New York},
	Author = {Barbara H Liskov},
	Booktitle = {OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications},
	Doi = {10.1145/62139.62141},
	Organization = {ACM},
	Pages = {17-34},
	Title = {Data Abstraction and Hierarchy},
	Volume = {23},
	Year = {1987},
}

@article{Halbert:1987ut,
	Author = {Daniel C Halbert and Patrick D O'Brien},
	Doi = {10.1109/MS.1987.231776},
	Journal = {IEEE Software},
	Number = {5},
	Pages = {71-79},
	Title = {Using types and inheritance in object-oriented programming},
	Volume = {4},
	Year = {1987},
}	

@inproceedings{Liskov:1974pb,
	Address = {New York},
	Author = {Barbara H Liskov and Stephen N Zilles},
	Booktitle = {Proceedings of the ACM SIGPLAN symposium on Very high level languages},
	Organization = {ACM},
	Pages = {50-59},
	Title = {Programming with Abstract Data Types},
	Volume = {9},
	Year = {1974}}

@manual{matlabman:mi,
	Address = {Natick, MA},
	Edition = {R2014a},
	Organization = {MathWorks, Inc.},
	Title = {MATLAB Manual: Matrix indexing},
	Url = {http://www.mathworks.com/help/matlab/math/matrix-indexing.html},
}

@manual{matlabman:ma,
	Address = {Natick, MA},
	Doi = {http://www.mathworks.com/help/matlab/math/multidimensional-arrays.html},
	Edition = {R2014a},
	Organization = {MathWorks, Inc.},
	Title = {MATLAB Manual: Multidimensional arrays},
}

@article{Eddins:2001fr,
	Author = {Steve Eddins and Loren Shure},
	Journal = {Mathworks Newsletter},
	Month = {September},
	Title = {Matrix indexing in {MATLAB}},
	Url = {http://www.mathworks.com/company/newsletters/articles/matrix-indexing-in-matlab.html},
	Year = {2001},
}	

@inproceedings{Muschevici:2008,
	Address = {New York, NY, USA},
	Author = {Muschevici, Radu and Potanin, Alex and Tempero, Ewan and Noble, James},
	Booktitle = {Proceedings of the 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications},
	Doi = {10.1145/1449764.1449808},
	Location = {Nashville, TN, USA},
	Pages = {563--582},
	Publisher = {ACM},
	Series = {OOPSLA '08},
	Title = {Multiple Dispatch in Practice},
	Year = {2008}}

@article{kaplanullman,
	Author = {Kaplan, Marc A. and Ullman, Jeffrey D.},
	Doi = {10.1145/322169.322181},
	Journal = {Journal of the ACM},
	Month = {January},
	Number = {1},
	Pages = {128--145},
	Title = {A Scheme for the Automatic Inference of Variable Types},
	Volume = {27},
	Year = {1980},
}

@incollection{graphfree,
	Affiliation = {RWTH Aachen Lehrstuhl für Informatik II Germany},
	Author = {Mohnen, Markus},
	Booktitle = {Compiler Construction},
	Editor = {Horspool, R.},
	Isbn = {978-3-540-43369-9},
	Keyword = {Computer Science},
	Pages = {185-213},
	Publisher = {Springer Berlin / Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {A Graph—Free Approach to Data—Flow Analysis},
	Volume = {2304},
	Year = {2002}}

@incollection{widening,
	Affiliation = {LIENS, DMI, école Normale Supérieure 45, rue d'Ulm 75230 Paris cedex 05 France 45, rue d'Ulm 75230 Paris cedex 05 France},
	Author = {Cousot, Patrick and Cousot, Radhia},
	Booktitle = {Programming Language Implementation and Logic Programming},
	Editor = {Bruynooghe, Maurice and Wirsing, Martin},
	Keyword = {Computer Science},
	Pages = {269-295},
	Publisher = {Springer Berlin / Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {Comparing the {Galois} connection and widening/narrowing approaches to abstract interpretation},
	Volume = {631},
	Year = {1992}}

@inproceedings{Cousot:1977,
	Address = {New York, NY, USA},
	Author = {Cousot, Patrick and Cousot, Radhia},
	Booktitle = {Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
	Doi = {10.1145/512950.512973},
	Location = {Los Angeles, California},
	Pages = {238--252},
	Publisher = {ACM},
	Series = {POPL '77},
	Title = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints},
	Year = {1977},
}

@article{telescoping,
	Author = {Ken Kennedy and Bradley Broom and Keith Cooper and Jack Dongarra and Rob Fowler and Dennis Gannon and Lennart Johnsson and John Mellor-Crummey and Linda Torczon},
	Doi = {10.1006/jpdc.2001.1724},
	Journal = {Journal of Parallel and Distributed Computing},
	Number = {12},
	Pages = {1803 - 1826},
	Title = {Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries},
	Volume = {61},
	Year = {2001},
}

@inproceedings{Choy05parallelmatlab,
	Author = {Ron Choy and Alan Edelman},
	Booktitle = {Proceedings of the IEEE},
	Doi = {10.1109/JPROC.2004.840490},
	Number = {2},
	Pages = {331--341},
	Title = {Parallel {MATLAB}: Doing it right},
	Volume = {93},
	Year = {2005}}

@phdthesis{parry,
	Author = {Parry Husbands},
	School = {Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology},
	Title = {Interactive Supercomputing},
	Year = {1999}}

@article{closspec,
	Address = {New York, NY, USA},
	Author = {Bobrow, Daniel G. and DeMichiel, Linda G. and Gabriel, Richard P. and Keene, Sonya E. and Kiczales, Gregor and Moon, David A.},
	Doi = {10.1145/885631.885632},
	Issue = {SI},
	Journal = {SIGPLAN Not.},
	Month = {September},
	Pages = {1--142},
	Publisher = {ACM},
	Title = {Common Lisp Object System specification},
	Volume = {23},
	Year = {1988},
}

@article{APL,
	Address = {New York, NY, USA},
	Author = {Falkoff, A. D. and Iverson, K. E.},
	Doi = {10.1145/585923.585925},
	Issue = {1},
	Journal = {SIGAPL APL Quote Quad},
	Month = {April},
	Pages = {5--14},
	Title = {The design of {APL}},
	Volume = {6},
	Year = {1975},
}

@InProceedings{LLVM,
    author    = {Chris Lattner and Vikram Adve},
    title     = {{LLVM}: A Compilation Framework for Lifelong Program Analysis \& Transformation},
    booktitle = {Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)},
    address   = {Palo Alto, California},
    month     = {Mar},
    pages     = {75--86},
    year      = {2004}}