- author = {David W. Matula and George Marble and Joel D. Isaacson},
- booktitle = {Graph Theory and Computing},
- date-added = {2021-01-25 11:35:40 -0500},
- date-modified = {2021-01-25 11:35:42 -0500},
- doi = {https://doi.org/10.1016/B978-1-4832-3187-7.50015-5},
- editor = {RONALD C. READ},
- isbn = {978-1-4832-3187-7},
- pages = {109 - 122},
- publisher = {Academic Press},
- title = {GRAPH COLORING ALGORITHMS††This research was supported in part by the Advanced Research Projects Agency of the Department of Defense under contract SD-302 and by the National Science Foundation under contract GJ-446.},
- booktitle = {Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare},
- booktitle = {Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare},
- date-added = {2018-08-28 15:44:28 +0000},
- date-modified = {2018-08-28 15:44:29 +0000},
- doi = {10.1007/978-94-009-7893-5_9},
- editor = {Broy, Manfred and Schmidt, Gunther},
- isbn = {978-94-009-7893-5},
- pages = {145--292},
- publisher = {Springer Netherlands},
- title = {Lectures on a Mathematical Theory of Computation},
- author = {Y. Xu and K. Li and T. T. Khac and M. Qiu},
- booktitle = {2012 IEEE 14th International Conference on High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems},
- booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS} 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
- date-added = {2018-02-19 21:08:01 +0000},
- date-modified = {2018-11-14 17:00:54 +0000},
- doi = {10.1007/978-3-319-26529-2_11},
- pages = {189--207},
- timestamp = {Fri, 19 May 2017 01:25:53 +0200},
- title = {Shifting the Blame - {A} Blame Calculus with Delimited Control},
- author = {S. Seo and A. Amer and P. Balaji and C. Bordage and G. Bosilca and A. Brooks and P. Carns and A. Castello and D. Genet and T. Herault and S. Iwasaki and P. Jindal and S. Kale and S. KRISHNAMOORTHY and J. Lifflander and H. Lu and E. Meneses and M. Snir and Y. Sun and K. Taura and P. Beckman},
- date-added = {2018-01-08 21:36:38 +0000},
- date-modified = {2018-01-08 21:36:39 +0000},
- doi = {10.1109/TPDS.2017.2766062},
- issn = {1045-9219},
- journal = {IEEE Transactions on Parallel and Distributed Systems},
- booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2017, Barcelona, Spain, June 18-23, 2017},
- crossref = {DBLP:conf/pldi/2017},
- date-added = {2018-01-08 20:51:36 +0000},
- date-modified = {2018-01-08 20:51:37 +0000},
- doi = {10.1145/3062341.3062344},
- pages = {320--332},
- timestamp = {Mon, 19 Jun 2017 08:37:26 +0200},
- title = {Instruction punning: lightweight instrumentation for x86-64},
- booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA, USA, June 13-17, 2016},
- crossref = {DBLP:conf/pldi/2016},
- date-added = {2018-01-08 20:50:53 +0000},
- date-modified = {2018-01-08 20:50:54 +0000},
- doi = {10.1145/2908080.2908084},
- pages = {16--26},
- timestamp = {Mon, 06 Jun 2016 12:11:24 +0200},
- title = {Living on the edge: rapid-toggling probes with cross-modification on x86},
- author = {Ryan Newton and Sivan Toledo and Lewis Girod and Hari Balakrishnan and Samuel Madden},
- booktitle = {NSDI 2009},
- date-added = {2018-01-08 20:48:06 +0000},
- date-modified = {2018-01-08 20:48:07 +0000},
- month = {April},
- title = {{Wishbone: Profile-based Partitioning for Sensornet Applications}},
- year = {2009}}
-
-@article{Budimlic:2010aa,
- acmid = {1938486},
- address = {Amsterdam, The Netherlands, The Netherlands},
- author = {Budimli\'{c}, Zoran and Burke, Michael and Cav{\'e}, Vincent and Knobe, Kathleen and Lowney, Geoff and Newton, Ryan and Palsberg, Jens and Peixotto, David and Sarkar, Vivek and Schlimbach, Frank and Tasirlar, Sagnak},
- author = {Robert Clay and Janine C. Bennett and others},
- booktitle = {Panel at SC 2015},
- date-added = {2018-01-08 18:58:21 +0000},
- date-modified = {2018-01-08 18:58:23 +0000},
- title = {SC15 Panel Asynchronous Many-Task Programming Models for Next-Generation Platforms},
- year = 2015}
-
-@inproceedings{Chin:2015aa,
- author = {Brian Chin and Daniel von Dincklage and Vuk Ercegovac and Peter Hawkins and Mark S. Miller and Franz Josef Och and Christopher Olston and Fernando Pereira},
- author = {Cheng, Raymond and Hong, Ji and Kyrola, Aapo and Miao, Youshan and Weng, Xuetian and Wu, Ming and Yang, Fan and Zhou, Lidong and Zhao, Feng and Chen, Enhong},
- booktitle = {Proceedings of the 7th ACM European Conference on Computer Systems},
- author = {Zaharia, Matei and Xin, Reynold S. and Wendell, Patrick and Das, Tathagata and Armbrust, Michael and Dave, Ankur and Meng, Xiangrui and Rosen, Josh and Venkataraman, Shivaram and Franklin, Michael J. and Ghodsi, Ali and Gonzalez, Joseph and Shenker, Scott and Stoica, Ion},
- date-added = {2017-12-29 15:24:03 +0000},
- date-modified = {2017-12-29 15:24:04 +0000},
- doi = {10.1145/2934664},
- issn = {0001-0782},
- issue_date = {November 2016},
- journal = {Commun. ACM},
- month = oct,
- number = {11},
- numpages = {10},
- pages = {56--65},
- publisher = {ACM},
- title = {Apache Spark: A Unified Engine for Big Data Processing},
- author = {Fan, Wenfei and Xu, Jingbo and Wu, Yinghui and Yu, Wenyuan and Jiang, Jiaxin and Zheng, Zeyu and Zhang, Bohan and Cao, Yang and Tian, Chao},
- booktitle = {Proceedings of the 2017 ACM International Conference on Management of Data},
- author = {Tim Mattson and Rob van der Wijngaart and Zoran Budimlic and Vincent Cave and Sanjay Chatterjee and Romain Cledat and Bala Seshasayee and Vivek Sarkar},
- date-added = {2017-12-19 14:46:48 +0000},
- date-modified = {2017-12-19 14:48:43 +0000},
- institution = {{OCR} Working Group},
- month = {September},
- number = {0.9},
- title = {{OCR} The Open Community Runtime Interface},
- booktitle = {Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithmics and Combinatorics, {ALENEX} /ANALCO 2005, Vancouver, BC, Canada, 22 January 2005},
- crossref = {DBLP:conf/alenex/2005},
- date-added = {2017-12-21 15:11:05 +0000},
- date-modified = {2017-12-21 15:11:06 +0000},
- pages = {26--40},
- timestamp = {Tue, 30 Jan 2007 13:47:28 +0100},
- title = {Computing Point-to-Point Shortest Paths from External Memory},
- author = {Sujeeth, Arvind K. and Rompf, Tiark and Brown, Kevin J. and Lee, HyoukJoong and Chafi, Hassan and Popic, Victoria and Wu, Michael and Prokopec, Aleksandar and Jovanovic, Vojin and Odersky, Martin and Olukotun, Kunle},
- booktitle = {ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings},
- date-added = {2017-12-18 21:56:05 +0000},
- date-modified = {2017-12-18 21:56:11 +0000},
- doi = {10.1007/978-3-642-39038-8_3},
- editor = {Castagna, Giuseppe},
- isbn = {978-3-642-39038-8},
- pages = {52--78},
- publisher = {Springer Berlin Heidelberg},
- title = {Composition and Reuse with Compiled Domain-Specific Languages},
- author = {Pingali, Keshav and Nguyen, Donald and Kulkarni, Milind and Burtscher, Martin and Hassaan, M. Amber and Kaleem, Rashid and Lee, Tsung-Hsien and Lenharth, Andrew and Manevich, Roman and M{\'e}ndez-Lojo, Mario and Prountzos, Dimitrios and Sui, Xin},
- booktitle = {Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation},
- author = {Malewicz, Grzegorz and Austern, Matthew H. and Bik, Aart J.C and Dehnert, James C. and Horn, Ilan and Leiser, Naty and Czajkowski, Grzegorz},
- booktitle = {Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data},
- author = {Politz, Joe Gibbs and Martinez, Alejandro and Milano, Matthew and Warren, Sumner and Patterson, Daniel and Li, Junsong and Chitipothu, Anand and Krishnamurthi, Shriram},
- booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \&\#38; Applications},
- author = {Birkedal, Lars and St{\o}vring, Kristian and Thamsborg, Jacob},
- booktitle = {Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
- date-added = {2017-11-12 17:58:09 +0000},
- date-modified = {2017-11-12 17:58:11 +0000},
- doi = {10.1007/978-3-642-00596-1_32},
- editor = {de Alfaro, Luca},
- isbn = {978-3-642-00596-1},
- pages = {456--470},
- publisher = {Springer Berlin Heidelberg},
- title = {Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types},
- booktitle = {Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11--13, 1993 Proceedings},
- date-added = {2017-11-03 14:22:02 +0000},
- date-modified = {2017-11-03 14:22:12 +0000},
- doi = {10.1007/3-540-57826-9_122},
- editor = {Joyce, Jeffrey J. and Seger, Carl-Johan H.},
- isbn = {978-3-540-48346-5},
- pages = {16--28},
- publisher = {Springer Berlin Heidelberg},
- title = {Graph model of {LAMBDA} in higher order logic},
- booktitle = {Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11--13, 1993 Proceedings},
- date-added = {2017-11-03 14:14:03 +0000},
- date-modified = {2017-11-03 14:14:06 +0000},
- doi = {10.1007/3-540-57826-9_143},
- editor = {Joyce, Jeffrey J. and Seger, Carl-Johan H.},
- author = {Di Gianantonio, Pietro and Honsell, Furio},
- booktitle = {Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16--18, 1993, Utrech, The Netherlands Proceedings},
- annote = {Keywords: design principles, type systems, gradual typing},
- author = {Sam Tobin-Hochstadt and Matthias Felleisen and Robert Findler and Matthew Flatt and Ben Greenman and Andrew M. Kent and Vincent St-Amour and T. Stephen Strickland and Asumu Takikawa},
- booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
- date-added = {2017-05-09 13:23:30 +0000},
- date-modified = {2017-05-09 13:23:34 +0000},
- doi = {10.4230/LIPIcs.SNAPL.2017.17},
- editor = {Benjamin S. Lerner and Rastislav Bod{\'\i}k and Shriram Krishnamurthi},
- series = {Progress in Theoretical Computer Science},
- title = {Categorical Combinators, Sequential Algorithms, and Functional Programming},
- year = {1993}}
-
-@inbook{Alessi2008,
- address = {Berlin, Heidelberg},
- author = {Alessi, Fabio and Severi, Paula},
- booktitle = {SOFSEM 2008: Theory and Practice of Computer Science: 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'y} Smokovec, Slovakia, January 19-25, 2008. Proceedings},
- date-added = {2017-02-08 03:39:58 +0000},
- date-modified = {2017-02-08 03:39:58 +0000},
- doi = {10.1007/978-3-540-77566-9_11},
- editor = {Geffert, Viliam and Karhum{\"a}ki, Juhani and Bertoni, Alberto and Preneel, Bart and N{\'a}vrat, Pavol and Bielikov{\'a}, M{\'a}ria},
- isbn = {978-3-540-77566-9},
- pages = {124--135},
- publisher = {Springer Berlin Heidelberg},
- title = {Recursive Domain Equations of Filter Models},
- author = {Egidi, Lavinia and Honsell, Furio and Ronchi della Rocca, Simona},
- booktitle = {Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9--13, 1991 Proceedings},
- date-added = {2017-01-31 16:19:26 +0000},
- date-modified = {2017-01-31 16:19:28 +0000},
- doi = {10.1007/3-540-54345-7_59},
- editor = {Tarlecki, Andrzej},
- isbn = {978-3-540-47579-8},
- pages = {161--169},
- publisher = {Springer Berlin Heidelberg},
- title = {The lazy call-by-value $\lambda$-calculus},
- author = {Heule, Stefan and Leino, K. Rustan M. and M{\"u}ller, Peter and Summers, Alexander J.},
- booktitle = {Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings},
- date-added = {2016-07-30 16:29:36 +0000},
- date-modified = {2016-07-30 18:42:48 +0000},
- editor = {Giacobazzi, Roberto and Berdine, Josh and Mastroeni, Isabella},
- pages = {315--334},
- publisher = {Springer Berlin Heidelberg},
- title = {Abstract Read Permissions: Fractional Permissions without the Fractions},
- title = {The Essence of Rum: A Theory of the Intensional and Extensional Aspects of Lisp-type Computation (Program Transformation, Closure, Continuation Structure, Comparison-relation)},
- year = {1985}}
-
-@inbook{Mason:1989aa,
- address = {Berlin, Heidelberg},
- author = {Mason, Ian and Talcott, Carolyn},
- booktitle = {Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11--15, 1989 Proceedings},
- date-added = {2016-07-13 14:24:24 +0000},
- date-modified = {2016-07-13 14:24:27 +0000},
- doi = {10.1007/BFb0035784},
- editor = {Ausiello, Giorgio and Dezani-Ciancaglini, Mariangiola and Della Rocca, Simonetta Ronchi},
- isbn = {978-3-540-46201-9},
- pages = {574--588},
- publisher = {Springer Berlin Heidelberg},
- title = {Programming, transforming, and proving with function abstractions and memories},
- booktitle = {Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Link{\"o}ping, Sweden, August 20--22, 1990 Proceedings},
- date-added = {2016-07-13 14:10:37 +0000},
- date-modified = {2016-07-13 14:10:41 +0000},
- doi = {10.1007/BFb0024185},
- editor = {Deransart, Pierre and Maluszy{\'{n}}ski, Jan},
- isbn = {978-3-540-46298-9},
- pages = {189--203},
- publisher = {Springer Berlin Heidelberg},
- title = {Reasoning about programs with effects},
- author = {Menon, Harshitha and Wesolowski, Lukasz and Zheng, Gengbin and Jetley, Pritish and Kale, Laxmikant and Quinn, Thomas and Governato, Fabio},
- date-added = {2016-06-09 14:02:13 +0000},
- date-modified = {2016-06-09 14:02:18 +0000},
- doi = {10.1186/s40668-015-0007-9},
- issn = {2197-7909},
- journal = {Computational Astrophysics and Cosmology},
- number = {1},
- pages = {1--16},
- title = {Adaptive techniques for clustered N-body cosmological simulations},
- author = {Matthew Anderson and Maciej Brodowicz and Luke Dalessandro and Jackson DeBuhr and Thomas Sterling},
- booktitle = {29th International Supercomputing Conference (ISC), 2014},
- date-added = {2016-05-13 17:27:36 +0000},
- date-modified = {2016-05-13 17:27:39 +0000},
- keywords = {HPX},
- month = {Jun},
- title = {A dynamic execution model applied to distributed collision detection},
- year = 2014}
-
-@inproceedings{Zhang:2014aa,
- address = {Edmonton, Canada},
- author = {B. Zhang},
- booktitle = {Forth Workshop on Data-Flow Execution Models for Extreme Scale Computing},
- date-added = {2016-05-13 17:26:52 +0000},
- date-modified = {2016-05-13 17:26:55 +0000},
- keywords = {HPX},
- month = {August},
- pdf = {http://www.cs.ucy.ac.cy/dfmworkshop/wp-content/uploads/2014/08/DFM2014-4-Asynchronous-Task-Scheduling-of-the-Fast-Multipole-Method-using-various-Runtime-Systems.pdf},
- title = {Asynchronous task scheduling of the fast multipole method using various runtime systems},
- year = {2014}}
-
-@article{Luth:2009aa,
- annote = {graspable logic},
- author = {Christoph L{\"u}th},
- date-added = {2016-05-13 12:27:54 +0000},
- date-modified = {2016-05-13 12:29:02 +0000},
- journal = {Electronic Communications of the EASST},
- title = {User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?},
- author = {Bonnaire-Sergeant, Ambrose and Davies, Rowan and Tobin-Hochstadt, Sam},
- chapter = {Practical Optional Types for Clojure},
- date-added = {2016-05-03 14:41:23 +0000},
- date-modified = {2016-05-03 14:41:23 +0000},
- doi = {10.1007/978-3-662-49498-1_4},
- editor = {Thiemann, Peter},
- isbn = {978-3-662-49498-1},
- pages = {68--94},
- publisher = {Springer Berlin Heidelberg},
- title = {Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
- booktitle = {Proceedings of the 1977 Annual Conference},
- date-added = {2016-05-02 20:39:13 +0000},
- date-modified = {2016-05-02 20:39:16 +0000},
- doi = {10.1145/800179.810196},
- isbn = {978-1-4503-3921-6},
- location = {Seattle, Washington},
- numpages = {10},
- pages = {153--162},
- publisher = {ACM},
- series = {ACM '77},
- title = {Debunking the \&Ldquo;Expensive Procedure Call\&Rdquo; Myth or, Procedure Call Implementations Considered Harmful or, LAMBDA: The Ultimate GOTO},
- author = {Sewell, Peter and Leifer, James J. and Wansbrough, Keith and Nardelli, Francesco Zappa and Allen-Williams, Mair and Habouzit, Pierre and Vafeiadis, Viktor},
- date-added = {2016-03-14 13:27:01 +0000},
- date-modified = {2016-03-14 13:28:27 +0000},
- doi = {10.1017/S0956796807006442},
- issn = {1469-7653},
- issue = {4-5},
- journal = {Journal of Functional Programming},
- numpages = {66},
- pages = {547--612},
- title = {Acute: High-level programming language design for distributed computation},
- title = {Natural Deduction: A Proof-Theoretic Study},
- year = {2006}}
-
-@book{Pierce:2015aa,
- author = {Benjamin C. Pierce and Chris Casinghino and Marco Gaboardi and Michael Greenberg and C\v{a}t\v{a}lin Hri\c{t}cu and Vilhelm Sjoberg and Brent Yorgey},
- keywords = {Formal verification, automatic theorem proving, computational logic, partial functions, total functions, type checking, microcode verification, floating point division, digital signal processing.},
- month = apr,
- number = {4},
- numpages = {11},
- pages = {203--213},
- publisher = {IEEE Press},
- title = {An Industrial Strength Theorem Prover for a Logic Based on Common Lisp},
- author = {Gonthier, Georges and Asperti, Andrea and Avigad, Jeremy and Bertot, Yves and Cohen, Cyril and Garillot, Fran{\c{c}}ois and Roux, St{\'e}phane and Mahboubi, Assia and O'Connor, Russell and Ould Biha, Sidi and Pasca, Ioana and Rideau, Laurence and Solovyev, Alexey and Tassi, Enrico and Th{\'e}ry, Laurent},
- chapter = {A Machine-Checked Proof of the Odd Order Theorem},
- date-added = {2016-02-11 05:24:30 +0000},
- date-modified = {2016-02-11 05:27:31 +0000},
- editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David},
- pages = {163--179},
- publisher = {Springer Berlin Heidelberg},
- title = {Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings},
- author = {Brat, Guillaume and Drusinsky, Doron and Giannakopoulou, Dimitra and Goldberg, Allen and Havelund, Klaus and Lowry, Mike and Pasareanu, Corina and Venet, Arnaud and Visser, Willem and Washington, Rich},
- author = {Behm, Patrick and Benoit, Paul and Faivre, Alain and Meynadier, Jean-Marc},
- chapter = {M{\'e}t{\'e}or: A Successful Application of B in a Large Project},
- date-added = {2016-02-11 04:41:40 +0000},
- date-modified = {2016-02-11 04:51:35 +0000},
- editor = {Wing, Jeannette M. and Woodcock, Jim and Davies, Jim},
- pages = {369--387},
- publisher = {Springer Berlin Heidelberg},
- title = {FM'99 --- Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20--24, 1999 Proceedings, Volume I},
- author = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and Andronick, June and Cock, David and Derrin, Philip and Elkaduwe, Dhammika and Engelhardt, Kai and Kolanski, Rafal and Norrish, Michael and Sewell, Thomas and Tuch, Harvey and Winwood, Simon},
- booktitle = {Proceedings of the ACM SIGOPS 22Nd Symposium on Operating Systems Principles},
- chapter = {Constant-Time Root Scanning for Deterministic Garbage Collection},
- date-added = {2016-02-05 14:40:08 +0000},
- date-modified = {2016-02-05 14:40:11 +0000},
- doi = {10.1007/3-540-45306-7_21},
- editor = {Wilhelm, Reinhard},
- isbn = {978-3-540-45306-2},
- pages = {304--318},
- publisher = {Springer Berlin Heidelberg},
- title = {Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2--6, 2001 Proceedings},
- author = {Backus, J. W. and Bauer, F. L. and Green, J. and Katz, C. and McCarthy, J. and Perlis, A. J. and Rutishauser, H. and Samelson, K. and Vauquois, B. and Wegstein, J. H. and van Wijngaarden, A. and Woodger, M.},
- date-added = {2015-12-20 12:28:31 +0000},
- date-modified = {2015-12-20 12:28:35 +0000},
- doi = {10.1145/367236.367262},
- editor = {Naur, Peter},
- issn = {0001-0782},
- issue_date = {May 1960},
- journal = {Commun. ACM},
- month = may,
- number = {5},
- numpages = {16},
- pages = {299--314},
- publisher = {ACM},
- title = {Report on the Algorithmic Language ALGOL 60},
- booktitle = {Programming Languages and Systems - 21st European Symposium on Programming, {ESOP} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
- author = {Asanovic, Krste and Bodik, Ras and Catanzaro, Bryan Christopher and Gebis, Joseph James and Husbands, Parry and Keutzer, Kurt and Patterson, David A. and Plishker, William Lester and Shalf, John and Williams, Samuel Webb and Yelick, Katherine A.},
- date-added = {2015-11-12 22:10:42 +0000},
- date-modified = {2015-11-12 22:10:49 +0000},
- institution = {EECS Department, University of California, Berkeley},
- month = {Dec},
- number = {UCB/EECS-2006-183},
- title = {The Landscape of Parallel Computing Research: A View from Berkeley},
- author = {Alpern, B. and Attanasio, C. R. and Barton, J. J. and Burke, M. G. and Cheng, P. and Choi, J.-D. and Cocchi, A. and Fink, S. J. and Grove, D. and Hind, M. and Hummel, S. F. and Lieber, D. and Litvinov, V. and Mergen, M. F. and Ngo, T. and Russell, J. R. and Sarkar, V. and Serrano, M. J. and Shepherd, J. C. and Smith, S. E. and Sreedhar, V. C. and Srinivasan, H. and Whaley, J.},
- author = {Alpern, B. and Augart, S. and Blackburn, S. M. and Butrico, M. and Cocchi, A. and Cheng, P. and Dolby, J. and Fink, S. and Grove, D. and Hind, M. and McKinley, K. S. and Mergen, M. and Moss, J. E. B. and Ngo, T. and Sarkar, V.},
- date-added = {2015-11-12 16:33:33 +0000},
- date-modified = {2015-11-18 04:35:41 +0000},
- issue_date = {January 2005},
- journal = {IBM Syst. J.},
- month = jan,
- number = {2},
- numpages = {19},
- pages = {399--417},
- publisher = {IBM Corp.},
- title = {The {Jikes} Research Virtual Machine Project: Building an Open-source Research Community},
- author = {Spenser Bauman and Carl Friedrich Bolz and Robert Hirschfeld and Vasily Kirilichev and Tobias Pape and Jeremy Siek and Sam Tobin-Hochstadt},
- booktitle = {ICFP: International Conference on Functional Programming},
- date-added = {2015-08-16 11:25:37 +0000},
- date-modified = {2015-08-16 11:25:41 +0000},
- month = {September},
- publisher = {ACM},
- title = {Pycket: A Tracing {JIT} For a Functional Language},
- author = {Blackwell, A.F. and Britton, C. and Cox, A. and Green, T.R.G. and Gurr, C. and Kadoda, G. and Kutar, M.S. and Loomes, M. and Nehaniv, C.L. and Petre, M. and Roast, C. and Roe, C. and Wong, A. and Young, R.M.},
- booktitle = {Cognitive Technology: Instruments of Mind},
- date-added = {2015-04-29 14:37:48 +0000},
- date-modified = {2015-04-29 14:37:54 +0000},
- doi = {10.1007/3-540-44617-6_31},
- editor = {Beynon, Meurig and Nehaniv, ChrystopherL. and Dautenhahn, Kerstin},
- isbn = {978-3-540-42406-2},
- language = {English},
- pages = {325-341},
- publisher = {Springer Berlin Heidelberg},
- series = {Lecture Notes in Computer Science},
- title = {Cognitive Dimensions of Notations: Design Tools for Cognitive Technology},
- title = {How Can the Human Mind Occur in the Physical Universe?},
- year = {2009}}
-
-@article{Ko:2006aa,
- acmid = {1248780},
- address = {Piscataway, NJ, USA},
- author = {Ko, Andrew J. and Myers, Brad A. and Coblenz, Michael J. and Aung, Htet Htet},
- date-added = {2015-04-26 23:21:15 +0000},
- date-modified = {2015-04-26 23:21:18 +0000},
- doi = {10.1109/TSE.2006.116},
- issn = {0098-5589},
- issue_date = {December 2006},
- journal = {IEEE Trans. Softw. Eng.},
- keywords = {Program investigation, Program investigation, program understanding, program comprehension, empirical software engineering, information foraging, information scent., empirical software engineering, information foraging, information scent., program comprehension, program understanding},
- month = dec,
- number = {12},
- numpages = {17},
- pages = {971--987},
- publisher = {IEEE Press},
- title = {An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information During Software Maintenance Tasks},
- author = {Siegmund, Janet and K\"{a}stner, Christian and Apel, Sven and Parnin, Chris and Bethmann, Anja and Leich, Thomas and Saake, Gunter and Brechmann, Andr{\'e}},
- booktitle = {Proceedings of the 36th International Conference on Software Engineering},
- date-added = {2015-04-26 22:52:13 +0000},
- date-modified = {2015-04-26 22:52:18 +0000},
- doi = {10.1145/2568225.2568252},
- isbn = {978-1-4503-2756-5},
- keywords = {Functional magnetic resonance imaging, program comprehension},
- location = {Hyderabad, India},
- numpages = {12},
- pages = {378--389},
- publisher = {ACM},
- series = {ICSE 2014},
- title = {Understanding Understanding Source Code with Functional Magnetic Resonance Imaging},
- author = {Chang, Mason and Mathiske, Bernd and Smith, Edwin and Chaudhuri, Avik and Gal, Andreas and Bebenita, Michael and Wimmer, Christian and Franz, Michael},
- booktitle = {Proceedings of the 7th Symposium on Dynamic Languages},
- date-added = {2015-02-23 21:22:11 +0000},
- date-modified = {2015-11-18 04:38:02 +0000},
- keywords = {actionscript, dynamic compilation, javascript type speculation, optionally typed languages, tamarin, type inference},
- location = {Portland, Oregon, USA},
- numpages = {12},
- pages = {13--24},
- publisher = {ACM},
- series = {DLS '11},
- title = {The Impact of Optional Type Information on Jit Compilation of Dynamically Typed Languages},
- author = {Michael A. Heroux and Douglas W. Doerfler and Paul S. Crozier and James M. Willenbring and H. Carter Edwards and Alan Williams and Mahesh Rajan and Eric R. Keiter and Heidi K. Thorn- quist and Robert W. Numrich},
- date-added = {2014-09-17 02:09:22 +0000},
- date-modified = {2014-09-17 02:10:40 +0000},
- institution = {Sandia National Laboratories},
- number = {SAND2009-5574},
- title = {Improving Performance via Mini-applications},
- author = {Bocchino,Jr., Robert L. and Adve, Vikram S. and Dig, Danny and Adve, Sarita V. and Heumann, Stephen and Komuravelli, Rakesh and Overbey, Jeffrey and Simmons, Patrick and Sung, Hyojin and Vakilian, Mohsen},
- booktitle = {Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications},
- author = {Geist, Al and Gropp, William and Huss-Lederman, Steven and Lumsdaine, Andrew and Lusk, Ewing L. and Saphir, William and Skjellum, Tony and Snir, Marc},
- booktitle = {Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I},
- date-added = {2014-08-30 16:15:29 +0000},
- date-modified = {2014-08-30 16:15:32 +0000},
- isbn = {3-540-61626-8},
- numpages = {8},
- pages = {128--135},
- publisher = {Springer-Verlag},
- series = {Euro-Par '96},
- title = {MPI-2: Extending the Message-Passing Interface},
- author = {Gabriel, Edgar and Fagg, GrahamE. and Bosilca, George and Angskun, Thara and Dongarra, JackJ. and Squyres, JeffreyM. and Sahay, Vishal and Kambadur, Prabhanjan and Barrett, Brian and Lumsdaine, Andrew and Castain, RalphH. and Daniel, DavidJ. and Graham, RichardL. and Woodall, TimothyS.},
- booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface},
- date-added = {2014-08-30 16:11:19 +0000},
- date-modified = {2014-08-30 16:11:37 +0000},
- doi = {10.1007/978-3-540-30218-6_19},
- editor = {Kranzlm{\"u}ller, Dieter and Kacsuk, P{\'e}ter and Dongarra, Jack},
- isbn = {978-3-540-23163-9},
- language = {English},
- pages = {97-104},
- publisher = {Springer Berlin Heidelberg},
- series = {Lecture Notes in Computer Science},
- title = {Open {MPI}: Goals, Concept, and Design of a Next Generation {MPI} Implementation},
- author = {Sarkar, Susmit and Sewell, Peter and Nardelli, Francesco Zappa and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade},
- booktitle = {Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
- date-added = {2014-08-30 14:38:45 +0000},
- date-modified = {2014-08-30 14:38:49 +0000},
- doi = {10.1145/1480881.1480929},
- isbn = {978-1-60558-379-2},
- keywords = {relaxed memory models, semantics},
- location = {Savannah, GA, USA},
- numpages = {13},
- pages = {379--391},
- publisher = {ACM},
- series = {POPL '09},
- title = {The Semantics of x86-CC Multiprocessor Machine Code},
- author = {Fauzia, Naznin and Elango, Venmugil and Ravishankar, Mahesh and Ramanujam, J. and Rastello, Fabrice and Rountev, Atanas and Pouchet, Louis-No\"{e}l and Sadayappan, P.},
- author = {Steve Ashby and Pete Beckman and Jackie Chen and Phil Colella and Bill Collins and Dona Crawford and Jack Dongarra and Doug Kothe and Rusty Lusk and Paul Messina and Tony Mezzacappa and Parviz Moin and Mike Norman and Robert Rosner and Vivek Sarkar and Andrew Siegel and Fred Streitz and Andy White and Margaret Wright},
- date-added = {2014-08-11 13:51:10 +0000},
- date-modified = {2014-08-11 13:52:36 +0000},
- institution = {U.S. Department of Energy, Office of Science},
- author = {J.A. Ang and R.F. Barrett and R.E. Benner and D. Burke and C. Chan and D. Donofrio and S.D. Hammond and K.S. Hemmert and S.M. Kelly and H. Le and V.J. Leung and D.R. Resnick and A.F. Rodrigues and J. Shalf and D. Stark and D. Unat and N.J. Wright},
- date-added = {2014-08-11 13:15:06 +0000},
- date-modified = {2014-08-11 13:17:44 +0000},
- institution = {Lawrence Berkeley National Laboratory},
- month = {May},
- title = {Abstract Machine Models and Proxy Architectures for Exascale Computing},
- author = {Wozniak, Justin M. and Armstrong, Timothy G. and Maheshwari, Ketan and Lusk, Ewing L. and Katz, Daniel S. and Wilde, Michael and Foster, Ian T.},
- booktitle = {Proceedings of the 1st ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies},
- author = {Byn Choi and Komuravelli, R. and Hyojin Sung and Smolinski, R. and Honarmand, N. and Adve, S.V. and Adve, V.S. and Carter, N.P. and Ching-Tsun Chou},
- booktitle = {Parallel Architectures and Compilation Techniques (PACT), 2011 International Conference on},
- author = {Bloom, Bard and Field, John and Nystrom, Nathaniel and \"{O}stlund, Johan and Richards, Gregor and Strni\v{s}a, Rok and Vitek, Jan and Wrigstad, Tobias},
- booktitle = {ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications},
- author = {Bebenita, Michael and Brandner, Florian and Fahndrich, Manuel and Logozzo, Francesco and Schulte, Wolfram and Tillmann, Nikolai and Venter, Herman},
- booktitle = oopsla,
- date-added = {2014-03-13 20:26:07 +0000},
- date-modified = {2014-03-13 20:26:12 +0000},
- isbn = {978-1-4503-0203-6},
- pages = {708--725},
- title = {{SPUR}: A Trace-Based {JIT} Compiler for {CIL}},
- author = {Mitchell, J. G. and Perlis, A. J. and Van Zoeren, H. R.},
- booktitle = {Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium},
- date-added = {2014-03-10 12:59:39 +0000},
- date-modified = {2014-03-10 12:59:48 +0000},
- doi = {10.1145/2402536.2402558},
- isbn = {978-1-4503-2792-3},
- location = {Washington, D.C.},
- numpages = {12},
- pages = {203--214},
- publisher = {ACM},
- title = {LC2: A Language for Conversational Computing},
- author = {Steve Zdancewic and Dan Grossman and Greg Morrisett},
- booktitle = {ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming: Proceedings of the 3rd ACM SIGPLAN international conference on Functional programming},
- date-added = {2013-12-05 15:35:00 +0000},
- date-modified = {2013-12-05 15:36:44 +0000},
- month = {September},
- title = {Principals in Programming Languages: A Syntactic Proof Technique},
- author = {Frampton, Daniel and Blackburn, Stephen M. and Cheng, Perry and Garner, Robin J. and Grove, David and Moss, J. Eliot B. and Salishev, Sergey I.},
- booktitle = {Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments},
- date-added = {2012-01-12 07:22:50 -0700},
- date-modified = {2012-01-12 07:22:54 -0700},
- doi = {http://doi.acm.org/10.1145/1508293.1508305},
- affiliation = {Univ. Santiago de Compostela Dept. Electronics and Computer Science Campus Sur. 15706 Santiago de Compostela Spain Campus Sur. 15706 Santiago de Compostela Spain},
- author = {Blanco Heras, Dora and Blanco P{\'e}rez, Vicente and Carlos Cabaleiro Dom{\'\i}nguez, Jos{\'e} and Fern{\'a}ndez Rivera, Francisco},
- booktitle = {High-Performance Computing and Networking},
- date-added = {2011-12-19 08:48:11 -0700},
- date-modified = {2011-12-19 08:48:14 -0700},
- editor = {Sloot, Peter and Bubak, Marian and Hoekstra, Alfons and Hertzberger, Bob},
- isbn = {978-3-540-65821-4},
- keyword = {Computer Science},
- note = {10.1007/BFb0100581},
- pages = {201-210},
- publisher = {Springer Berlin / Heidelberg},
- series = {Lecture Notes in Computer Science},
- title = {Modeling and improving locality for irregular problems: Sparse matrix-Vector product on cache memories as a case study},
- author = {Strickland, T. Stephen and Tobin-Hochstadt, Sam and Felleisen, Matthias},
- booktitle = {Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009},
- date-added = {2011-12-11 12:25:48 -0700},
- date-modified = {2011-12-11 12:25:52 -0700},
- doi = {http://dx.doi.org/10.1007/978-3-642-00590-9_3},
- isbn = {978-3-642-00589-3},
- location = {York, UK},
- numpages = {15},
- pages = {32--46},
- publisher = {Springer-Verlag},
- series = {ESOP '09},
- title = {Practical Variable-Arity Polymorphism},
- author = {Desmet, Lieven and Joosen, Wouter and Massacci, Fabio and Philippaerts, Pieter and Piessens, Frank and Siahaan, Ida and Vanoverberghe, Dries},
- author = {Gal, Andreas and Eich, Brendan and Shaver, Mike and Anderson, David and Mandelin, David and Haghighat, Mohammad R. and Kaplan, Blake and Hoare, Graydon and Zbarsky, Boris and Orendorff, Jason and Ruderman, Jesse and Smith, Edwin W. and Reitmaier, Rick and Bebenita, Michael and Chang, Mason and Franz, Michael},
- booktitle = {Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
- date-added = {2011-11-21 10:25:04 -0700},
- date-modified = {2011-11-21 10:25:07 -0700},
- doi = {http://doi.acm.org/10.1145/1542476.1542528},
- author = {Chang, Mason and Smith, Edwin and Reitmaier, Rick and Bebenita, Michael and Gal, Andreas and Wimmer, Christian and Eich, Brendan and Franz, Michael},
- booktitle = {Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments},
- date-added = {2011-11-21 10:13:53 -0700},
- date-modified = {2011-11-21 10:13:54 -0700},
- doi = {http://doi.acm.org/10.1145/1508293.1508304},
- author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Jos{\'e} F. Quesada},
- date-added = {2011-11-04 23:01:24 -0600},
- date-modified = {2011-11-04 23:01:25 -0600},
- journal = {Theoretical Computer Science},
- title = {{Maude}: Specification and Programming in Rewriting Logic},
- author = {Clavel, Manuel and Dur\'{a}n, Fransisco and Eker, Steven and Lincoln, Patrick and Mart\'{\i}-Oliet, Narciso and Meseguer, Jos\'{e} and Quesada, Jose F.},
- booktitle = {Proceedings of the 10th International Conference on Rewriting Techniques and Applications},
- title = {{Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem}},
- author = {Ma{\l}gorzata Biernacka and Olivier Danvy},
- booktitle = {Semantics and Algebraic Specification: Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday},
- date-added = {2011-09-05 09:54:08 +0200},
- date-modified = {2014-07-05 20:49:36 +0000},
- pages = {186-206},
- title = {Towards Compatible and Interderivable Semantic Specifications for the {S}cheme Programming Language, {P}art {II}: Reduction Semantics and Abstract Machines},
- booktitle = {Semantics and Algebraic Specification: Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday},
- crossref = {Mosses:09},
- date-added = {2011-09-05 09:52:33 +0200},
- date-modified = {2011-09-05 09:55:27 +0200},
- pages = {162-185},
- title = {Towards Compatible and Interderivable Semantic Specifications for the {S}cheme Programming Language, {P}art {I}: Denotational Semantics, Natural Semantics, and Abstract Machines},
- annote = {Camlp4 is a preprocessor for OCaml for the implementation of syntax exten- sions using an extensible top down recursive descent parser. New language constructs are translated to OCaml code by syntax expanders that are associated to the syntax extensions. Camlp4 provides quotations and anti-quotations to allow the generation of OCaml code using concrete syntax. The contents of quotations is passed as a string to a quotation expander, which can then process the string in arbitrary ways. A default quotation expander can be defined, but all other quotations have to be typed explictly. The same holds for syntactically ambiguous anti-quotations. As opposed to Maya, the syntax and quotation expanders can not use type information to decide what code to produce.},
- title = {Proposed Wording for Scoped Concept Maps},
- year = {2007}}
-
-@techreport{Gregor:2008uq,
- author = {Douglas Gregor},
- date-added = {2011-03-04 00:11:04 -0700},
- date-modified = {2012-11-09 22:48:43 +0000},
- institution = {ISO/IEC JTC 1 SC22 WG21},
- number = {N2576},
- title = {Type-Soundness and Optimization in the Concepts Proposal Type-Soundness and Optimization in the Concepts Proposal Types-Soundness and Optimization in the Concepts Proposal},
- year = {2008}}
-
-@article{Jarvi:2003uq,
- author = {Jaakko J{\"a}rvi and Gary Powell and Andrew Lumsdaine},
- date-added = {2011-02-28 23:36:54 -0700},
- date-modified = {2011-02-28 23:36:56 -0700},
- journal = {Software---Practice and Experience},
- keyword = CPP,
- number = 3,
- pages = {259--291},
- pdf = {http://parasol.cs.tamu.edu/~jarvi/papers/lambda_spe.pdf},
- title = {{The Lambda Library : unnamed functions in C++}},
- volume = 33,
- year = 2003}
-
-@article{Jarvi:2001fk,
- author = {Jaakko J{\"a}rvi},
- date-added = {2011-02-28 23:36:18 -0700},
- date-modified = {2011-02-28 23:36:20 -0700},
- journal = {C/{C++} Users Journal},
- keyword = CPP,
- month = aug,
- pages = {24--35},
- title = {Tuple types and multiple return values},
- volume = 19,
- year = 2001}
-
-@article{Millstein:2009ys,
- acmid = {1462168},
- address = {New York, NY, USA},
- articleno = {7},
- author = {Millstein, Todd and Frost, Christopher and Ryder, Jason and Warth, Alessandro},
- date-added = {2011-03-01 15:37:08 -0700},
- date-modified = {2011-10-10 13:38:32 -0600},
- doi = {http://doi.acm.org/10.1145/1462166.1462168},
- author = {Anwar Ghuloum and Amanda Sharp and Noah Clemons and Stefanus Du Toit and Rama Malladi and Mukesh Gangadhar and Michael McCool and Hans Pabst},
- date-added = {2010-12-17 13:53:30 -0700},
- date-modified = {2010-12-17 13:55:12 -0700},
- journal = {Dr. Dobb's},
- month = {September},
- title = {Array Building Blocks: A Flexible Parallel Programming Model for Multicore and Many-Core Architectures},
- year = {2010}}
-
-@article{Ferrante:1987fk,
- acmid = {24041},
- address = {New York, NY, USA},
- author = {Ferrante, Jeanne and Ottenstein, Karl J. and Warren, Joe D.},
- date-added = {2010-12-17 10:25:14 -0700},
- date-modified = {2010-12-17 10:25:19 -0700},
- doi = {http://doi.acm.org/10.1145/24039.24041},
- issn = {0164-0925},
- issue = {3},
- journal = {ACM Trans. Program. Lang. Syst.},
- month = {July},
- numpages = {31},
- pages = {319--349},
- publisher = {ACM},
- title = {The program dependence graph and its use in optimization},
- author = {Banerjee, Prithviraj and Chandy, John A. and Gupta, Manish and Hodges IV, Eugene W. and Holm, John G. and Lain, Antonio and Palermo, Daniel J. and Ramaswamy, Shankar and Su, Ernesto},
- date-added = {2010-12-16 21:11:27 -0700},
- date-modified = {2010-12-17 10:23:06 -0700},
- issn = {0018-9162},
- issue = {10},
- journal = {Computer},
- month = {October},
- numpages = {11},
- pages = {37--47},
- publisher = {IEEE Computer Society Press},
- title = {The Paradigm Compiler for Distributed-Memory Multicomputers},
- author = {R.L. Graham and E.L. Lawler and J.K. Lenstra and A.H.G.Rinnooy Kan},
- booktitle = {Discrete Optimization II, Proceedings of the Advanced Research Institute on Discrete Optimization and Systems Applications of the Systems Science Panel of NATO and of the Discrete Optimization Symposium co-sponsored by IBM Canada and SIAM Banff, Aha. and Vancouver},
- date-added = {2010-12-15 14:20:42 -0700},
- date-modified = {2010-12-17 10:23:06 -0700},
- editor = {P.L. Hammer, E.L. Johnson and B.H. Korte},
- issn = {0167-5060},
- pages = {287 - 326},
- publisher = {Elsevier},
- series = {Annals of Discrete Mathematics},
- title = {Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey},
- author = {Swanson, Steven and Schwerin, Andrew and Mercaldi, Martha and Petersen, Andrew and Putnam, Andrew and Michelson, Ken and Oskin, Mark and Eggers, Susan J.},
- author = {Sankaralingam, Karthikeyan and Nagarajan, Ramadass and Liu, Haiming and Kim, Changkyu and Huh, Jaehyuk and Burger, Doug and Keckler, Stephen W. and Moore, Charles R.},
- date-added = {2010-12-11 09:40:43 -0700},
- date-modified = {2010-12-17 10:23:06 -0700},
- issn = {0163-5964},
- issue = {2},
- journal = {SIGARCH Comput. Archit. News},
- month = {May},
- numpages = {12},
- pages = {422--433},
- publisher = {ACM},
- title = {Exploiting ILP, TLP, and DLP with the polymorphous TRIPS architecture},
- author = {Waingold, Elliot and Taylor, Michael and Srikrishna, Devabhaktuni and Sarkar, Vivek and Lee, Walter and Lee, Victor and Kim, Jang and Frank, Matthew and Finch, Peter and Barua, Rajeev and Babb, Jonathan and Amarasinghe, Saman and Agarwal, Anant},
- date-added = {2010-12-11 08:46:41 -0700},
- date-modified = {2010-12-17 10:23:06 -0700},
- issn = {0018-9162},
- issue = {9},
- journal = {Computer},
- month = {September},
- numpages = {8},
- pages = {86--93},
- publisher = {IEEE Computer Society Press},
- title = {Baring It All to Software: Raw Machines},
- author = {Charles, Philippe and Grothoff, Christian and Saraswat, Vijay and Donawa, Christopher and Kielstra, Allan and Ebcioglu, Kemal and von Praun, Christoph and Sarkar, Vivek},
- booktitle = {Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
- date-added = {2010-12-05 12:12:12 -0700},
- date-modified = {2010-12-17 10:23:06 -0700},
- isbn = {1-59593-031-0},
- keywords = {Java, X10, atomic blocks, clocks, data distribution, multithreading, non-uniform cluster computing (NUCC), partitioned global address space (PGAS), places, productivity, scalability},
- location = {San Diego, CA, USA},
- numpages = {20},
- pages = {519--538},
- publisher = {ACM},
- series = {OOPSLA '05},
- title = {X10: an object-oriented approach to non-uniform cluster computing},
- annote = {``Concepts'' are an essential language feature needed to support generic programming in the large. Concepts allow for succinct expression of bounds on type parameters of generic algorithms, enable systematic organization of problem domain abstractions, and make generic algorithms easier to use. In this paper we formalize the design of a type system and semantics for concepts that is suitable for non-type-inferencing languages. Our design shares much in common with the type classes of Haskell, though our primary influence is from best practices in the \Cpp{} community, where concepts are used to document type requirements for templates in generic libraries. The technical development in this paper defines an extension to System F and a type-directed translation from the extension back to System F. The translation is proved sound; the proof is written in the human readable but machine checkable Isar language and has been automatically verified by the Isabelle proof assistant. This document was generated directly from the Isar theory files using Isabelle's support for literate proofs.},
- author = {Jeremy G. Siek and Andrew Lumsdaine},
- date-added = {2010-08-03 09:24:19 -0600},
- date-modified = {2010-12-17 10:23:06 -0700},
- institution = {Indiana University},
- month = {December},
- number = 605,
- title = {Essential Language Support for Generic Programming: Formalization Part 1},
- booktitle = {OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications},
- author = {Lars Birkedal and Nick Rothwell and Mads Tofte and David N. Turner},
- date-added = {2010-03-17 10:54:56 -0600},
- date-modified = {2010-03-17 10:55:02 -0600},
- institution = {Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen},
- number = {DIKU-report 93/14},
- semno = {D-181},
- summary = {The ML Kit is an implementation of ``The Definition of Standard ML.'' It provides a highly modular implementation of complete Standard ML. In addition, it contains a compiler from the Standard ML Core Language to an enriched lambda-calculus and a compiler for this language. This technical report explains how to use, read and modify the Kit.},
- annote = {This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light of the past decade of generic library research and development. Based on this analysis we propose and evaluate relevant language design decisions for G. Generic programming is concerned with the construction of libraries of reusable software components and is inherently about programming ``in the large.'' Thus, the design of G places its greatest emphasis on modularity and safety, while also providing run-time efficiency and programmer convenience. This paper focuses on name scoping and type checking for generic functions, support for dispatching to algorithm specializations, support for type associations among abstractions, and separate compilation. The resulting design for G includes three novel aspects: scoped models declarations, nested types in concepts, and optional type constraints on generic functions. },
- author = {Jeremy G. Siek and Andrew Lumsdaine},
- booktitle = {Concepts: a Linguistic Foundation of Generic Programming},
- author = {Satish Balay and Kris Buschelman and William D. Gropp and Dinesh Kaushik and Matthew G. Knepley and Lois Curfman McInnes and Barry F. Smith and Hong Zhang},
- date-added = {2009-08-25 22:33:17 -0600},
- date-modified = {2009-08-25 22:33:26 -0600},
- note = {http://www.mcs.anl.gov/petsc},
- title = {{PETSc} {W}eb page},
- year = {2009}}
-
-@techreport{Balay:2008fv,
- author = {Satish Balay and Kris Buschelman and Victor Eijkhout and William D. Gropp and Dinesh Kaushik and Matthew G. Knepley and Lois Curfman McInnes and Barry F. Smith and Hong Zhang},
- date-added = {2009-08-25 22:32:55 -0600},
- date-modified = {2009-08-25 22:32:59 -0600},
- institution = {Argonne National Laboratory},
- number = {ANL-95/11 - Revision 3.0.0},
- title = {{PETS}c Users Manual},
- year = {2008}}
-
-@inproceedings{Balay:1997bs,
- author = {Satish Balay and William D. Gropp and Lois Curfman McInnes and Barry F. Smith},
- booktitle = {Modern Software Tools in Scientific Computing},
- date-added = {2009-08-25 22:29:59 -0600},
- date-modified = {2009-08-25 22:30:06 -0600},
- editor = {E. Arge and A. M. Bruaset and H. P. Langtangen},
- pages = {163--202},
- publisher = {Birkh{\"{a}}user Press},
- title = {Efficient Management of Parallelism in Object Oriented Numerical Software Libraries},
- year = {1997}}
-
-@phdthesis{Bondhugula08-thesis,
- author = {Uday Bondhugula},
- month = {August},
- school = {The Ohio State University},
- title = {Effective Automatic Parallelization and Optimization Using the Polyhedral Model},
- year = {2008}}
-
-@article{Ghosh99cachemiss,
- author = {Somnath Ghosh and Margaret Martonosi and Sharad Malik},
- journal = {ACM Transactions on Programming Languages and Systems},
- pages = {703--746},
- title = {Cache miss equations: A compiler framework for analyzing and tuning memory behavior},
- volume = {21},
- year = {1999}}
-
-@inproceedings{Rivera2000,
- address = {Washington, DC, USA},
- author = {Gabriel Rivera and Chau-Wen Tseng},
- booktitle = {Supercomputing '00: Proceedings of the 2000 ACM/IEEE Conference on Supercomputing (CDROM)},
- pages = {32},
- publisher = {IEEE Computer Society},
- title = {Tiling optimizations for {3D} scientific computations},
- year = {2000}}
-
-@inproceedings{qing08,
- address = {Berlin, Heidelberg},
- author = {Yi, Qing and Qasem, Apan},
- booktitle = {Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers},
- date-modified = {2010-12-17 10:23:06 -0700},
- isbn = {978-3-540-89739-2},
- pages = {343--355},
- publisher = {Springer-Verlag},
- title = {Exploring the Optimization Space of Dense Linear Algebra Kernels},
- author = {Agakov, F. and Bonilla, E. and Cavazos, J. and Franke, B. and Fursin, G. and O'Boyle, M. F. P. and Thomson, J. and Toussaint, M. and Williams, C. K. I.},
- booktitle = {CGO '06: Proceedings of the International Symposium on Code Generation and Optimization},
- date-modified = {2010-12-17 10:23:06 -0700},
- isbn = {0-7695-2499-0},
- pages = {295--305},
- publisher = {IEEE Computer Society},
- title = {Using Machine Learning to Focus Iterative Optimization},
- title = {Syntax Definition for Language Prototyping},
- year = {1997}}
-
-@book{Tomita:1985qr,
- address = {Norwell, MA, USA},
- author = {Masaru Tomita},
- date-added = {2008-12-02 14:16:33 -0700},
- date-modified = {2008-12-02 14:16:39 -0700},
- isbn = {0898382025},
- publisher = {Kluwer Academic Publishers},
- title = {Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems},
- year = {1985}}
-
-@inproceedings{Brand:2001hl,
- address = {London, UK},
- author = {Mark G. J. van den Brand and Arie van Deursen and Jan Heering and H. A. de Jong and Merijn de Jonge and Tobias Kuipers and Paul Klint and Leon Moonen and Pieter A. Olivier and Jeroen Scheerder and Jurgen J. Vinju and Eelco Visser and Joost Visser},
- booktitle = {CC '01: Proceedings of the 10th International Conference on Compiler Construction},
- date-added = {2008-12-02 13:50:35 -0700},
- date-modified = {2008-12-02 13:50:51 -0700},
- isbn = {3-540-41861-X},
- pages = {365--370},
- publisher = {Springer-Verlag},
- title = {The {ASF+SDF} Meta-environment: A Component-Based Language Development Environment},
- title = {Object-oriented software construction (2nd ed.)},
- year = {1997}}
-
-@article{Seiler:2008rc,
- address = {New York, NY, USA},
- author = {Larry Seiler and Doug Carmean and Eric Sprangle and Tom Forsyth and Michael Abrash and Pradeep Dubey and Stephen Junkins and Adam Lake and Jeremy Sugerman and Robert Cavin and Roger Espasa and Ed Grochowski and Toni Juan and Pat Hanrahan},
- date-added = {2008-08-04 09:59:06 -0600},
- date-modified = {2010-12-17 10:23:07 -0700},
- issn = {0730-0301},
- journal = {ACM Trans. Graph.},
- number = {3},
- pages = {1--15},
- publisher = {ACM},
- title = {Larrabee: a many-core x86 architecture for visual computing},
- author = {Richard H. Austing and Bruce H. Barnes and Della T. Bonnette and Gerald L. Engel and Gordon Stokes},
- date-added = {2008-07-13 23:30:32 -0600},
- date-modified = {2010-12-17 10:23:07 -0700},
- issn = {0001-0782},
- journal = {Commun. ACM},
- number = {3},
- pages = {147--166},
- publisher = {ACM},
- title = {Curriculum '78: recommendations for the undergraduate program in computer science--- a report of the ACM curriculum committee on computer science},
- journal = {SIAM History of Numerical Analysis and Scientific Computing Project},
- month = {April},
- title = {Jack {Dongarra}, Oral history interview},
- year = {2005}}
-
-@article{Huet:1980ng,
- address = {New York, NY, USA},
- author = {G\'{e}rard Huet},
- date-added = {2008-06-30 14:29:11 -0600},
- date-modified = {2010-12-17 10:23:07 -0700},
- issn = {0004-5411},
- journal = {J. ACM},
- number = {4},
- pages = {797--821},
- publisher = {ACM},
- title = {Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems},
- title = {Generic programming and the {STL}: Using and extending the {C++} {S}tandard {T}emplate {L}ibrary},
- year = 1998}
-
-@inbook{koethe99:_reusable_vision,
- author = {Ullrich K{\"o}the},
- chapter = {Reusable Software in Computer Vision},
- date-added = {2008-05-24 14:50:07 -0600},
- date-modified = {2008-05-24 14:50:07 -0600},
- publisher = {Acadamic Press},
- title = {Handbook on Computer Vision and Applications},
- volume = 3,
- year = 1999}
-
-@inproceedings{boissonnat99:_cgal,
- author = {Jean-Daniel Boissonnat and Frederic Cazals and Frank Da and Olivier Devillers and Sylvain Pion and Francois Rebufat and Monique Teillaud and Mariette Yvinec},
- booktitle = {Proceedings of the Fifteenth Annual Symposium on Computational Geometry},
- date-added = {2008-05-24 14:49:53 -0600},
- date-modified = {2010-12-17 10:23:07 -0700},
- isbn = {1-58113-068-6},
- location = {Miami Beach, Florida, United States},
- pages = {421--422},
- publisher = {ACM Press},
- title = {Programming with {CGAL}: the example of triangulations},
- author = {W. R. Pitt and M. A. Williams and M. Steven and B. Sweeney and A. J. Bleasby and D. S. Moss},
- date-added = {2008-05-24 14:49:39 -0600},
- date-modified = {2008-05-24 14:49:39 -0600},
- journal = {Bioinformatics},
- number = 8,
- pages = {729--737},
- title = {The Bioinformatics Template Library: generic components for biocomputing},
- volume = 17,
- year = 2001}
-
-@article{troyer:_alps,
- author = {F. Alet and P. Dayal and A. Grzesik and A. Honecker and M. Koerner and A. Laeuchli and S.~R. Manmana and I.~P. McCulloch and F. Michel and R.~M. Noack and G. Schmid and U. Schollwoeck and F. Stoeckli and S. Todo and S. Trebst and M. Troyer and P. Werner and S. Wessel},
- date-modified = {2010-12-17 10:23:07 -0700},
- journal = {J.PHYS.SOC.JPN.},
- pages = {30},
- title = {The {ALPS} project: open source software for strongly correlated systems},
- author = {Martin Odersky and Philippe Altherr and Vincent Cremet and Iulian Dragos and Gilles Dubochet and Burak Emir and Sean McDirmid and Stephane Micheloud and Nikolay Mihaylov and Michel Schinz and Erik Stenmn and Lex Spoon and Matthias Zenger},
- date-added = {2008-05-24 14:19:51 -0600},
- date-modified = {2018-03-01 17:01:27 +0000},
- institution = {EPFL},
- number = {IC/2004/64},
- title = {An Overview of the {Scala} Programming Language},
- author = {Donald D. Chamberlin and Morton M. Astrahan and Michael W. Blasgen and James N. Gray and W. Frank King and Bruce G. Lindsay and Raymond Lorie and James W. Mehl and Thomas G. Price and Franco Putzolu and Patricia Griffiths Selinger and Mario Schkolnick and Donald R. Slutz and Irving L. Traiger and Bradford W. Wade and Robert A. Yost},
- author = {Philip Alpatov and Greg Baker and Carter Edwards and John Gunnels and Greg Morrow and James Overfelt and Robert van de Geijn and Yuan-Jye J. Wu},
- booktitle = {Supercomputing '97: Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM)},
- date-added = {2008-01-28 11:07:41 -0700},
- date-modified = {2010-12-17 10:23:08 -0700},
- isbn = {0-89791-985-8},
- location = {San Jose, CA},
- pages = {1--16},
- publisher = {ACM},
- title = {PLAPACK: parallel linear algebra package design overview},
- author = {Cooper, Keith D. and Grosul, Alexander and Harvey, Timothy J. and Reeves, Steven and Subramanian, Devika and Torczon, Linda and Waterman, Todd},
- booktitle = {LCTES '05: Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems},
- citeulike-article-id = {2111197},
- date-added = {2007-12-13 21:31:30 -0700},
- date-modified = {2010-12-17 10:23:08 -0700},
- isbn = {1595930183},
- keywords = {adaptive, compile, optimization},
- pages = {69--77},
- priority = {2},
- publisher = {ACM},
- title = {{ACME}: adaptive compilation made efficient},
- author = {Sandhya Krishnan and Sriram Krishnamoorthy and Gerald Baumgartner and Chi-Chung Lam and J. Ramanujam and P. Sadayappan and Venkatesh Choppella},
- date-added = {2007-08-07 22:08:17 +0200},
- date-modified = {2010-12-17 10:23:08 -0700},
- issn = {0743-7315},
- journal = {J. Parallel Distrib. Comput.},
- number = {5},
- pages = {659--673},
- publisher = {Academic Press, Inc.},
- title = {Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver},
- author = {A. E. Eichenberger and J. K. O'Brien and K. M. O'Brien and P. Wu and T. Chen and P. H. Oden and D. A. Prener and J. C. Shepherd and B. So and Z. Sura and A. Wang and T. Zhang and P. Zhao and M. K. Gschwind and R. Archambault and Y. Gao and R. Koo},
- date-added = {2007-08-07 21:25:40 +0200},
- date-modified = {2007-08-07 21:25:45 +0200},
- issn = {0018-8670},
- journal = {IBM Syst. J.},
- number = {1},
- pages = {59--84},
- publisher = {IBM Corp.},
- title = {Using advanced compiler technology to exploit the performance of the Cell Broadband EngineTM architecture},
- volume = {45},
- year = {2006}}
-
-@inproceedings{Kandemir:2001gf,
- author = {Mahmut Kandemir},
- booktitle = {SAC '01: Proceedings of the 2001 ACM symposium on Applied computing},
- date-added = {2007-08-07 21:16:51 +0200},
- date-modified = {2010-12-17 10:23:08 -0700},
- isbn = {1-58113-287-5},
- location = {Las Vegas, Nevada, United States},
- pages = {632--635},
- publisher = {ACM Press},
- title = {A dynamic locality optimization algorithm for linear algebra codes},
- author = {Ricky A. Kendall and Edoardo Apra and David E. Bernholdt and Eric J. Bylaska and Michel Dupuis and George I. Fann and Robert J. Harrison and Jialin Ju and Jeffrey A. Nichols and Jarek Nieplocha and T. P. Straatsma and Theresa L. Windus and Adrian T. Wong},
- date-added = {2007-07-24 21:12:48 -0600},
- date-modified = {2009-08-25 22:28:17 -0600},
- journal = {Computer Physics Communications},
- month = {June},
- pages = {260-283},
- title = {High performance computational chemistry: An overview of {NWChem} a distributed parallel application},
- author = {Michael A. Heroux and Roscoe A. Bartlett and Vicki E. Howle and Robert J. Hoekstra and Jonathan J. Hu and Tamara G. Kolda and Richard B. Lehoucq and Kevin R. Long and Roger P. Pawlowski and Eric T. Phipps and Andrew G. Salinger and Heidi K. Thornquist and Ray S. Tuminaro and James M. Willenbring and Alan Williams and Kendall S. Stanley},
- date-added = {2007-07-22 09:48:56 -0600},
- date-modified = {2010-12-17 10:23:08 -0700},
- issn = {0098-3500},
- journal = {ACM Trans. Math. Softw.},
- number = {3},
- pages = {397--423},
- publisher = {ACM Press},
- title = {An overview of the {Trilinos} project},
- author = {Ganesh Bikshandi and Jia Guo and Daniel Hoeflinger and Gheorghe Almasi and Basilio B. Fraguela and Maria J. Garzaran and David Padua and Christoph von Praun},
- booktitle = {PPoPP '06: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming},
- date-added = {2007-06-26 08:47:48 -0600},
- date-modified = {2010-12-17 10:23:08 -0700},
- isbn = {1-59593-189-9},
- location = {New York, New York, USA},
- pages = {48--57},
- publisher = {ACM Press},
- title = {Programming for parallelism and locality with hierarchically tiled arrays},
- booktitle = {OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications},
- date-added = {2007-05-08 20:35:21 -0600},
- date-modified = {2010-12-17 10:23:08 -0700},
- isbn = {0-201-52430-X},
- location = {Ottawa, Canada},
- pages = {1--11},
- publisher = {ACM Press},
- title = {The design of the C++ Booch Components},
- author = {Kayvon Fatahalian and Daniel Reiter Horn and Timothy J. Knight and Larkhoon Leem and Mike Houston and Ji Young Park and Mattan Erez and Manman Ren and Alex Aiken and William J. Dally and Pat Hanrahan},
- booktitle = {SC '06: Proceedings of the 2006 ACM/IEEE conference on Supercomputing},
- date-added = {2007-03-22 17:34:18 -0600},
- date-modified = {2014-08-27 14:30:52 +0000},
- isbn = {0-7695-2700-0},
- location = {Tampa, Florida},
- pages = {83},
- publisher = {ACM Press},
- title = {Sequoia: programming the memory hierarchy},
- author = {Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn Stephanie Weirich and Steve Zdancewic},
- date-added = {2007-03-10 12:36:13 -0700},
- date-modified = {2009-08-25 22:28:18 -0600},
- month = {May},
- title = {Mechanized Metatheory for the Masses: The {POPLmark} Challenge},
- booktitle = {Principles and Practice of Semantic Web Reasoning, 2nd International Workshop, {PPSWR} 2004, St. Malo, France, September 6-10, 2004, Proceedings},
- date-added = {2007-02-22 20:18:15 -0700},
- date-modified = {2010-12-17 10:23:09 -0700},
- isbn = {3-540-22961-2},
- pages = {76--89},
- publisher = {Springer},
- series = {LNCS},
- title = {Static Type-Checking of Datalog with Ontologies},
- booktitle = {ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering},
- date-added = {2007-02-20 19:14:24 -0700},
- date-modified = {2010-12-17 10:23:09 -0700},
- isbn = {1-59593-014-0},
- location = {Lisbon, Portugal},
- pages = {217--226},
- publisher = {ACM Press},
- title = {Lightweight object specification with typestates},
- author = {Ken Kennedy and Bradley Broom and Arun Chauhan and Robert J. Fowler and John Garvin and Charles Koelbel and Cheryl McCosh and John Mellor-Crummey},
- date-added = {2007-01-17 22:19:31 -0700},
- date-modified = {2009-08-25 22:28:18 -0600},
- journal = {Proceedings of the IEEE},
- month = {February},
- number = {2},
- title = {Telescoping Languages: A System for Automatic Generation of Domain Languages},
- author = {E. Anderson and Z. Bai and J. Dongarra and A. Greenbaum and A. McKenney and J. Du Croz and S. Hammarling and J. Demmel and C. Bischof and D. Sorensen},
- booktitle = {Supercomputing '90: Proceedings of the 1990 ACM/IEEE conference on Supercomputing},
- date-added = {2007-01-11 21:50:56 -0700},
- date-modified = {2009-08-25 22:28:18 -0600},
- isbn = {O-69791-412-O},
- location = {New York, New York},
- pages = {2--11},
- publisher = {IEEE Computer Society},
- title = {{LAPACK}: a portable linear algebra library for high-performance computers},
- author = {Laura Susan Blackford and J. Choi and A. Cleary and A. Petitet and R. C. Whaley and J. Demmel and I. Dhillon and K. Stanley and J. Dongarra and S. Hammarling and G. Henry and D. Walker},
- booktitle = {Supercomputing '96: Proceedings of the 1996 ACM/IEEE conference on Supercomputing (CDROM)},
- date-added = {2007-01-10 10:39:18 -0700},
- date-modified = {2010-12-17 10:23:09 -0700},
- isbn = {0-89791-854-1},
- location = {Pittsburgh, Pennsylvania, United States},
- pages = {5},
- publisher = {IEEE Computer Society},
- title = {{ScaLAPACK}: a portable linear algebra library for distributed memory computers - design issues and performance},
- author = {William Humphrey and Steve Karmesin and Federico Bassetti and John Reynders},
- booktitle = {ISCOPE '97: Proceedings of the Scientific Computing in Object-Oriented Parallel Environments},
- date-added = {2006-12-19 16:21:51 -0700},
- date-modified = {2007-05-18 13:42:22 -0600},
- isbn = {3-540-63827-X},
- pages = {185--194},
- publisher = {Springer-Verlag},
- title = {Optimization of Data-Parallel Field Expressions in the {POOMA} Framework},
- year = {1997}}
-
-@inproceedings{Vajracharya:1999ve,
- address = {New York, NY, USA},
- author = {Suvas Vajracharya and Steve Karmesin and Peter Beckman and James Crotinger and Allen Malony and Sameer Shende and Rod Oldehoeft and Stephen Smith},
- booktitle = {ICS '99: Proceedings of the 13th international conference on Supercomputing},
- date-added = {2006-12-19 16:19:11 -0700},
- date-modified = {2010-12-17 10:23:09 -0700},
- isbn = {1-58113-164-X},
- location = {Rhodes, Greece},
- pages = {302--310},
- publisher = {ACM Press},
- title = {{SMARTS}: exploiting temporal locality and parallelism through vertical execution},
- summary = {Closure analysis is instrumental, but potentially expensive, in optimization and implementation of higher-order functional languages. We present a simplified closure analysis that yields practically satisfactory results and can be computed in (almost-)linear time.},
- title = {Simple Closure Analysis},
- year = {1992}}
-
-@mastersthesis{Rehof:1995ys,
- address = {Department of Computer Science, University of Copenhagen, Denmark},
- summary = {We study Henglein's proof theoretic calculus of dynamic typing, in particular problems of confluence and termination of coercion minimization. We extend Henglein's monomorphic framework to include polymorphism, regular recursive types and discriminative sum types, arriving at a dynamic type system comparable to systems of soft typing in expressive power. We study the problem of completion inference in our generalized setting.},
- title = {Polymorphic Dynamic Typing. Aspects of Inference and Proof Theory},
- author = {Derek L. Nazareth and Marcus A. Rothenberger},
- date-added = {2006-10-06 22:53:00 -0600},
- date-modified = {2007-05-18 13:42:22 -0600},
- journal = {Journal of Systems and Software},
- month = {October},
- number = {2},
- pages = {245-255},
- title = {Assessing the cost-effectiveness of software reuse: A model for planned reuse},
- volume = {73},
- year = {2004}}
-
-@article{Frakes:2001oq,
- author = {William B. Frakes and Giancarlo Succi},
- date-added = {2006-10-06 22:44:55 -0600},
- date-modified = {2007-05-18 13:42:22 -0600},
- journal = {Journal of Systems and Software},
- month = {June},
- number = {2},
- pages = {99-106},
- title = {An industrial study of reuse, quality, and productivity},
- volume = {57},
- year = {2001}}
-
-@article{Kieburtz:1996nx,
- address = {Los Alamitos, CA, USA},
- author = {R.B. Kieburtz and L. McKinney and J.M. Bell and J. Hook and A. Kotov and J. Lewis and D.P. Oliva and T. Sheard and I. Smith and L. Walton},
- date-added = {2006-10-06 22:34:45 -0600},
- date-modified = {2010-12-17 10:23:10 -0700},
- issn = {0270-5257},
- journal = {icse},
- pages = {542},
- publisher = {IEEE Computer Society},
- title = {A software engineering experiment in software component generation},
- title = {A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library},
- year = 1998}
-
-@inproceedings{Siek:2006vn,
- address = {Nantes, France},
- author = {Jeremy G. Siek and Walid Taha},
- booktitle = {ECOOP 2006: European Conference on Object-Oriented Programming},
- date-added = {2006-09-26 11:04:30 -0600},
- date-modified = {2007-05-18 13:42:22 -0600},
- month = {July},
- title = {A Semantic Analysis of {C++} Templates},
- booktitle = {OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications},
- author = {L. Susan Blackford and James Demmel and Jack Dongarra and Iain Duff and Sven Hammarling and Greg Henry and Michael Heroux and Linda Kaufman and Andrew Lumsdaine and Antoine Petitet and Roldan Pozo and Karin Remington and R. Clint Whaley},
- date-added = {2006-09-12 13:31:24 -0600},
- date-modified = {2010-12-17 10:23:10 -0700},
- issn = {0098-3500},
- journal = {ACM Trans. Math. Softw.},
- number = {2},
- pages = {135--151},
- publisher = {ACM Press},
- title = {An updated set of basic linear algebra subprograms ({BLAS})},
- author = {Francine Berman and Andrew Chien and Keith Cooper and Jack Dongarra and Ian Foster and Dennis Gannon and Lennart Johnsson and Ken Kennedy and Carl Kesselman and John Mellor-Crumme and Dan Reed and Linda Torczon and Rich Wolski},
- date-added = {2006-08-30 10:13:41 -0600},
- date-modified = {2010-12-17 10:23:10 -0700},
- issn = {1094-3420},
- journal = {Int. J. High Perform. Comput. Appl.},
- number = {4},
- pages = {327--344},
- publisher = {Sage Publications, Inc.},
- title = {The GrADS Project: Software Support for High-Level Grid Application Development},
- author = {Gerald Baumgartner and David E. Bernholdt and Daniel Cociorva and Robert Harrison and So Hirata and Chi-Chung Lam and Marcel Nooijen and Russell Pitzer and J. Ramanujam and P. Sadayappan},
- booktitle = {Proceedings of the 2002 ACM/IEEE conference on Supercomputing},
- date-added = {2006-08-30 10:12:17 -0600},
- date-modified = {2009-08-25 22:28:19 -0600},
- location = {Baltimore, Maryland},
- pages = {1--10},
- publisher = {IEEE Computer Society Press},
- title = {A high-level approach to synthesis of high-performance codes for quantum chemistry},
- author = {P. Banerjee and A. Choudhary and S. Hauck and N. Shenoy and C. Bachmann and M. Chang and M. Haldar and P. Joisha and A. Jones and A. Kanhare and A. Nayak and S. Periyacheri and M. Walkden},
- date-added = {2006-08-29 23:02:35 -0600},
- date-modified = {2007-05-18 13:42:22 -0600},
- institution = {Northwestern University},
- title = {MATCH: A {MATLAB} Compiler for Adaptive Computing Systems},
- year = {1999}}
-
-@techreport{Keren:1995ve,
- author = {Y. Keren},
- date-added = {2006-08-29 22:56:02 -0600},
- date-modified = {2007-05-18 13:42:22 -0600},
- institution = {Israel Institute of Technology},
- title = {MATCOM: A {MATLAB} to C++ translator and support libraries},
- year = {1995}}
-
-@inproceedings{Menon:1999ly,
- address = {New York, NY, USA},
- author = {Vijay Menon and Keshav Pingali},
- booktitle = {ICS '99: Proceedings of the 13th International Conference on Supercomputing},
- date-added = {2006-08-29 22:46:37 -0600},
- date-modified = {2010-12-17 10:23:10 -0700},
- isbn = {1-58113-164-X},
- location = {Rhodes, Greece},
- pages = {434--443},
- publisher = {ACM Press},
- title = {High-level semantic optimization of numerical codes},
- author = {Krzysztof Czarnecki and Ulrich W. Eisenecker and Robert Gl{\"u}ck and David Vandevoorde and Todd L. Veldhuizen},
- booktitle = {Selected Papers from the International Seminar on Generic Programming},
- date-added = {2006-08-15 16:19:55 -0600},
- date-modified = {2007-05-18 13:42:22 -0600},
- isbn = {3-540-41090-2},
- pages = {25--39},
- publisher = {Springer-Verlag},
- title = {Generative Programming and Active Libraries},
- year = {2000}}
-
-@article{Puschel:2004ij,
- address = {Thousand Oaks, CA, USA},
- author = {Markus P{\"u}schel and Josse M. F. Moura and Bryan Singer and Jianxin Xiong and Jeremy Johnson and David Padua and Manuela Veloso and Robert W. Johnson},
- date-added = {2006-08-15 16:02:59 -0600},
- date-modified = {2010-12-17 10:23:10 -0700},
- issn = {1094-3420},
- journal = {Int. J. High Perform. Comput. Appl.},
- number = {1},
- pages = {21--45},
- publisher = {Sage Publications, Inc.},
- title = {Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms},
- author = {Jim Demmel and Jack Dongarra and Victor Eijkhout and Erika Fuentes and Antoine Petitet and Rich Vuduc and R. Clint Whaley and Katherine Yelick},
- date-added = {2006-08-15 00:04:26 -0600},
- date-modified = {2009-08-25 22:28:19 -0600},
- journal = {Proceedings of the IEEE},
- title = {Self Adapting Linear Algebra Algorithms and Software},
- author = {R. Barrett and M. Berry and T. F. Chan and J. Demmel and J. Donato and J. Dongarra and V. Eijkhout and R. Pozo and C. Romine and H. Van der Vorst},
- date-added = {2006-08-07 21:55:25 -0600},
- date-modified = {2009-08-25 22:28:19 -0600},
- publisher = {SIAM},
- title = {Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods, 2nd Edition},
- author = {Walid Taha and Cristiano Calcagno and Xavier Leroy and Ed Pizzi and Emir Pasalic and Jason Lee Eckhardt and Roumen Kaiabachev and Oleg Kiselyov},
- date-added = {2006-04-29 11:05:03 -0500},
- date-modified = {2010-12-17 10:23:11 -0700},
- howpublished = {Available online from {\tt http://www.metaocaml.org/}},
- organization = {Rice University},
- title = {{M}eta{OC}aml: A compiled, type-safe multi-stage programming language.},
- year = {2004},
- Bdsk-Url-1 = {http://www.metaocaml.org/}}
-
-@inproceedings{Shao:2002ur,
- address = {New York, NY, USA},
- author = {Zhong Shao and Bratin Saha and Valery Trifonov and Nikolaos Papaspyrou},
- booktitle = {POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
- author = {Simon {Peyton~Jones} and Dimitrios Vytiniotis and Stephanie Weirich and Mark Shields},
- category = {fcp},
- cattype = {paper},
- date-added = {2006-04-26 09:07:57 -0500},
- date-modified = {2010-12-17 10:23:11 -0700},
- historical = {This long tutorial paper studies type inference for higher-rank polymorhism, and includes a prototype implementation. Grab it from the url below.},
- note = {Accepted for publication to the Journal of Functional Programming},
- title = {Practical type inference for arbitrary-rank types},
- annote = {Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pushing update markers on the stack in a way similar to the TIM and the STG machine. When a sequence of consecutive markers appears on the stack, all but the first cause redundant updates. Improvements related to these sequences have dealt with either the consumption of the markers or the removal of the markers once they appear. Here we present an improvement that eliminates the production of marker sequences of length greater than one. This improvement results in the C machine, a more space and time efficient variant of K. We then apply the classic optimization of short-circuiting operand variable dereferences to create the call-by-need S machine. Finally, we combine the two improvements in the CS machine. On our benchmarks this machine uses half the stack space, performs one quarter as many updates, and executes between 27 0.000000aster and 17lower than our L variant of Sestoft's lazy Krivine machine. More interesting is that on one benchmark L, S, and C consume unbounded space, but CS consumes constant space. Our comparisons to Sestoft's Mark 2 machine are not exact, however, since we restrict ourselves to unpreprocessed closed lambda terms. Our variant of his machine does no environment trimming, conversion to deBruijn-style variable access, and does not provide basic constants, data type constructors, or the recursive let. (The Y combinator is used instead.)},
- author = {Daniel P. Friedman and Abdulaziz Ghuloum and Jeremy G. Siek and Lynn Winebarger},
- date-added = {2005-12-01 23:12:41 -0500},
- date-modified = {2010-12-17 10:23:11 -0700},
- institution = {Indiana University},
- month = {November},
- note = {To appear in the journal, Higher Order and Symbolic Computation},
- annote = {The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale software libraries. The fundamental principle of generic programming is the realization of interfaces for entire sets of components, based on their essential syntactic and semantic requirements, rather than for any particular components. Many programming languages have features for describing interfaces between software components, but none completely support the approach used in generic programming. We have recently developed G, a language designed to provide first-class language support for generic programming and large-scale libraries. In this paper, we present an overview of G and analyze the interdependence between language features and libraries design in light of a complete implementation of the Standard Template Library using G. In addition, we discuss important issues related to modularity and encapsulation in large-scale libraries and how language support for validation of components in isolation can prevent many common problems in component integration. },
- author = {Jeremy G. Siek and Andrew Lumsdaine},
- booktitle = {{GPCE} '05: Proceedings of the 4th International Conference on {Generative} {Programming} and {Component} {Engineering}},
- date-added = {2005-12-01 23:04:41 -0500},
- date-modified = {2009-08-25 22:28:20 -0600},
- month = {September},
- title = {Language Requirements for Large-Scale Generic Libraries},
- annote = {``Concepts'' are an essential language feature needed to support generic programming in the large. Concepts allow for succinct expression of bounds on type parameters of generic algorithms, enable systematic organization of problem domain abstractions, and make generic algorithms easier to use. In this paper we present the design of a type system and semantics for concepts that is suitable for non-type-inferencing languages. Our design shares much in common with the type classes of Haskell, though our primary influence is from best practices in the \Cpp{} community, where concepts are used to document type requirements for templates in generic libraries. Concepts include a novel combination of associated types and same-type constraints that do not appear in type classes, but that are similar to nested types and type sharing in ML.},
- author = {Jeremy G. Siek and Andrew Lumsdaine},
- booktitle = {{PLDI} '05: Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming Language Design and Implementation},
- date-added = {2005-12-01 23:02:13 -0500},
- date-modified = {2010-12-17 10:23:11 -0700},
- isbn = {1-59593-056-6},
- month = {June},
- pages = {73--84},
- publisher = {{ACM} Press},
- title = {Essential Language Support for Generic Programming},
- booktitle = {{ISSAC}: Proceedings of the {ACM} {SIGSAM} International Symposium on Symbolic and Algebraic Computation},
- comment___rest_of_title = {(formerly {SYMSAM}, {SYMSAC}, {EUROSAM}, {EUROCAL}) (also sometimes in cooperation with the Symbolic and Algebraic Manipulation Groupe in Europe ({SAME}))},