@misc(hpf, title = "{High Performance Fortran}", howpublished = "\url {http://hpff.rice.edu/index.htm}", ) @inproceedings(bagge03design, author = "O.S. Bagge and K.T. Kalleberg and M. Haveraaen and E. Visser", year = "2003", title = "Design of the {CodeBoost} transformation system for domain-specific optimisation of {C++} programs", booktitle = "Source Code Analysis and Manipulation, 2003", pages = "65--74", doi = "10.1109/SCAM.2003.1238032", ) @incollection(beckmann04, author = "Olav Beckmann and Alastair Houghton and Michael Mellor and Paul H.J. Kelly", year = "2004", title = "Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation", booktitle = "Domain-Specific Program Generation", series = "LNCS", volume = "3016", publisher = "Springer Berlin / Heidelberg", pages = "77--210", doi = "10.1007/978-3-540-25935-0\_17", ) @inproceedings(DBLP:conf/sc/BelterJKS09, author = "Geoffrey Belter and Elizabeth R. Jessup and Ian Karlin and Jeremy G. Siek", year = "2009", title = "Automating the generation of composed linear algebra kernels", booktitle = "SC '09", doi = "10.1145/1654059.1654119", ) @article(nesl, author = "Guy E. Blelloch", year = "1996", title = "Programming parallel algorithms", journal = "Commun. ACM", volume = "39", number = "3", pages = "85--97", doi = "10.1145/227234.227246", ) @misc(bigg, author = "G. Bradski and M. Muja", year = "2010", title = "{BiGG Detector}", howpublished = "\url {http://www.ros.org/wiki/bigg_detector}", ) @article(DBLP:journals/sp/BudimlicBCKLNPPSST10, author = "Zoran Budimlic and Michael Burke and Vincent Cav{\'e} and Kathleen Knobe and Geoff Lowney and Ryan Newton and Jens Palsberg and David M. Peixotto and Vivek Sarkar and Frank Schlimbach and Sagnak Tasirlar", year = "2010", title = "Concurrent Collections", journal = "Scientific Programming", volume = "18", number = "3-4", pages = "203--217", doi = "10.3233/SPR-2011-0305", ) @inproceedings(DBLP:conf/gpce/CalcagnoTHL03, author = "Cristiano Calcagno and Walid Taha and Liwen Huang and Xavier Leroy", year = "2003", title = "Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection", booktitle = "GPCE'03", pages = "57--76", ) @article(DBLP:conf/aplas/CaretteKS07, author = "Jacques Carette and Oleg Kiselyov and Chung chieh Shan", year = "2009", title = "Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages", journal = "J. Funct. Program.", volume = "19", pages = "509--543", doi = "10.1017/S0956796809007205", ) @inproceedings(catanzaro11copperhead, author = "Bryan Catanzaro and Michael Garland and Kurt Keutzer", year = "2011", title = "Copperhead: compiling an embedded data parallel language", booktitle = "PPoPP'11", publisher = "ACM", address = "New York, NY, USA", pages = "47--56", doi = "10.1145/1941553.1941562", ) @inproceedings(hassan10virtualization, author = "H. Chafi and Z. DeVito and A. Moors and T. Rompf and A. K. Sujeeth and P. Hanrahan and M. Odersky and K. Olukotun", year = "2010", title = "{Language Virtualization for Heterogeneous Parallel Computing}", booktitle = "Onward!'10", doi = "10.1145/1869459.1869527", ) @inproceedings(ppopp11delite, author = "H. Chafi and A. K. Sujeeth and K. J. Brown and H. Lee and A. R. Atreya and K. Olukotun", year = "2011", title = "A domain-specific approach to heterogeneous parallelism", booktitle = "PPoPP'11", doi = "10.1145/1941553.1941561", ) @article(chapel, author = "B.L. Chamberlain and D. Callahan and H.P. Zima", year = "2007", title = "{Parallel Programmability and the Chapel Language}", journal = "Int. J. High Perform. Comput. Appl.", volume = "21", number = "3", pages = "291--312", doi = "10.1177/1094342007078442", ) @inproceedings(chambers10flumejava, author = "Craig Chambers and Ashish Raniwala and Frances Perry and Stephen Adams and Robert R. Henry and Robert Bradshaw and Nathan Weizenbaum", year = "2010", title = "FlumeJava: easy, efficient data-parallel pipelines", booktitle = "PLDI '10", publisher = "ACM", address = "New York, NY, USA", pages = "363--375", doi = "10.1145/1806596.1806638", ) @article(x10, author = "Philippe Charles and Christian Grothoff and Vijay Saraswat and Christopher Donawa and Allan Kielstra and Kemal Ebcioglu and Christoph von Praun and Vivek Sarkar", year = "2005", title = "X10: an object-oriented approach to non-uniform cluster computing", journal = "SIGPLAN Not.", volume = "40", number = "10", pages = "519--538", doi = "10.1145/1103845.1094852", ) @misc(cliffinlining, author = "Cliff Click", year = "2011", title = "Fixing the Inlining Problem", howpublished = "\url {http://www.azulsystems.com/blog/cliff/2011-04-04-fixing-the-inlining-problem}", ) @article(cooley1965algorithm, author = "J.W. Cooley and J.W. Tukey", year = "1965", title = "{An algorithm for the machine calculation of complex Fourier series}", journal = "Mathematics of computation", volume = "19", number = "90", pages = "297--301", doi = "10.1090/S0025-5718-1965-0178586-1", ) @inproceedings(DBLP:conf/icfp/CouttsLS07, author = "Duncan Coutts and Roman Leshchinskiy and Don Stewart", year = "2007", title = "Stream fusion: from lists to streams to nothing at all", booktitle = "ICFP", pages = "315--326", doi = "10.1145/1291151.1291199", ) @inproceedings(Danvy90abstractingcontrol, author = "Olivier Danvy and Andrzej Filinski", year = "1990", title = "Abstracting control", booktitle = "Proc. {LFP}'90", pages = "151--160", doi = "10.1145/91556.91622", ) @article(danvy1992rcs, author = "Olivier Danvy and Andrzej Filinski", year = "1992", title = "{Representing Control: A Study of the {CPS} Transformation}", journal = "Mathematical Structures in Computer Science", volume = "2", number = "4", pages = "361--391", doi = "10.1017/S0960129500001535", ) @inproceedings(DBLP:conf/osdi/DeanG04, author = "Jeffrey Dean and Sanjay Ghemawat", year = "2004", title = "{MapReduce: Simplified Data Processing on Large Clusters}", booktitle = "OSDI'04", pages = "137--150", ) @article(DBLP:journals/corr/abs-1007-4268, author = "Christopher Earl and Matthew Might and David Van Horn", year = "2010", title = "Pushdown Control-Flow Analysis of Higher-Order Programs", journal = "CoRR", volume = "abs/1007.4268", ) @inproceedings(DBLP:conf/pldi/Frigo99, author = "Matteo Frigo", year = "1999", title = "A Fast Fourier Transform Compiler", booktitle = "PLDI", pages = "169--180", doi = "10.1145/301631.301661", ) @inproceedings(guyver99annotation, author = "Samuel Z. Guyer and Calvin Lin", year = "1999", title = "An annotation language for optimizing software libraries", booktitle = "PLAN'99: 2nd conference on Domain-specific languages", publisher = "ACM", address = "New York, NY, USA", pages = "39--52", doi = "10.1145/331960.331970", ) @inproceedings(hoffer08polymorphic, author = "C. Hofer and K. Ostermann and T. Rendel and A. Moors", year = "2008", title = "{Polymorphic embedding of DSLs}", booktitle = "GPCE'08", doi = "10.1145/1449913.1449935", ) @article(hudak96building, author = "P. Hudak", year = "1996", title = "Building domain-specific embedded languages", journal = "ACM Computing Surveys", volume = "28", doi = "10.1145/242224.242477", ) @book(jones1993partial, author = "N.D. Jones and C.K. Gomard and P. Sestoft", year = "1993", title = "{Partial evaluation and automatic program generation}", publisher = "Prentice-Hall", ) @inproceedings(DBLP:conf/fsttcs/JonesLKC08, author = "Simon Peyton Jones and R. Leshchinskiy and G. Keller and M. M. T. Chakravarty", year = "2008", title = "{Harnessing the Multicores: Nested Data Parallelism in Haskell}", booktitle = "FSTTCS'08", pages = "383--414", doi = "10.4230/LIPIcs.FSTTCS.2008.1769", ) @inproceedings(DBLP:conf/IEEEpact/Steele05, author = "Guy L. Steele Jr.", year = "2005", title = "Parallel Programming and Parallel Abstractions in Fortress", booktitle = "IEEE PACT'05", pages = "157", doi = "10.1109/PACT.2005.34", ) @article(kennedy05telescoping, author = "Ken Kennedy and Bradley Broom and Arun Chauhan and Rob Fowler and John Garvin and Charles Koelbel and Cheryl McCosh and John Mellor-Crummey", year = "2005", title = "Telescoping Languages: A System for Automatic Generation of Domain Languages", journal = "Proceedings of the IEEE", volume = "93", number = "3", pages = "387{\textendash }408", doi = "10.1109/JPROC.2004.840447", ) @inproceedings(DBLP:conf/emsoft/KiselyovST04, author = "Oleg Kiselyov and Kedar N. Swadi and Walid Taha", year = "2004", title = "A methodology for generating verified combinatorial circuits", booktitle = "EMSOFT", pages = "249--258", doi = "10.1145/1017753.1017794", ) @inproceedings(McCarthy63abasis, author = "John McCarthy", year = "1963", title = "A Basis For A Mathematical Theory Of Computation", booktitle = "Computer Programming and Formal Systems", publisher = "North-Holland", pages = "33--70", doi = "10.1016/S0049-237X(08)72018-4", ) @inproceedings(intelArBB, author = "Chris J. Newburn and Byoungro So and Zhenying Liu and Michael D. McCool and Anwar M. Ghuloum and Stefanus Du Toit and Zhi-Gang Wang and Zhaohui Du and Yongjian Chen and Gansha Wu and Peng Guo and Zhanglin Liu and Dan Zhang", year = "2011", title = "Intel's Array Building Blocks: A retargetable, dynamic compiler and embedded language", booktitle = "CGO '11", pages = "224--235", doi = "10.1109/CGO.2011.5764690", ) @misc(scala, author = "M. Odersky", year = "2011", title = "Scala", howpublished = "\url {http://www.scala-lang.org}", ) @article(DBLP:journals/ijhpca/PuschelMSXJPVJ04, author = "Markus P{\"u}schel and Jos{\'e} M. F. Moura and Bryan Singer and Jianxin Xiong and Jeremy Johnson and David A. Padua and Manuela M. Veloso and Robert W. Johnson", year = "2004", title = "Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms", journal = "IJHPCA", volume = "18", number = "1", pages = "21--45", doi = "10.1177/1094342004041291", ) @inproceedings(DBLP:conf/icfp/RompfMO09, author = "Tiark Rompf and Ingo Maier and Martin Odersky", year = "2009", title = "Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform", booktitle = "ICFP", pages = "317--328", doi = "10.1145/1596550.1596596", ) @inproceedings(rompf10lms, author = "Tiark Rompf and Martin Odersky", year = "2010", title = "Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs", booktitle = "GPCE'10", doi = "10.1145/1868294.1868314", ) @article(sheardTemplateHaskell, author = "T. Sheard and S.P. Jones", year = "2002", title = "{Template meta-programming for Haskell}", journal = "ACM SIGPLAN Notices", volume = "37", number = "12", pages = "60--75", doi = "10.1145/636517.636528", ) @book(sinnen2007task, author = "O. Sinnen", year = "2007", title = "Task scheduling for parallel systems", series = "Wiley series on parallel and distributed computing", publisher = "Wiley-Interscience", doi = "10.1002/0470121173", ) @inproceedings(icml11optiml, author = "A. K. Sujeeth and H. Lee and K. J. Brown and T. Rompf and Michael Wu and A. R. Atreya and M. Odersky and K. Olukotun", year = "2011", title = "OptiML: an Implicitly Parallel Domain-Specific Language for Machine Learning", booktitle = "ICML'11", ) @techreport(Walid:1999:MPT, author = "Walid Taha", year = "1999", title = "Multi-Stage Programming: Its Theory and Applications", type = "Technical Report", institution = "Oregon Graduate Institute School of Science \& Engineering", ) @inproceedings(DBLP:conf/pepm/Taha00, author = "Walid Taha", year = "2000", title = "A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract)", booktitle = "PEPM", pages = "34--43", doi = "10.1145/328690.328697", ) @article(DBLP:journals/tcs/TahaS00, author = "Walid Taha and Tim Sheard", year = "2000", title = "MetaML and multi-stage programming with explicit annotations", journal = "Theor. Comput. Sci.", volume = "248", number = "1-2", pages = "211--242", doi = "10.1016/S0304-3975(00)00053-0", ) @misc(opencl, author = "{The Khronos Group}", title = "{OpenCL 1.0}", howpublished = "\url {http://www.khronos.org/opencl/}", ) @book(vandevoorde2003, author = "D. Vandevoorde and N.M. Josuttis", year = "2003", title = "{C++ templates: the Complete Guide}", publisher = "Addison-Wesley Professional", ) @inproceedings(DBLP:conf/esop/VardoulakisS10, author = "Dimitrios Vardoulakis and Olin Shivers", year = "2010", title = "CFA2: A Context-Free Approach to Control-Flow Analysis", booktitle = "ESOP '10", pages = "570--589", doi = "10.1007/978-3-642-11957-6\_30", ) @misc(veldhuizen1996expression, author = "Todd L. Veldhuizen", year = "1996", title = "{Expression templates, C++ gems}", howpublished = "SIGS Publications, Inc., New York, NY", ) @inproceedings(DBLP:conf/iscope/Veldhuizen98, author = "Todd L. Veldhuizen", year = "1998", title = "{Arrays in Blitz++}", booktitle = "ISCOPE", pages = "223--230", doi = "10.1007/3-540-49372-7\_24", ) @phdthesis(phd/Veldhuizen04, author = "Todd L. Veldhuizen", year = "2004", title = "Active Libraries and Universal Languages", school = "Indiana University Computer Science", note = "\url {http://osl.iu.edu/ tveldhui/papers/2004/dissertation.pdf}", ) @article(DBLP:journals/tcs/Wadler90, author = "Philip Wadler", year = "1990", title = "Deforestation: Transforming Programs to Eliminate Trees", journal = "Theor. Comput. Sci.", volume = "73", number = "2", pages = "231--248", doi = "10.1016/0304-3975(90)90147-A", ) @article(DBLP:journals/pc/WhaleyPD01, author = "R. Clinton Whaley and Antoine Petitet and Jack Dongarra", year = "2001", title = "{Automated empirical optimizations of software and the ATLAS project}", journal = "Parallel Computing", volume = "27", number = "1-2", pages = "3--35", doi = "10.1016/S0167-8191(00)00087-9", )