2009

1. Brian W. Barrett. One-Sided Communication for High Performance Computing Applications. PhD thesis, Indiana University, March 2009. [bibtex-key = brbarret_thesis09] [bibtex-entry]



2. M. H. Swat, S. D. Hester, A. I. Balter, R. W. Heiland, B. L. Zaitlen, and J. A. Glazier. Multicell simulations of development and disease using the CompuCell3D simulation environment. In I. V. Maly, editor,Systems Biology, volume 500 of Methods in Molecular Biology, pages 361--428. Humana Press, Clifton, N.J., 2009. [bibtex-key = MMB+09] [bibtex-entry]



3. Peter Gottschling, David S. Wise, and Adwait Joshi. Generic Support of Algorithmic and Structural Recursion for Scientific Computing. The International Journal of Parallel, Emergent and Distributed Systems (IJPEDS), 2009.
   Note: Accepted. [bibtex-key = pg_ijpeds_recursion] [bibtex-entry]



4. T. Hoefler, T. Schneider, and A. Lumsdaine. LogGP in Theory and Practice - An In-depth Analysis of Modern Interconnection Networks and Benchmarking Methods for Collective Operations.. Elsevier Journal of Simulation Modelling Practice and Theory, Jun. 2009. [bibtex-key = hoefler-loggp-colls] [bibtex-entry]



5. T. Hoefler, T. Schneider, and A. Lumsdaine. The Effect of Network Noise on Large-Scale Collective Communications. Parallel Processing Letters (PPL), Dec. 2009.
   Note: Accepted for publication (in print). [bibtex-key = hoefler-collnetnoise] [bibtex-entry]



6. Marcin Zalewski and Sibylle Schupp. A Semantic Definition of Separate Type Checking in C++ with Concepts. Journal of Object Technology, 8(5):105--132, 2009.
   Note: Extended version available in Zalewski's PhD thesis. [bibtex-key = Zalewski_semantic_2009] [bibtex-entry]



7. Zhendong Su Andreas Saebjoernsen, Jeremiah Willcock, Thomas Panas, Dan Quinlan. Detecting Code Clones in Binary Executables. In International Conference on Software Testing and Analysis (ISSTA), July 2009.
   Note: To appear. [bibtex-key = saebjoernsen09detecting] [bibtex-entry]



8. Joseph A. Cottam and Andrew Lumsdaine. Algebraic Guide Generation. In 13th International Conference on Information Visualzation (IV'09), July 2009. [bibtex-key = Cottam2008AutoGuide] [bibtex-entry]



9. Ronald Garcia, Andrew Lumsdaine, and Amr Sabry. Lazy evaluation and delimited control. In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, NY, USA, pages 153--164, 2009. ACM. [bibtex-key = garcia09:call-by-need] [bibtex-entry]



10. Peter Gottschling and Dag Lindbo. Generic Compressed Sparse Matrix Insertion: Algorithms and Implementations in MTL4 and FEniCS. In POOSC 2009 workshop at ECOOP09, Genova, Italy, ACM Digital Library (doi pending), 2009. [bibtex-key = pg_poosc_insertion] [bibtex-entry]



11. T. Hoefler, A. Lumsdaine, and J. Dongarra. Towards Efficient MapReduce Using MPI. In Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Sep. 2009. Springer. [bibtex-key = hoefler-map-reduce] [bibtex-entry]



12. T. Hoefler, T. Schneider, and A. Lumsdaine. A Power-Aware, Application-Based, Performance Study Of Modern Commodity Cluster Interconnection Networks. In Proceedings of the 23rd IEEE International Parallel & Distributed Processing Symposium (IPDPS), CAC Workshop, May 2009. [bibtex-key = hoefler-power-networks] [bibtex-entry]



13. T. Hoefler, T. Schneider, and A. Lumsdaine. The Impact of Network Noise at Large-Scale Communication Performance. In Proceedings of the 23rd IEEE International Parallel & Distributed Processing Symposium (IPDPS), LSPP Workshop, May 2009. [bibtex-key = hoefler-netnoise] [bibtex-entry]



14. T. Hoefler, T. Schneider, and A. Lumsdaine. Optimized Routing for Large-Scale InfiniBand Networks. In 17th Annual IEEE Symposium on High Performance Interconnects (HOTI 2009), Aug. 2009. [bibtex-key = hoefler-sssp-routing] [bibtex-entry]



15. T. Hoefler, C. Siebert, and A. Lumsdaine. Group Operation Assembly Language - A Flexible Way to Express Collective Communication. In In proceedings of the 38th International Conference on Parallel Processing (ICPP-2009), Sep. 2009. [bibtex-key = hoefler-goal] [bibtex-entry]



16. T. Hoefler and J. L. Traeff. Sparse Collective Operations for MPI. In Proceedings of the 23rd IEEE International Parallel & Distributed Processing Symposium (IPDPS), HIPC Workshop, May 2009. [bibtex-key = hoefler-sparsecolls-hipc] [bibtex-entry]



17. Joshua Hursey, Timothy I. Mattox, and Andrew Lumsdaine. Interconnect Agnostic Checkpoint/Restart in Open MPI. In Proceedings of the Eighteenth International Symposium on High Performance Distributed Computing (HPDC 2009), June 2009. ACM.
    Keywords: Open MPI, high performance computing, rollback-recovery, MPI, fault tolerance, checkpoint/restart, High Speed Interconnect, InfiniBand, Shared Memory, Myrinet, Checkpoint Coordination Protocol. [bibtex-key = hursey:hpdc09:Interconnect-Agnostic-CR] [bibtex-entry]



18. C. Kaiser, T. Hoefler, B. Bierbaum, and T. Bemmerl. Implementation and Analysis of Nonblocking Collective Operations on SCI Networks. In Proceedings of the 23rd IEEE International Parallel & Distributed Processing Symposium (IPDPS), CAC Workshop, May 2009. [bibtex-key = kaiser-nbc-sci] [bibtex-entry]



19. Prabhanjan Kambadur, Amol Ghoting, Anshul Gupta, and Andrew Lumsdaine. Extending Task Parallelism For Frequent Pattern Mining. In Proceedings of the International Conference on Parallel Computing (ParCO), Lyon, France, September 2009. [bibtex-key = kambadur09:frequent_pattern_mining] [bibtex-entry]



20. Prabhanjan Kambadur, Anshul Gupta, Amol Ghoting, Haim Avron, and Andrew Lumsdaine. PFunc: Modern Task Parallelism For Modern High Performance Computing. In Proceedings of the 2008 ACM/IEEE conference on Supercomputing (SC), Portland, Oregon, November 2009. [bibtex-key = kambadur09:pfunc] [bibtex-entry]



21. Prabhanjan Kambadur, Torsten Hoefler, Anshul Gupta, and Andrew Lumsdaine. Demand-driven Execution of Static Direct Acyclic Graphs Using Task Parallelism. In International Conference on High Performance Computing (HiPC), Kochi, India, December 2009. [bibtex-key = kambadur09:dag] [bibtex-entry]



22. Daniel Lincke, Patrik Jansson, Marcin Zalewski, and Cezar Ionescu. Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. In IFIP TC 2 Working Conference on Domain-Specific Languages, pages 236--261, July 2009. [bibtex-key = lincke_generic_2009] [bibtex-entry]



23. J. Mueller, T. Schneider, J. Domke, R. Geyer, M. Haesing, T. Hoefler, S. Hoehlig, G. Juckeland, A. Lumsdaine, M. Mueller, and and W. Nagel. Cluster Challenge 2008: Optimizing Cluster Configuration and Applications to Maximize Power Efficiency. In , Mar. 2009.
    Note: 2nd best paper at the 10th LCI International Conference on High-Performance Clustered Computing. [bibtex-key = mueller-cc08] [bibtex-entry]



24. D. Gregor, T. Hoefler, B. Barrett, and A. Lumsdaine. Fixing Probe for Multi-Threaded MPI Applications. Technical report 674, Indiana University, Jan. 2009. [bibtex-key = mprobe-proposal-rev4] [bibtex-entry]



25. T. Hoefler on behalf of the MPI Forum. MPI: A Message-Passing Interface Standard -- Working-Draft for Nonblocking Collective Operations. Technical report, MPI Forum, Apr. 2009. [bibtex-key = nbc-proposal-rev-6] [bibtex-entry]



26. T. Schneider, T. Hoefler, and A. Lumsdaine. ORCS: An Oblivious Routing Congestion Simulator. Technical report 675, Indiana University, Feb. 2009. [bibtex-key = orcs-tr] [bibtex-entry]



27. T. Schneider, T. Hoefler, and A. Lumsdaine. ORCS: An Oblivious Routing Congestion Simulator. Technical report 675, Indiana University, Feb. 2009. [bibtex-key = orcs-tr] [bibtex-entry]



28. Joseph A. Cottam and Andrew Lumsdaine. GuideMe: Automatic Generation of Legends and Guides, May 2009.
    Keywords: Poster at the Indiana University, School of Informatics graduate-student poster session. Recieved honorable mention award. Accompanying paper to apper in IV'09.. [bibtex-key = Cottam2009GuideMe] [bibtex-entry]



29. Peter Gottschling. Scientific Computing in Silicon (in German). Presentation at Silicon Saxony Day, Dresden, May 2009. [bibtex-key = gottschling09:silicon_saxony] [bibtex-entry]



30. Prabhanjan Kambadur. An OpenCL Tutorial. Invited talk at IBM T J Watson Research Center, August 2009. [bibtex-key = kambadur09:opencl] [bibtex-entry]



31. Prabhanjan Kambadur. Extending Task Parallelism For Frequent Pattern Mining. IBM T J Watson Research Center, August 2009. [bibtex-key = kambadur09:IBM_presentation] [bibtex-entry]



32. Prabhanjan Kambadur. Extending Task Parallelism For Frequent Pattern Mining. International Conference on Parallel Computing, September 2009. [bibtex-key = kambadur09:parco_presentation] [bibtex-entry]



33. Prabhanjan Kambadur. PFunc: Modern Task Parallelism For Modern High Performance Computing. IBM T J Watson Research Center, July 2009. [bibtex-key = kambadur09:pfunc_modern_task_parallelism] [bibtex-entry]



34. Ben Zaitlen and Randy Heiland. Spatial Geometry in CompuCell3D. Presentation at the CellML-SBGN-SBO-BioPAX-MIASE Workshop, Auckland, New Zealand, April 2009. [bibtex-key = zaitlen09:cc3d_cellml_presentation] [bibtex-entry]



35. Andrew Friedley, Christopher Mueller, and Andrew Lumsdaine. Presenting CorePy: A Synthetic Programming Environment For Python.
    Note: Poster Presentation at CGO 2009, March 2009. [bibtex-key = friedley-corepy-cgo09] [bibtex-entry]



36. Andrew Friedley, Christopher Mueller, Ben Martin, and Andrew Lumsdaine. High-Performance Code Generation Using CorePy.
    Note: Presentation at SciPy 2009, August 2009. [bibtex-key = friedley-corepy-scipy09] [bibtex-entry]



37. Andrew Friedley. Improving Performance Critical Code Development Via Synthetic Programming.
    Note: Presentation at Sandia National Laboratories, March 2009. [bibtex-key = friedley-corepy-sandia09] [bibtex-entry]

2008

1. Ronald Garcia. Static Computation and Reflection. PhD thesis, Indiana University, September 2008. [bibtex-key = garcia08static] [bibtex-entry]



2. T. Hoefler. Principles for Coordinated Optimization of Computation and Communication in Large-Scale Parallel Systems. PhD thesis, Sep. 2008. [bibtex-key = hoefler-dissertation] [bibtex-entry]



3. Jeremiah J. Willcock. A Language for Specifying Compiler Optimizations for Generic Software. PhD thesis, Indiana University, January 2008. [bibtex-key = willcock08language] [bibtex-entry]



4. Marcin Zalewski. Generic Programming with Concepts. PhD Thesis, Chalmers University, November 2008. [bibtex-key = zalewski_generic_2008] [bibtex-entry]



5. R. H. Castain, T. S. Woodall, D. J. Daniel, J. M. Squyres, B. Barrett, and G. E. Fagg. The Open Run-Time Environment (OpenRTE): A transparent multicluster environment for high-performance computing. Future Generation Computer Systems, 24(2):153--157, 2008. [bibtex-key = Castain:2008lb] [bibtex-entry]



6. Douglas Gregor and Jaakko Järvi. Variadic Templates for C++0x. Journal of Object Technology, 7(2):31--51, February 2008. [bibtex-key = gregor08:VariadicTemplates] [bibtex-entry]



7. Douglas Gregor. Easier C++: An Introduction to Concepts. DevX.com Special Report, August 2008.
   Note: Rlhttp://www.devx.com/SpecialReports/Article/38864. [bibtex-key = gregor08:devx_concepts] [bibtex-entry]



8. Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, and Andreas Priesnitz. A Comparison of C++ Concepts and Haskell Type Classes. In Proc. ACM SIGPLAN Workshop on Generic Programming, pages 48--37, 2008. ACM. [bibtex-key = bernardy_comparison_2008] [bibtex-entry]



9. Joseph A. Cottam, Joshua Hursey, and Andrew Lumsdaine. SeeTest: Unit Test Visualization. In IEEE Symposium on Information Visualization (InfoVis 2008), November 2008.
   Note: Poster extending work presented at SoftVis 2008. [bibtex-key = Cottam2008InfoVisMTT] [bibtex-entry]



10. Joseph A. Cottam and Andrew Lumsdaine. Stencil: A Conceptual Model for Representation and Interaction. In 12th International Conference on Information Visualzation (IV'08), 2008. [bibtex-key = Cottam2008StencilModel] [bibtex-entry]



11. Joseph A. Cottam, Andrew Lumsdaine, and Joshua Hursey. Representing Unit Test Data for Large Scale Software Development. In ACM Sypmposium on Software Visualization (SoftVis 2008), September 2008.
    Keywords: MTT MPI Testing Tool. [bibtex-key = Cottam2008UnitTest] [bibtex-entry]



12. Joseph A. Cottam and Andrew Lumsdaine. Stencil: A Declarative, Generative System for Visualizing Dynamic Data. In IEEE Symposium on Information Visualization (InfoVis 2008), November 2008.
    Note: Poster accompanying the presentation of Stencil in the PhD Colloquium. [bibtex-key = Cottam2008InfoVisPhDStencil] [bibtex-entry]



13. Joseph A. Cottam and Andrew Lumsdaine. Extended Assortitivity and the Structure in the Open Source Development Community. In International Sunbelt Social Network Conference, January 2008. International Network for Social Network Analysis.
    Keywords: INSNA Microsoft Award. [bibtex-key = Cottam2008ExtendedAssortitivity] [bibtex-entry]



14. P. Geoffray and T. Hoefler. Adaptive Routing Strategies for Modern High Performance Networks. In 16th Annual IEEE Symposium on High Performance Interconnects (HOTI 2008), pages 165-172, Aug. 2008. IEEE Computer Society. [bibtex-key = geoffray-adaptive-routing] [bibtex-entry]



15. Todor Georgiev, Chintan Intwala, Derin Babacan, and Andrew Lumsdaine. A Unified Frequency Domain Analysis of Lightfield Cameras. In Proceedings European Converence on Computer Vision, 2008.
    Note: To appear. [bibtex-key = georgiev08:_unified] [bibtex-entry]



16. Peter Gottschling and Andrew Lumsdaine. Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries. In GPCE '08: Proceedings of the 7th international conference on Generative programming and component engineering, New York, NY, USA, pages 67--76, 2008. ACM. [bibtex-key = pg_gpce] [bibtex-entry]



17. Peter Gottschling, David S. Wise, and Adwait Joshi. Generic Support of Algorithmic and Structural Recursion for Scientific Computing. In POOSC 2008 workshop at ECOOP08, Paphros, Cyprus, 2008. [bibtex-key = pg_poosc_recursion] [bibtex-entry]



18. Peter Gottschling, Thomas Witkowski, and Axel Voigt. Integrating Object-Oriented and Generic Programming Paradigms in Real-World Software Environments: Experiences with AMDiS and MTL4. In POOSC 2008 workshop at ECOOP08, Paphros, Cyprus, 2008. [bibtex-key = pg_poosc_amdis] [bibtex-entry]



19. Douglas Gregor and Andrew Lumsdaine. Design and Implementation of a High-Performance MPI for C# and the Common Language Infrastructure. In PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, New York, NY, USA, pages 133--142, February 2008. ACM. [bibtex-key = gregor08:mpi.net] [bibtex-entry]



20. T. Hoefler, P. Gottschling, and A. Lumsdaine. Leveraging Non-blocking Collective Communication in High-performance Applications. In SPAA'08, Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures, pages 113-115, 06 2008. Association for Computing Machinery (ACM). [bibtex-key = hoefler-principles-overlap] [bibtex-entry]



21. T. Hoefler, F. Lorenzen, and A. Lumsdaine. Sparse Non-Blocking Collectives in Quantum Mechanical Calculations. In Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, volume LNCS 5205, pages 55-63, Sep. 2008. Springer. [bibtex-key = hoefler-europvm08-qm] [bibtex-entry]



22. T. Hoefler and A. Lumsdaine. Optimizing non-blocking Collective Operations for InfiniBand. In Proceedings of the 22nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), 04 2008. [bibtex-key = hoefler-libnbc-of] [bibtex-entry]



23. T. Hoefler and A. Lumsdaine. Message Progression in Parallel Computing - To Thread or not to Thread?. In Proceedings of the 2008 IEEE International Conference on Cluster Computing, Oct. 2008. IEEE Computer Society. [bibtex-key = hoefler-ib-threads] [bibtex-entry]



24. T. Hoefler and A. Lumsdaine. Overlapping Communication and Computation with High Level Communication Routines. In Proceedings of the 8th IEEE Symposium on Cluster Computing and the Grid (CCGrid 2008), 05 2008. [bibtex-key = hoefler-ccgrid08] [bibtex-entry]



25. T. Hoefler, M. Schellmann, S. Gorlatch, and A. Lumsdaine. Communication Optimization for Medical Image Reconstruction Algorithms. In Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, volume LNCS 5205, pages 75-83, Sep. 2008. Springer. [bibtex-key = hoefler-europvm08-osem] [bibtex-entry]



26. T. Hoefler, T. Schneider, and A. Lumsdaine. Accurately Measuring Collective Operations at Massive Scale. In Proceedings of the 22nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), 04 2008. [bibtex-key = hoefler-pmeo08] [bibtex-entry]



27. T. Hoefler, T. Schneider, and A. Lumsdaine. Multistage Switches are not Crossbars: Effects of Static Routing in High-Performance Networks. In Proceedings of the 2008 IEEE International Conference on Cluster Computing, Oct. 2008. IEEE Computer Society. [bibtex-key = hoefler-ib-routing] [bibtex-entry]



28. Prabhanjan Kambadur, Douglas Gregor, and Andrew Lumsdaine. OpenMP Extensions for Generic Libraries. In OpenMP in a New Era of Parallelism, volume 5004 of Lecture Notes in Computer Science, pages 123-133, May 2008. Springer. [bibtex-key = kambadur08:_iwomp08] [bibtex-entry]



29. T. Schneider, T. Hoefler, S. Wunderlich, T. Mehlan, and W. Rehm. An optimized ZGEMM implementation for the Cell BE. In Proceedings of the 9th Workshop on Parallel Systems and Algorithms (PASA), 02 2008. [bibtex-key = schneider-pasa] [bibtex-entry]



30. Jeremiah Willcock, Andrew Lumsdaine, and Daniel Quinlan. Tabled Execution in Scheme. In Workshop on Scheme and Functional Programming, September 2008. [bibtex-key = willcock08tabled] [bibtex-entry]



31. Beman Dawes, Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Chapter 17 -- Introduction (Revision 2). Technical report N2755=08-0265, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = dawes08:concepts_stdlib_intro_rev_2] [bibtex-entry]



32. Beman Dawes, Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Introduction (Revision 1). Technical report N2618=08-0128, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Dawes08:concepts_stdlib_intro_rev_1] [bibtex-entry]



33. Beman Dawes, Daniel Krügler, and Douglas Gregor. Concepts for the C++0x Standard Library: Diagnostics library. Technical report N2620=08-0130, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Dawes08:concepts_stdlib_diagnostics] [bibtex-entry]



34. Peter Gottschling and Walter E. Brown. Toward a More Complete Taxonomy of Algebraic Properties for Numeric Libraries in TR2. Technical report N2650=08-0160, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = Gottschling08:math_concepts] [bibtex-entry]



35. Peter Gottschling and Walter E. Brown. Fundamental Mathematical Concepts for the STL in C++0x. Technical report N2645=08-0155, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = Gottschling08:stl_math_concepts] [bibtex-entry]



36. Peter Gottschling. Concept Implication and Requirement Propagation. Technical report N2645=08-0155, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = Gottschling08:concept_implication] [bibtex-entry]



37. Douglas Gregor and Pablo Halpern. Concepts for the C++0x Standard Library: Containers (Revision 1). Technical report N2623=08-0133, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Gregor08:concepts_stdlib_containers_rev_1] [bibtex-entry]



38. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Numerics (Revision 3). Technical report N2736=08-0246, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = gregor08:concepts_stdlib_numerics_rev_3] [bibtex-entry]



39. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Utilities (Revision 3). Technical report N2622=08-0132, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Gregor08:concepts_stdlib_utilities_rev_3] [bibtex-entry]



40. Douglas Gregor and Andrew Lumsdaine. Core Concepts for the C++0x Standard Library. Technical report N2502=08-0012, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, February 2008. [bibtex-key = Gregor08:core_concepts] [bibtex-entry]



41. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Algorithms (Revision 2). Technical report N2573=08-0083, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2008. [bibtex-key = Gregor08:concepts_stdlib_algorithms_rev_2] [bibtex-entry]



42. Douglas Gregor and Andrew Lumsdaine. Core Concepts for the C++0x Standard Library (Revision 1). Technical report N2572=08-0082, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2008. [bibtex-key = Gregor08:core_concepts_rev_1] [bibtex-entry]



43. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Algorithms (Revision 2). Technical report N2625=08-0135, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Gregor08:concepts_stdlib_algorithms_rev_2] [bibtex-entry]



44. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Utilities (Revision 5). Technical report N2770=08-0280, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = gregor08:concepts_stdlib_utilities_rev_5] [bibtex-entry]



45. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Numerics (Revision 2). Technical report N2626=08-0136, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Gregor08:concepts_stdlib_numerics_rev_2] [bibtex-entry]



46. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Iterators (Revision 4). Technical report N2777=08-0287, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = gregor08:concepts_stdlib_iterators_rev_4] [bibtex-entry]



47. Douglas Gregor and Andrew Lumsdaine. Core Concepts for the C++0x Standard Library (Revision 2). Technical report N2621=08-0131, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Gregor08:core_concepts_rev_2] [bibtex-entry]



48. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Iterators (Revision 3). Technical report N2734=08-0244, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = gregor08:concepts_stdlib_iterators_rev_3] [bibtex-entry]



49. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Numerics (Revision 1). Technical report N2574=08-0084, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2008. [bibtex-key = Gregor08:concepts_stdlib_numerics_rev_1] [bibtex-entry]



50. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Utilities (Revision 4). Technical report N2735=08-0245, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = gregor08:concepts_stdlib_utilities_rev_4] [bibtex-entry]



51. Douglas Gregor, Mat Marcus, and Pablo Halpern. Concepts for the C++0x Standard Library: Containers (Revision 2). Technical report N2694=08-0204, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = Gregor08:concepts_stdlib_containers_rev_2] [bibtex-entry]



52. Douglas Gregor, Mat Marcus, and Pablo Halpern. Concepts for the C++0x Standard Library: Containers (Revision 4). Technical report N2776=08-0286, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = gregor08:concepts_stdlib_containers_4] [bibtex-entry]



53. Douglas Gregor, Mat Marcus, and Pablo Halpern. Concepts for the C++0x Standard Library: Containers (Revision 3). Technical report N2738=08-0248, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = gregor08:concepts_stdlib_containers_3] [bibtex-entry]



54. Douglas Gregor, Mat Marcus, and Thomas Witt Andrew Lumsdaine. Foundational Concepts for the C++0x Standard Library (Revision 3). Technical report N2737=08-0247, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = gregor08:concepts_stdlib_foundational_4] [bibtex-entry]



55. Douglas Gregor, Mat Marcus, and Thomas Witt Andrew Lumsdaine. Foundational Concepts for the C++0x Standard Library (Revision 5). Technical report N2774=08-02484, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = gregor08:concepts_stdlib_foundational_5] [bibtex-entry]



56. Douglas Gregor, Mat Marcus, Thomas Witt, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Algorithms (Revision 4). Technical report N2740=08-0250, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = gregor08:concepts_stdlib_algorithms_4] [bibtex-entry]



57. Douglas Gregor. Simplifying unique copy (Revision 1). Technical report N2786=08-0298, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = Gregor08:unique_copy_rev_1] [bibtex-entry]



58. Douglas Gregor, Mat Marcus, Thomas Witt, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Algorithms (Revision 5). Technical report N2759=08-0269, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = gregor08:concepts_stdlib_algorithms_5] [bibtex-entry]



59. Douglas Gregor, Mat Marcus, Thomas Witt, and Andrew Lumsdaine. Foundational Concepts for the C++0x Standard Library (Revision 3). Technical report N2677=08-0187, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = Gregor08:core_concepts_rev_3] [bibtex-entry]



60. Douglas Gregor, Mat Marcus, Thomas Witt, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Algorithms (Revision 2). Technical report N2696=08-0206, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = Gregor08:concepts_stdlib_algorithms_rev_3] [bibtex-entry]



61. Douglas Gregor and Eric Niebler. Extending Variadic Template Template Parameters (Revision 1). Technical report N2555=08-0065, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2008. [bibtex-key = GregorNiebler08:VariadicTTP_rev_1] [bibtex-entry]



62. Douglas Gregor, Jeremy Siek, and Andrew Lumsdaine. Iterator Concepts for the C++0x Standard Library (Revision 3). Technical report N2695=08-0205, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = Gregor08:iterator_concepts_rev_3] [bibtex-entry]



63. Douglas Gregor, Jeremy Siek, and Andrew Lumsdaine. Iterator Concepts for the C++0x Standard Library (Revision 1). Technical report N2570=08-0080, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2008. [bibtex-key = Gregor08:iterator_concepts_rev_1] [bibtex-entry]



64. Douglas Gregor, Jeremy Siek, and Andrew Lumsdaine. Iterator Concepts for the C++0x Standard Library. Technical report N2500=08-0010, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, February 2008. [bibtex-key = Gregor08:iterator_concepts] [bibtex-entry]



65. Douglas Gregor, Jeremy Siek, and Andrew Lumsdaine. Iterator Concepts for the C++0x Standard Library (Revision 5). Technical report N2758=08-0268, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = gregor08:concepts_stdlib_iterconcepts_5] [bibtex-entry]



66. Douglas Gregor, Jeremy Siek, and Andrew Lumsdaine. Iterator Concepts for the C++0x Standard Library (Revision 2). Technical report N2624=08-0134, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = Gregor08:iterator_concepts_rev_2] [bibtex-entry]



67. Douglas Gregor, Jeremy Siek, and Andrew Lumsdaine. Iterator Concepts for the C++0x Standard Library (Revision 4). Technical report N2739=08-0249, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = gregor08:concepts_stdlib_iterconcepts_4] [bibtex-entry]



68. Douglas Gregor, Bjarne Stroustrup, Jeremy Siek, and James Widman. Proposed Wording for Concepts (Revision 4). Technical report N2501=08-0011, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, February 2008. [bibtex-key = GregorStroustrup07:concepts_wording_rev_4] [bibtex-entry]



69. Douglas Gregor, Bjarne Stroustrup, James Widman, and Jeremy Siek. Proposed Wording for Concepts (Revision 8). Technical report N2741=08-0251, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = GregorStroustrup08:concepts_wording_rev_8] [bibtex-entry]



70. Douglas Gregor. Type-Soundness and Optimization in the Concepts Proposal. Technical report N2576=08-0086, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2008. [bibtex-key = Gregor08:type_soundness] [bibtex-entry]



71. Douglas Gregor, Bjarne Stroustrup, James Widman, and Jeremy Siek. Proposed Wording for Concepts (Revision 7). Technical report N2710=08-0220, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = GregorStroustrup08:concepts_wording_rev_7] [bibtex-entry]



72. Douglas Gregor. Simplifying unique copy. Technical report N2742=08-0252, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = Gregor08:unique_copy] [bibtex-entry]



73. Douglas Gregor, Bjarne Stroustrup, James Widman, and Jeremy Siek. Proposed Wording for Concepts (Revision 6). Technical report N2676=08-0186, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2008. [bibtex-key = GregorStroustrup07:concepts_wording_rev_6] [bibtex-entry]



74. Douglas Gregor, Bjarne Stroustrup, James Widman, and Jeremy Siek. Proposed Wording for Concepts (Revision 5). Technical report N2617=08-0127, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008. [bibtex-key = GregorStroustrup07:concepts_wording_rev_5] [bibtex-entry]



75. Douglas Gregor, Bjarne Stroustrup, James Widman, and Jeremy Siek. Proposed Wording for Concepts (Revision 9). Technical report N2773=08-0283, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2008. [bibtex-key = GregorStroustrup08:concepts_wording_rev_9] [bibtex-entry]



76. Douglas Gregor. Unifying Operator and Function-Object Variants of Standard Library Algorithms. Technical report N2743=08-0253, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2008. [bibtex-key = Gregor08:function_obj_algorithms] [bibtex-entry]



77. Marcin Zalewski. A Semantic Definition of Separate Type Checking in C++ with Concepts. Abstract Syntax and Complete Semantic Definition.. Technical report 2008:12, Department of Computer Science and Engineering, Chalmers University, 2008. [bibtex-key = zalewski_semantic_2008] [bibtex-entry]



78. David Abrahams, Beman Dawes, Jeff Garland, and Douglas Gregor. Future of Boost 2008. Panel at BoostCon 2008, May 2008. [bibtex-key = Abrahams08:Future_of_boost] [bibtex-entry]



79. Joseph A. Cottam. Declarative Stream Visualization, July 2008.
    Note: IV'08 PhD colloquium presentation. [bibtex-key = Cottam2008IV08Declarative] [bibtex-entry]



80. Joseph A. Cottam, Joshua Hursey, and Andrew Lumsdaine. SeeTest: Unit Test Visualization, May 2008.
    Note: Poster at the Indiana University, School of Informatics poster session. Recieved honorable mention award. [bibtex-key = Cottam2008InternalSeeTest] [bibtex-entry]



81. Ronald Garcia. Computing While Compiling: Reasons and Methods for Compile-time Metaprogramming. Presentation at Argonne National Laboratory, January 2008. [bibtex-key = garcia08:anl] [bibtex-entry]



82. Ronald Garcia. Computing While Compiling: Reasons and Methods for Compile-time Metaprogramming. Presentation at University of Oregon, May 2008. [bibtex-key = garcia08:oregon] [bibtex-entry]



83. Ronald Garcia. Computing While Compiling: Reasons and Methods for Compile-time Metaprogramming. Presentation at Rice University, May 2008. [bibtex-key = garcia08:rice] [bibtex-entry]



84. Peter Gottschling. Algebraic Concepts and Generic High-Performance Numerics. Presentation at University of Bergen, Norway, July 2008. [bibtex-key = gottschling08:bergen_presentation] [bibtex-entry]



85. Peter Gottschling. Algebraic Concepts and Generic High-Performance Computing. Presentation at University of Chicago, USA, November 2008. [bibtex-key = gottschling08:chicago_presentation] [bibtex-entry]



86. Peter Gottschling. Generic High-Performance Numerics. Presentation at INRIA, Sophia-Antipolis, France, July 2008. [bibtex-key = gottschling08:inria_presentation] [bibtex-entry]



87. Douglas Gregor. Introduction to Parallel Programming with the Message Passing Interface. Presentation at BoostCon 2008, May 2008. [bibtex-key = Gregor08:boostcon_mpi] [bibtex-entry]



88. Douglas Gregor. MPI.NET: High-Performance Message Passing in C# and .NET. Presentation at Principles and Practice of Parallel Programming, February 2008. [bibtex-key = Gregor08:ppopp_mpi.net] [bibtex-entry]



89. Douglas Gregor. Author's Corner: Boost.Function. Presentation at BoostCon 2008, May 2008. [bibtex-key = Gregor08:boostcon_function] [bibtex-entry]



90. Douglas Gregor. C++0x Today: Features for Building Better Libraries. Presentation at BoostCon 2008, May 2008. [bibtex-key = Gregor08:cxx0x_today] [bibtex-entry]



91. Randy Heiland. CompuCell3D: an open source cellular modeling framework. Presentation at the Supercomputing 2008 Conference, Austin, TX, November 2008. [bibtex-key = heiland08:sc08_cc3d_presentation] [bibtex-entry]



92. Prabhanjan Kambadur. Task Paralleism in Modern Languages. Presentation at the IBM T J Watson Research Center, Yorktown Heights, NY, May 2008. [bibtex-key = kambadur09:task_parallelism] [bibtex-entry]



93. Andrew Lumsdaine. Radiance Photography. Tutorial at 29th annual conference of the European Association for Computer Graphics, April 2008. [bibtex-key = lumsdaine08:_eg08_tutorial] [bibtex-entry]



94. Andrew Lumsdaine. OpenMP Extensions for Generic Libraries. Presentation at IWOMP '08, May 2008. [bibtex-key = lumsdaine08:_iwomp08_slides] [bibtex-entry]



95. Andrew Lumsdaine. Radiance Photography. Tutorial at 2008 Computer Society Conference on Computer Vision and Pattern Recognition, June 2008. [bibtex-key = lumsdaine08:_cvpr08_tutorial] [bibtex-entry]



96. Timothy I. Mattox. Research at Indiana University for Reliable Petascale Performance. Presentation at Fault Tolerance workshop at Los Alamos National Lab, Los Alamos, New Mexico, August 2008. [bibtex-key = mattox08:lanl_presentation] [bibtex-entry]



97. Timothy I. Mattox. The Multi-Core Problem: How Message Passing Can Help. Presentation at Apple, Inc., Cupertino, California, July 2008. [bibtex-key = mattox08:apple_presentation] [bibtex-entry]



98. Timothy I. Mattox. Research at Indiana University for Reliable Petascale Performance. Presentation in the Indiana University booth at the IEEE/ACM SC08 Conference, Austin, Texas, November 2008. [bibtex-key = mattox08:sc08_iu_presentation] [bibtex-entry]



99. Andrew Friedley, Christopher Mueller, and Andrew Lumsdaine. And Now For Something Completely Different....
    Note: Presentation at SC 2008, November 2008. [bibtex-key = friedley-corepy-sc08] [bibtex-entry]

2007

1. Christopher Mueller. Synthetic Programming: User-Directed Run-Time Code Synthesis for High Performance Computing. PhD thesis, Indiana University, 2007. [bibtex-key = mueller_thesis07] [bibtex-entry]



2. Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, and Jeremiah Willcock. An Extended Comparative Study of Language Support for Generic Programming. Journal of Functional Programming, 17(2):145--205, March 2007. [bibtex-key = garcia05:_extended_comparing05] [bibtex-entry]



3. Richard L. Graham, Brian W. Barrett, Galen M. Shipman, Timothy S. Woodall, and George Bosilca. Open MPI: A High Performance, Flexible Implementation of MPI Point-to-Point Communications. Parallel Processing Letters, 17(1):79--88, 2007 2007. [bibtex-key = graham07:_OpenMPI_a_high_performance] [bibtex-entry]



4. T. Hoefler, P. Gottschling, A. Lumsdaine, and W. Rehm. Optimizing a Conjugate Gradient Solver with Non-Blocking Collective Operations. Elsevier Journal of Parallel Computing (PARCO), 33(9):624-633, 9 2007. [bibtex-key = hoefler-app-parco] [bibtex-entry]



5. Andrew Lumsdaine, Douglas Gregor, Bruce Hendrickson, and Jonathan Berry. Challenges in Parallel Graph Processing. Parallel Processing Letters, 17(1):5--20, 2007 2007. [bibtex-key = lumsdaine07:_challenges_in_parallel_graph] [bibtex-entry]



6. Brian W. Barrett, Galen M. Shipman, and Andrew Lumsdaine. Analysis of Implementation Options for MPI-2 One-Sided. In Proceedings, Euro PVM/MPI, Paris, France, October 2007. [bibtex-key = barrett07:_analy_implem_option_mpi_one_sided] [bibtex-entry]



7. Joseph A. Cottam and Andrew Lumsdaine. ThisStar: Declarative Visualization Prototype. In IEEE Symposium on Information Visualization, 2007. [bibtex-key = Cottam2007ThisStar] [bibtex-entry]



8. Joseph A. Cottam, Ben Martin, Chris Mueller, and Andrew Lumsdaine. Reading the Envelope: Understanding Visual Similarity Matrices. In IEEE Symposium on Visualization, 2007. [bibtex-key = Cottam2007Reading] [bibtex-entry]



9. A. Friedley, T. Hoefler, M. Leininger, and A. Lumsdaine. Scalable High Performance Message Passing over InfiniBand for Open MPI. In Proceedings of 3rd KiCC Workshop 2007, 12 2007. RWTH Aachen. [bibtex-key = friedley-scalable-openmpi] [bibtex-entry]



10. Peter Gottschling, David S. Wise, and Michael D. Adams. Representation-transparent matrix algorithms with scalable performance. In ICS '07: Proceedings of the 21st annual international conference on Supercomputing, New York, NY, USA, pages 116--125, 2007. ACM Press. [bibtex-key = pg_acm1274989] [bibtex-entry]



11. Richard L. Graham, Ron Brightwell, Brian Barrett, George Bosilca, and Pjesivac-Grbovic. An Evaluation of Open MPI's Matching Transport Layer on the Cray XT. In , October 2007. [bibtex-key = graham07:_eval_open_mpi_mtl_cray] [bibtex-entry]



12. Douglas Gregor and Jaakko Järvi. Variadic Templates for C++. In Object-Oriented Programming Languages and Systems, March 2007. ACM Press. [bibtex-key = Gregor07:VariadicTemplates] [bibtex-entry]



13. Torsten Hoefler, Prabhanjan Kambadur, Richard L Graham, Galen Shipman, and Andrew Lumsdaine. A Case For Standard Non-blocking Collective Operations. In Proceedings of the 14th European PVM/MPI Users' Group Meeting, LNCS, Paris, France, pages 125--134, 2007. [bibtex-key = htor07:case_for_std_nbc] [bibtex-entry]



14. T. Hoefler, A. Lichei, and W. Rehm. Low-Overhead LogGP Parameter Assessment for Modern Interconnection Networks. In Proceedings of the 21st IEEE International Parallel & Distributed Processing Symposium, 03 2007. IEEE Computer Society. [bibtex-key = hoefler-pmeo07] [bibtex-entry]



15. T. Hoefler, C. Siebert, and W. Rehm. A practically constant-time MPI Broadcast Algorithm for large-scale InfiniBand Clusters with Multicast. In Proceedings of the 21st IEEE International Parallel & Distributed Processing Symposium, pages 232, 03 2007. IEEE Computer Society. [bibtex-key = hoefler-cac07] [bibtex-entry]



16. Joshua Hursey, Ethan Mallove, Jeffrey M. Squyres, and Andrew Lumsdaine. An Extensible Framework for Distributed Testing of MPI Implementations. In Proceedings, Euro PVM/MPI, Paris, France, October 2007.
    Keywords: Open MPI, high performance computing, MPI, testing. [bibtex-key = hursey:euro-pvm-mpi08:MTT] [bibtex-entry]



17. Joshua Hursey, Jeffrey M. Squyres, Timothy I. Mattox, and Andrew Lumsdaine. The Design and Implementation of Checkpoint/Restart Process Fault Tolerance for Open MPI. In Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS), March 2007. IEEE Computer Society.
    Keywords: Open MPI, high performance computing, rollback-recovery, MPI, fault tolerance, checkpoint/restart. [bibtex-key = hursey:ipdps07:Open-MPI-FT-Design] [bibtex-entry]



18. Prabhanjan Kambadur, Douglas Gregor, and Andrew Lumsdaine. Parallelization of Generic Libraries based on Type Properties. In Proceedings of the 7th International Conference on Computational Science, LNCS, Beijing, China, May 2007. Springer. [bibtex-key = kambadur07:parallelizing_generic_libraries] [bibtex-entry]



19. Christopher Mueller, Benjamin Martin, and Andrew Lumsdaine. A Comparison of Vertex Ordering Algorithms for Large Graph Visualization. In Asia-Pacific Symposium on Visualization, February 2007. [bibtex-key = mueller_apvis07a] [bibtex-entry]



20. Christopher Mueller, Benjamin Martin, and Andrew Lumsdaine. Interpreting Large Visual Similarity Matrices. In Asia-Pacific Symposium on Visualization, February 2007. [bibtex-key = mueller_apvis07b] [bibtex-entry]



21. Galen M. Shipman, Ron Brightwell, Brian Barrett, Jeffrey M. Squyres, and Gil Bloch. Investigations on InfiniBand: Efficient Network Buffer Utilization at Scale. In Proceedings, Euro PVM/MPI, Paris, France, October 2007. [bibtex-key = shipman07:_inves_infin] [bibtex-entry]



22. Marcin Zalewski, Andreas Priesnitz, Cezar Ionescu, Nicola Botta, and Sibylle Schupp. Multi-Language Library Development: From Haskell Type Classes to C++ Concepts.. In Jörg Striegnitz, editor, Proc. 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages, July 2007. [bibtex-key = zalewski_multi-language_2007] [bibtex-entry]



23. Marcin Zalewski and Sibylle Schupp. C++ Concepts as Institutions: A Specification View on Concepts. In Proc. Symposium on Library-Centric Software Design, pages 76--87, 2007. ACM. [bibtex-key = zalewski_c++_2007] [bibtex-entry]



24. Joseph A. Cottam and Andrew Lumsdaine. Tuple Space Mapper: Design, Challenges and Goals. Technical report TR648, Indiana University, Bloomington, IN, June 2007. [bibtex-key = Cottam2007TSMDesign] [bibtex-entry]



25. Douglas Gregor. A Tour of the Concepts Wording. Technical report N2399=07-0259, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, September 2007. [bibtex-key = Gregor07:concepts_wording_tour] [bibtex-entry]



26. Douglas Gregor, Jaakko Järvi, Jens Maurer, and Jason Merrill. Proposed Wording for Variadic Templates (Revision 2). Technical report N2242=07-0102, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2007. [bibtex-key = Gregor07:VariadicsWordingRev2] [bibtex-entry]



27. Douglas Gregor, Jaakko Järvi, Jens Maurer, and Jason Merrill. Proposed Wording for Variadic Templates. Technical report N2152=07-0012, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, January 2007. [bibtex-key = Gregor07:VariadicsWording] [bibtex-entry]



28. Douglas Gregor, Jaakko Järvi, Jens Maurer, and Jason Merrill. Proposed Wording for Variadic Templates (Revision 2). Technical report N2242=07-0102, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2007. [bibtex-key = Gregor07:VariadicsWordingRev2] [bibtex-entry]



29. Douglas Gregor and Jaakko Järvi. Variadic Templates for the C++0x Standard Library (Revision 1). Technical report N2192=07-0052, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2007. [bibtex-key = Gregor07:VariadicsLibraryRev1] [bibtex-entry]



30. Douglas Gregor and Jaakko Järvi. decltype for the C++0x Standard Library. Technical report N2194=07-0054, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2007. [bibtex-key = Gregor07:DecltypeLibrary] [bibtex-entry]



31. Douglas Gregor, Jaakko Järvi, Jens Maurer, and Jason Merrill. Proposed Wording for Variadic Templates (Revision 1). Technical report N2191=07-0051, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2007. [bibtex-key = Gregor07:VariadicsWordingRev1] [bibtex-entry]



32. Douglas Gregor and Jaakko Järvi. Variadic Templates for the C++0x Standard Library. Technical report N2151=07-0011, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, January 2007. [bibtex-key = Gregor07:VariadicsLibrary] [bibtex-entry]



33. Douglas Gregor and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Utilities (Revision 2). Technical report N2322=07-0182, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2007. [bibtex-key = gregor08:concepts_stdlib_utilities_rev_2] [bibtex-entry]



34. Douglas Gregor and Eric Niebler. Extending Variadic Template Template Parameters. Technical report N2488=07-0358, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, December 2007. [bibtex-key = GregorNiebler07:VariadicTTP] [bibtex-entry]



35. Douglas Gregor, Jeremy Siek, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Iterators (Revision 2). Technical report N2323=07-0183, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2007. [bibtex-key = gregor08:concepts_stdlib_iterators_rev_2] [bibtex-entry]



36. Douglas Gregor and Bjarne Stroustrup. Proposed Wording for Concepts. Technical report N2193=07-0053, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, March 2007. [bibtex-key = GregorStroustrup07:concepts_wording] [bibtex-entry]



37. Douglas Gregor and Bjarne Stroustrup. Proposed Wording for Concepts (Revision 2). Technical report N2398=07-0258, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, September 2007. [bibtex-key = GregorStroustrup07:concepts_wording_rev_2] [bibtex-entry]



38. Douglas Gregor and Bjarne Stroustrup. Proposed Wording for Concepts (Revision 1). Technical report N2307=07-0167, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, July 2007. [bibtex-key = GregorStroustrup07:concepts_wording_rev_1] [bibtex-entry]



39. Douglas Gregor and Bjarne Stroustrup. Proposed Wording for Concepts (Revision 3). Technical report N2421=07-0281, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2007. [bibtex-key = GregorStroustrup07:concepts_wording_rev_3] [bibtex-entry]



40. David Abrahams, Beman Dawes, Jeff Garland, and Douglas Gregor. The Future of Boost. Panel at BoostCon 2007, Aspen, Colorado, May 2007. [bibtex-key = boostcon07:future_of_boost] [bibtex-entry]



41. Ronald Garcia. Static Computation and Reflection: Practice and Theory. Presentation at the 2007 LogicBlox Inc. Researchers Symposium, September 2007. [bibtex-key = garcia07:logicblox] [bibtex-entry]



42. Ronald Garcia. Compile-time Metaprogramming. Presentation at Connecticut College, December 2007. [bibtex-key = garcia07:conncoll] [bibtex-entry]



43. Ronald Garcia. Computing While Compiling: Reasons and Methods for Compile-time Metaprogramming. Presentation at Wesleyan University, December 2007. [bibtex-key = garcia07:wesleyan] [bibtex-entry]



44. Ronald Garcia. Static Computation and Reflection: Practice and Theory. Presentation at the 2007 Summer School on Generative and Transformational Techniques in Software Engineering, Participants Workshop, July 2007. [bibtex-key = garcia07:gttse] [bibtex-entry]



45. Ronald Garcia. A Principled Approach to Compile-time Metaprogramming. Poster presented during the CRA/CDC Programming Languages Summer School, May 2007. [bibtex-key = garcia07:principled_approach] [bibtex-entry]



46. Peter Gottschling. Generic Linear Algebra and MTL. Presentation at Katholieke Universiteit Leuven, Belgium, March 2007.

    Abstract:

    Generic linear algebra software provides algorithmic functionality on the whole set of data types that fulfils the requirements of the algorithms respectively its specific implementation. These requirements are formalized in concepts and it is well known from the Standard Template Library how data types implementational demands are specified with concepts. In our work we specified the properties of algebraic structures, like semi-groups and fields, in terms of concepts. Recent effords to integrate the concepts into the C++ languange lead to an implementation called ConceptGCC and we use our concepts with this compiler. Another topic, we will present is the code generation within C++ for performance optimization avoiding code generation using another language.

    [bibtex-key = gottschling07:leuven_presentation] [bibtex-entry]



47. Douglas Gregor. Concepts: Extending C++ Templates for Generic Programming. Presentation at ACCU 2007, Oxford, U.K., April 2007. [bibtex-key = gregor07:concepts_accu_presentation] [bibtex-entry]



48. Douglas Gregor. An Introduction to Concepts in C++0x. Presentation at BoostCon 2007, Aspen, Colorado, May 2007. [bibtex-key = gregor07:boostcon_concepts_intro] [bibtex-entry]



49. Douglas Gregor. Concepts: Extending C++ Templates for Generic Programming. Presentation as Google Tech Talk, Mountain View, California, February 2007. [bibtex-key = gregor07:concepts_google_presentation] [bibtex-entry]



50. Douglas Gregor. Concepts: Extending C++ Templates for Generic Programming. Presentation to Microsoft Visual C++ Development Team, Redmond, Washington, February 2007. [bibtex-key = gregor07:concepts_microsoft_presentation] [bibtex-entry]



51. Douglas Gregor. Boost.MPI: Modernizing the C++ Interface to MPI. Presentation to Microsoft High-Performance Computing Group, Redmond, Washington, February 2007. [bibtex-key = gregor07:boost_mpi_microsoft_presentation] [bibtex-entry]



52. Douglas Gregor. Evolving a C++ Library to C++0x Concepts. Presentation at BoostCon 2007, Aspen, Colorado, May 2007. [bibtex-key = gregor07:boostcon_concepts_evo] [bibtex-entry]



53. Douglas Gregor. Generic Programming in the Parallel Boost Graph Library. Presentation to Microsoft Live Labs, Bellevue, Washington, November 2007. [bibtex-key = gregor07:microsoft_pbgl] [bibtex-entry]



54. Douglas Gregor. Large-Scale Network Analysis with the Parallel Boost Graph Library. Center for Data and Search Informatics Seminar, Bloomington, Indiana, September 2007. [bibtex-key = gregor07:pbgl_dsi_presentation] [bibtex-entry]



55. Douglas Gregor. Concepts: Extending C++ Templates for Generic Programming. Presentation to Apple Developer Tools Group, Cupertino, California, February 2007. [bibtex-key = gregor07:concepts_apple_presentation] [bibtex-entry]



56. Douglas Gregor. MPI.NET: High-Performance Message Passing in C# and .NET. Presentation to Microsoft High-Performance Computing Group, Redmond, Washington, November 2007. [bibtex-key = gregor07:microsoft_mpi.net] [bibtex-entry]



57. T. Hoefler and G. Zerah. Optimization of a parallel 3d-FFT with non-blocking collective operations. Invited presentation at the 3rd International ABINIT Developer Workshop, Liege, Belgium, 01 2007. [bibtex-key = iadw07] [bibtex-entry]



58. T. Hoefler. Non-Blocking Collectives for MPI-2. Presentation at parallel systems group at the Commissariat a l'Energie Atomique - Direction des applications militaires (CEA-DAM), Bruyeres-le-chatel, France, 01 2007. [bibtex-key = cea-nbcoll] [bibtex-entry]



59. T. Hoefler. Application Optimization with non-blocking Collectives. Presentation at parallel applications group at the Commissariat a l'Energie Atomique - Direction des applications militaires (CEA-DAM), Bruyeres-le-chatel, France, 01 2007. [bibtex-key = cea-3dfft] [bibtex-entry]



60. Prabhanjan Kambadur. Parallelization of Generic Libraries based on Type Properties. Presentation at the 7th International Conference on Computational Science, Beijing, China, May 2007. [bibtex-key = kambadur07:parallelizing_generic_libraries_presentation] [bibtex-entry]



61. Benjamin Martin. A Comparison of Vertex Ordering Algorithms for Large Graph Visualization. Presentation at Asia-Pacific Symposium on Visualization, February 2007. [bibtex-key = benjmart07:APVIS_ordering] [bibtex-entry]



62. Benjamin Martin. Corepy. Presentation at HPC Consortium Hack-a-thon, January 2007. [bibtex-key = benjmart07:APVIS_interpreting] [bibtex-entry]



63. Benjamin Martin. Interpreting Large Visual Similarity Matrices. Presentation at Asia-Pacific Symposium on Visualization, February 2007. [bibtex-key = benjmart07:APVIS_interpreting] [bibtex-entry]



64. Timothy I. Mattox. Open MPI on Mac OS X: Enabling big science on the Mac. Scientific Development Poster presented during the Apple World Wide Developers Conference (WWDC07), San Francisco, California, June 2007.
    Keywords: Open MPI, MPI, Apple, Macintosh, Mac OS X. [bibtex-key = mattox07:WWDC07-poster] [bibtex-entry]



65. Timothy I. Mattox. MPI Is Dead? Long Live MPI! Evolving MPI for the Next Generation of Supercomputing. Presentation in the Cisco booth at the ACM/IEEE SC07 Conference, Reno, Nevada, November 2007. [bibtex-key = mattox07:sc07_iu_cisco_presentation] [bibtex-entry]



66. Christopher Mueller. CorePy: High-Productivity Cell/B.E. Programming.
    Note: Presentation at Georgia Tech STI Cell/B.E. Workshop, June 2007. [bibtex-key = mueller_pressgatech07] [bibtex-entry]



67. Christopher Mueller. Agile High-performance Software Development.
    Note: Presentation at RIDMS-2, January 2007. [bibtex-key = mueller_pressridms07] [bibtex-entry]

2006

1. Douglas Gregor and Sibylle Schupp. STLlint: Lifting static checking from languages to libraries. Software: Practice & Experience, 36:225--254, 2006.

   Annotation:

   Traditional static checking centers around finding bugs in programs by isolating cases where the language has been used incorrectly. These language-based checkers do not understand the semantics of software libraries, and therefore cannot be used to detect errors in the use of libraries. In this paper, we introduce STLlint, a program analysis we have implemented for the C++ Standard Template Library and similar, generic software libraries, and we present the general approach that underlies STLlint. We show that static checking of library semantics differs greatly from checking of language semantics, requiring new representations of program behavior and new algorithms. Major challenges include checking the use of generic algorithms, loop analysis for interfaces, and organizing behavioral specifications for extensibility.

   [bibtex-key = GregorSchupp:SPE:05] [bibtex-entry]



2. Christopher Mueller, Mehmet Dalkilic, and Andrew Lumsdaine. High-Performance Direct Pairwise Comparison of Large Genomic Sequences. IEEE Transactions on Parallel and Distributed Systems, Special Issue - High-Performance Computational Biology, 17(8):764-772, 2006. [bibtex-key = mueller_tpds06] [bibtex-entry]



3. Alex Breuer, Peter Gottschling, Douglas Gregor, and Andrew Lumsdaine. Effecting Parallel Graph Eigensolvers Through Library Composition. In Performance Optimization for High-Level Languages and Libraries (POHLL), April 2006. [bibtex-key = Breuer06:GraphEigen] [bibtex-entry]



4. Andrew Lumsdaine Brian W. Barrett, Ron Brightwell, Jeffrey M. Squyres. Implementation of Open MPI on the Cray XT3. In Cray Users Group 2006, Lugano, Switzerland, May 2006. [bibtex-key = barrett05:_openmpi_on_the_cray_xt3] [bibtex-entry]



5. Nick Edmonds, Alex Breuer, Douglas Gregor, and Andrew Lumsdaine. Single-Source Shortest Paths with the Parallel Boost Graph Library. In The Ninth DIMACS Implementation Challenge: The Shortest Path Problem, Piscataway, NJ, November 2006. [bibtex-key = edmonds06:dimacs] [bibtex-entry]



6. Christopher Gottbrath, Brian Barrett, Bill Gropp, Ewing Rusty Lusk, and Jeff Squyres. An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging. In Proceedings, 13th European PVM/MPI Users' Group Meeting, Bonn, Germany, September 2006. [bibtex-key = gottbrath06:_interface_to_support_identification] [bibtex-entry]



7. Richard L. Graham, Brian W. Barrett, Galen M. Shipman, and Timothy S. Woodall. Open MPI: A High Performance, Flexible Implementation of MPI Point-To-Point Communications. In Proceedings, Clusters and Computational Grids for cientific Computing, Flat Rock, North Carolina, September 2006. [bibtex-key = graham06:_openmpi_a_high_performance_flexible] [bibtex-entry]



8. Richard L. Graham, Galen M. Shipman, Brian W. Barrett, Ralph H. Castain, and George Bosilca. Open MPI: A High Performance, Heterogeneous MPI. In Proceedings, Fifth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks, Barcelona, Spain, September 2006. [bibtex-key = graham06:_openmpi_a_high_performance_heterogeneous_mpi] [bibtex-entry]



9. Douglas Gregor, Jaakko Järvi, Jeremy Siek, Bjarne Stroustrup, Gabriel Dos Reis, and Andrew Lumsdaine. Concepts: Linguistic Support for Generic Programming in C++. In Proceedings of the 2006 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '06), pages 291--310, October 2006. ACM Press.
   Note: This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. [bibtex-key = Gregor06:Concepts] [bibtex-entry]



10. T. Hoefler, P. Gottschling, W. Rehm, and A. Lumsdaine. Optimizing a Conjugate Gradient Solver with Non-Blocking Collective Operations. In Recent Advantages in Parallel Virtual Machine and Message Passing Interface. 13th European PVM/MPI User's Group Meeting, Proceedings, LNCS 4192, pages 374-382, 9 2006. Springer. [bibtex-key = hoefler-parsim-06] [bibtex-entry]



11. Torsten Hoefler, Peter Gottschling, Wolfgang Rehm, and Andrew Lumsdaine. Optimizing a Conjugate Gradient Solver with Non-Blocking Collective Operations. In ParSim 2006 Workshop, September 2006. [bibtex-key = hoefler-parsim-06] [bibtex-entry]



12. T. Hoefler, R. Janisch, and W. Rehm. Parallel scaling of Teter's minimization for Ab Initio calculations. In , 11 2006.
    Note: Presented at the workshop HPC Nano in conjunction with SC'06. [bibtex-key = hoefler-sc06] [bibtex-entry]



13. T. Hoefler, T. Mehlan, F. Mietke, and W. Rehm. Fast Barrier Synchronization for InfiniBand. In Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS), 4 2006. [bibtex-key = hoefler-cac-06] [bibtex-entry]



14. T. Hoefler, T. Mehlan, F. Mietke, and W. Rehm. Adding Low-Cost Hardware Barrier Support to Small Commodity Clusters. In Proceedings of 19th International Conference on Architecture and Computing Systems - ARCS'06, pages 343-250, 3 2006. [bibtex-key = hoefler-pasa-06] [bibtex-entry]



15. T. Hoefler, T. Mehlan, F. Mietke, and W. Rehm. LogfP - A Model for small Messages in InfiniBand. In Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS), 4 2006. [bibtex-key = hoefler-pmeo-06] [bibtex-entry]



16. T. Hoefler, J. Squyres, G. Fagg, G. Bosilca, W. Rehm, and A. Lumsdaine. A New Approach to MPI Collective Communication Implementations. In , 09 2006.
    Note: Accepted for Publication at the 6th Austrian-Hungarian Workshop on Distributed and Parallel Systems. [bibtex-key = hoefler-dapsys06] [bibtex-entry]



17. T. Hoefler, J. Squyres, W. Rehm, and A. Lumsdaine. A Case for Non-Blocking Collective Operations. In Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, volume 4331/2006, pages 155-164, 12 2006. Springer Berlin / Heidelberg. [bibtex-key = hoefler-nbc] [bibtex-entry]



18. T. Hoefler, C. Viertel, T. Mehlan, F. Mietke, and W. Rehm. Assessing Single-Message and Multi-Node Communication Performance of InfiniBand. In Proceedings of IEEE Inernational Conference on Parallel Computing in Electrical Engineering, PARELEC 2006, pages 227-232, 9 2006. IEEE Computer Society. [bibtex-key = hoefler-parelec-06] [bibtex-entry]



19. Jaakko Järvi, Douglas Gregor, Jeremiah Willcock, Andrew Lumsdaine, and Jeremy Siek. Algorithm Specialization in Generic Programming: Challenges of Constrained Generics in C++. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, New York, NY, USA, pages 272--282, 2006. ACM Press. [bibtex-key = Jarvi06:Specialization] [bibtex-entry]



20. Prabhanjan Kambadur, Douglas Gregor, Andrew Lumsdaine, and Amey Dharurkar. Modernizing the C++ Interface to MPI. In Proceedings of the 13th European PVM/MPI Users' Group Meeting, LNCS, Bonn, Germany, pages 266--274, September 2006. Springer. [bibtex-key = kambadur06:modernizing_cpp_mpi] [bibtex-entry]



21. DongInn Kim, Jeffrey M. Squyres, and Andrew Lumsdaine. The Introduction of the OSCAR Database API (ODA). In Proceedings of the 20th International Symposium on High-Performance Computing in an Advanced Collaborative Environment (HPCS'06), pages 39, may # 14-17 2006. IEEE Computer Society.
    Note: Session track: 4th Annual OSCAR Symposium (OSCAR'06).
    Keywords: OSCAR, high performance computing, cluster. [bibtex-key = kim:oda:oscar06] [bibtex-entry]



22. T. Mehlan, J. Strunk, T. Hoefler, F. Mietke, and W. Rehm. IRS - A portable Interface for Reconfigurable Systems. In Proceedings of IEEE Inernational Conference on Parallel Computing in Electrical Engineering, PARELEC 2006, pages 187-191, 9 2006. IEEE Computer Society. [bibtex-key = mehlan-parelec-06] [bibtex-entry]



23. F. Mietke, R. Baumgartl, R. Rex, T. Mehlan, T. Hoefler, and W. Rehm. Analysis of the Memory Registration Process in the Mellanox InfiniBand Software Stack. In Euro-Par 2006 Parallel Processing, pages 124-133, 8 2006. Springer-Verlag Berlin. [bibtex-key = mietke-europar-06] [bibtex-entry]



24. Christopher Mueller, Douglas Gregor, and Andrew Lumsdaine. Distributed Force-Directed Graph Layout and Visualization. In Eurographics Symposium on Parallel Graphics and Visualization, May 2006. [bibtex-key = mueller_egpgv06] [bibtex-entry]



25. Christopher Mueller and Andrew Lumsdaine. Exression and Loop Libraries for High-Performance Code Synthesis. In Languages and Compilers for Parallel Computing, November 2006. [bibtex-key = mueller_lcpc06] [bibtex-entry]



26. Christopher Mueller and Andrew Lumsdaine. Runtime Synthesis of High-Performance Code from Scripting Languages. In Dynamic Language Symposion at OOPSLA 2006, October 2006. [bibtex-key = mueller_dls06] [bibtex-entry]



27. Gustav Munkby, Andreas Priesnitz, Sibylle Schupp, and Marcin Zalewski. Scrap++: Scrap Your Boilerplate in C++. In Proc. ACM SIGPLAN Workshop on Generic Programming, pages 66--75, 2006. ACM. [bibtex-key = munkby_scrap++:_2006] [bibtex-entry]



28. Richard C. Murphy, Jonathan Berry, William McLendon, Bruce Hendrickson, Douglas Gregor, and Andrew Lumsdaine. DFS: A Simple to Write Yet Difficult to Execute Benchmark. In Proceedings of the IEEE International Symposium on Workload Characterizations 2006 (IISWC06), pages 175--177, October 2006. [bibtex-key = murphy06:dfs] [bibtex-entry]



29. Todd L. Veldhuizen. Tradeoffs in Metaprogramming. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Charleston, South Carolina, January 2006. [bibtex-key = Veldhuizen:PEPM:2006] [bibtex-entry]



30. Jeremiah Willcock and Andrew Lumsdaine. Accelerating Sparse Matrix Computations via Data Compression. In International Conference on Supercomputing, pages 307--316, June 2006. [bibtex-key = willcock06:matrix_compression] [bibtex-entry]



31. Marcin Zalewski and Sibylle Schupp. Change Impact Analysis for Generic Libraries. In Proc. of 22nd IEEE Int. Conf. on Software Maintenance, pages 35--44, September 2006. [bibtex-key = zalewski_change_2006] [bibtex-entry]



32. Peter Gottschling. Fundamental Algebraic Concepts in Concept-Enabled C++. Technical report 638, Indiana University, 2006. [bibtex-key = pg_report_algebraic_concepts] [bibtex-entry]



33. Douglas Gregor, Jaakko Järvi, and Gary Powell. Variadic Templates (Revision 3). Technical report N2080=06-0150, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = Gregor06:variadics_rev_3] [bibtex-entry]



34. Douglas Gregor and Bjarne Stroustrup. Concepts (Revision 1). Technical report N2081=06-0151, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = GregorStroustrup06:concepts_rev_1] [bibtex-entry]



35. Douglas Gregor and Bjarne Stroustrup. Concepts. Technical report N2042=06-0112, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = GregorStroustrup06:concepts] [bibtex-entry]



36. Douglas Gregor and Bjarne Stroustrup. Concepts. Technical report N2042=06-0112, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = GregorStroustrup06:concepts] [bibtex-entry]



37. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Numerics. Technical report N2041=06-0111, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = gregor06:concepts_stdlib_numerics] [bibtex-entry]



38. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Introduction. Technical report N2037=06-0107, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = gregor06:concepts_stdlib_intro] [bibtex-entry]



39. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Utilities. Technical report N2038=06-0108, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = gregor06:concepts_stdlib_utilities] [bibtex-entry]



40. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Iterators (Revision 1). Technical report N2083=06-0153, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = gregor06:concepts_stdlib_iterators_rev_1] [bibtex-entry]



41. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Iterators. Technical report N2039=06-0109, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = gregor06:concepts_stdlib_iterators] [bibtex-entry]



42. Douglas Gregor. Signals and Slots for Library TR2. Technical report N2086=06-0156, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = Gregor06:sigslot] [bibtex-entry]



43. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Utilities (Revision 1). Technical report N2082=06-0152, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = gregor06:concepts_stdlib_utilities_rev_1] [bibtex-entry]



44. Douglas Gregor. A Brief Introduction to Variadic Templates. Technical report N2087=06-0157, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = Gregor06:brief_variadics] [bibtex-entry]



45. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Algorithms (Revision 1). Technical report N2084=06-0154, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = gregor06:concepts_stdlib_algorithms_rev_1] [bibtex-entry]



46. Douglas Gregor. Conceptualizing the Range-Based for Loop. Technical report N2049=06-0119, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = gregor06:conceptualizing_for] [bibtex-entry]



47. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Algorithms. Technical report N2040=06-0110, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = gregor06:concepts_stdlib_algorithms] [bibtex-entry]



48. Douglas Gregor. Concepts for the C++0x Standard Library: Containers. Technical report N2085=06-0155, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, October 2006. [bibtex-key = gregor06:concepts_stdlib_containers] [bibtex-entry]



49. Douglas Gregor, Jeremiah Willcock, and Andrew Lumsdaine. Concepts for the C++0x Standard Library: Approach. Technical report N2036=06-0106, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, June 2006. [bibtex-key = gregor06:concepts_stdlib_approach] [bibtex-entry]



50. T. Hoefler and A. Lumsdaine. Design, Implementation, and Usage of LibNBC. Technical report, Open Systems Lab, Indiana University, 08 2006. [bibtex-key = hoefler-libnbc-design] [bibtex-entry]



51. T. Hoefler, M. Reinhardt, F. Mietke, T. Mehlan, and W. Rehm. Low Overhead Ethernet Communication for Open MPI on Linux Clusters. Technical report 06, TU Chemnitz, 7 2006. [bibtex-key = hoefler-CSR-06-06] [bibtex-entry]



52. T. Hoefler, J. Squyres, G. Bosilca, G. Fagg, A. Lumsdaine, and W. Rehm. Non-Blocking Collective Operations for MPI-2. Technical report, Open Systems Lab, Indiana University, 08 2006. [bibtex-key = hoefler-standard-nbcoll] [bibtex-entry]



53. Joshua Hursey, Jeffrey M. Squyres, and Andrew Lumsdaine. A Checkpoint and Restart Service Specification for Open MPI. Technical report TR635, Indiana University, Bloomington, Indiana, USA, July 2006 keywords = Open MPI, high performance computing, rollback-recovery, MPI, fault tolerance, checkpoint/restart. [bibtex-key = Hursey:tr635:Open-MPI-CRS] [bibtex-entry]



54. Alex Breuer, Peter Gottschling, Douglas Gregor, and Andrew Lumsdaine. Effecting Parallel Graph Eigensolvers Through Library Composition. Presentation at Workshop on Performance Optimization for High-Level Languages and Libraries, Rhodes Island, Greece, April 2006. [bibtex-key = breuer06:pbgl_ietl_pohll_presentation] [bibtex-entry]



55. Peter Gottschling. MTL et GLAS. Presentation at INSA (presented in French), Lausanne, July 2006. [bibtex-key = gottschling06:insa_presentation] [bibtex-entry]



56. Peter Gottschling. MTL and GLAS. Presentation at Summer School of CEA -- EDF -- INRIA on High-Performance Applications, Paris, France, June 2006. [bibtex-key = gottschling06:ecole_d_ete_presentation] [bibtex-entry]



57. Peter Gottschling. Generic Linear Algebra. Presentation at ANL, Argonne, August 2006.

    Abstract:

    Generic linear algebra software provides algorithmic functionality on the whole set of data types that fulfils the requirements of the algorithms respectively its specific implementation. These requirements are formalized in concepts and it is well known from the Standard Template Library how data types implementational demands are specified with concepts. In our work we specified the properties of algebraic structures, like semi-groups and fields, in terms of concepts. Recent effords to integrate the concepts into the C++ languange lead to an implementation called ConceptGCC and we use our concepts with this compiler. Another topic, we will present is the code generation within C++ for performance optimization avoiding code generation using another language.

    [bibtex-key = gottschling06:anl_presentation] [bibtex-entry]



58. Douglas Gregor. Concepts and the Standard Library. Presentation to ANSI/ISO C++ Standard Committee, Library Working Group, Berlin, Germany, April 2006. [bibtex-key = gregor06:concepts_lwg_presentation] [bibtex-entry]



59. Douglas Gregor. Large-Scale Network Analysis with the Boost Graph Libraries. Presentation at Networks and Complex Systems talk series, Indiana University, Bloomington, Indiana, February 2006. [bibtex-key = gregor06:bgl_nscs_presentation] [bibtex-entry]



60. Douglas Gregor. The Boost Graph Library. Presentation at SciPy 2006, August 2006. [bibtex-key = gregor06:scipy] [bibtex-entry]



61. Douglas Gregor. Concepts. Presentation to ANSI/ISO C++ Standard Committee, Evolution Working Group, Berlin, Germany, April 2006. [bibtex-key = gregor06:concepts_ewg_presentation] [bibtex-entry]



62. Douglas Gregor and Andrew Lumsdaine. The Parallel Boost Graph Library. Presentation at the SIAM Conference on Parallel Processing, San Francisco, California, February 2006. [bibtex-key = gregor06:pbgl_siampp_presentation] [bibtex-entry]



63. Prabhanjan Kambadur, Douglas Gregor, Andrew Lumsdaine, and Amey Dharurkar. Modernizing the C++ Interface to MPI. Presentation at the 13th European PVM/MPI Users' Group Meeting, Bonn, Germany, September 2006. [bibtex-key = kambadur06:modernizing_cpp_mpi_present] [bibtex-entry]



64. Andrew Lumsdaine and Douglas Gregor. The Parallel Boost Graph Library. Presentation at Fort Meade, Maryland, January 2006. [bibtex-key = lumsdaine06:pbgl_dod_presentation] [bibtex-entry]



65. Andrew Lumsdaine. Generic Programming for Scientific Computing. Presentation at Army Research Lab, Adelphi, Maryland, January 2006. [bibtex-key = lumsdaine06:gpsc_arl_presentation] [bibtex-entry]



66. Andrew Lumsdaine. Lifting Sequential Graph Algorithms for Distributed-Memory Parallel Computation. Presentation at Google, Mountain View, California, February 2006. [bibtex-key = lumsdaine06:pbgl_google_presentation] [bibtex-entry]



67. Jeffrey M. Squyres. Shared Memory Collectives and Their Consequences. Computer Science Department Seminar, University of Houston, February 2006. [bibtex-key = squyres06:_shared_memor_collec_and_their_conseq] [bibtex-entry]



68. Jeffrey M. Squyres, Brian W. Barrett, George Bosilca, Richard L. Graham, Galen M. Shipman, and Timothy S. Woodall. Open MPI Developer's Workshop, April 2006.
    Note: San Jose, CA, USA. [bibtex-key = ompiteam06:_devel_workshop] [bibtex-entry]



69. Jeffrey M. Squyres, Timothy Woodall, and Shawn Hansen. Open MPI and OpenIB: Past, Present, and Future. Presentation at the OpenIB Workshop, Sonoma, CA, February 2006. [bibtex-key = squyres06:_open_mpi_and_openib] [bibtex-entry]



70. Christopher Mueller and Andrew Lumsdaine. Synthetic Programming with Python.
    Note: Presentation at SciPy 2006, August 2006. [bibtex-key = mueller_presscipy06] [bibtex-entry]



71. Christopher Mueller and Andrew Lumsdaine. Synthetic Programming.
    Note: Invited seminar at Intel, August 2006. [bibtex-key = mueller_presintel06] [bibtex-entry]



72. Christopher Mueller and Andrew Lumsdaine. PSWEEP: A Lightweight Pattern for Distributed Computational Experiments.
    Note: Presentation at SIAM Conference on Parallel Processing, San Francisco, California, February 2006. [bibtex-key = mueller06:psweep_siampp_presentation] [bibtex-entry]



73. Christopher Mueller, Benjamin Martin, and Andrew Lumsdaine. BLAST on IBM's Cell Broadband Engine.
    Note: Presentation at SuperComputing 2006, November 2006. [bibtex-key = mueller_pressc06] [bibtex-entry]

2005

1. Jeremy G. Siek. A Language for Generic Programming. PhD thesis, Indiana University, August 2005.

   Annotation:

   The past decade of software library construction has demonstrated that the discipline of generic programming is an effective approach to the design and implementation of large-scale software libraries. At the heart of generic programming is a semi-formal interface specification language for generic components. Many programming languages have features for describing interfaces, but none of them match the generic programming specification language, and none are as suitable for specifying generic components. This lack of language support impedes the current practice of generic programming. In this dissertation I present and evaluate the design of a new programming language, named G (for generic), that integrates the generic programming specification language with the type system and features of a full programming language. The design of G is based on my experiences, and those of colleagues, in the construction of generic libraries over the past decade. The design space for programming languages is large, thus this experience is vital in guiding choices among the many tradeoffs. The design of G emphasizes modularity because generic programming is inherently about composing separately developed components. In this dissertation I demonstrate that the design is implementable by constructing a compiler for G (translating to C++) and show the suitability of G for generic programming with prototypes of the Standard Template Library and the Boost Graph Library in G. I formalize the essential features of G in a small language and prove type soundness.

   [bibtex-key = siek05:_thesis] [bibtex-entry]



2. T. Hoefler, R. Janisch, and W. Rehm. Improving the parallel scaling of ABINIT, pages 551-559. CINECA Conzorzio Interuniversitario, 12 2005. [bibtex-key = hoefler-hpce05] [bibtex-entry]



3. T. Hoefler, R. Janisch, and W. Rehm. A Performance Analysis of ABINIT on a Cluster System, pages 37-51. Springer, Lecture Notes in Computational Science and Engineering, 12 2005. [bibtex-key = hoefler-sfb05] [bibtex-entry]



4. Debasis Dan, Chris Mueller, Kun Chen, and James A. Glazier. Solving the advection-diffusion equations in biological contexts using the cellular Potts model. Phys. Rev. E, 72(041909), October 2005. [bibtex-key = mueller_physreve05] [bibtex-entry]



5. Ronald Garcia and Andrew Lumsdaine. MultiArray: a C++ library for generic programming with arrays.. Softw., Pract. Exper., 35(2):159--188, 2005. [bibtex-key = DBLP:journals/spe/GarciaL05] [bibtex-entry]



6. Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David Musser, and Sibylle Schupp. Generic Programming and High-Performance Libraries. International Journal of Parallel Programming, 33(2), June 2005.

   Annotation:

   Generic programming is an especially attractive paradigm for developing libraries for high-performance computing because it simultaneously emphasizes generality and efficiency. In the generic programming approach, interfaces are based on sets of specified requirements on types, rather than on any particular types, allowing algorithms to inter-operate with any data types meeting the necessary requirements. These sets of requirements, known as concepts, can specify syntactic as well as semantic requirements. Besides providing a powerful means of describing interfaces to maximize software reuse, concepts provide a uniform mechanism for more closely coupling libraries with compilers and for effecting domain-specific library-based compiler extensions. To realize this goal however, programming languages and their associated tools must support concepts as first-class constructs. In this paper we advocate better syntactic and semantic support to make concepts first-class and present results demonstrating the kinds of improvements that are possible with static checking, compiler optimization, and algorithm correctness proofs for generic libraries based on concepts.

   [bibtex-key = GregorEtAl:IJPP:05] [bibtex-entry]



7. Lie-Quan Lee and Andrew Lumsdaine. Generic Programming for High Performance Scientific Applications. Concurrency and Computation: Practice & Experience, 17(7-8):941--965, June/July 2005. [bibtex-key = lee03:_ccpe] [bibtex-entry]



8. Ralf Müller, Peter Gottschling, and Martin Gaber. Water Concentration and Diffusivity in Silicates Obtained by Vacuum Extraction. Glass Science and Technology, 78:76--89, 2005. [bibtex-key = pg_extraction] [bibtex-entry]



9. Sriram Sankaran, Jeffrey M. Squyres, Brian Barrett, Andrew Lumsdaine, Jason Duell, Paul Hargrove, and Eric Roman. The LAM/MPI Checkpoint/Restart Framework: System-Initiated Checkpointing. International Journal of High Performance Computing Applications, 19(4):479--493, Winter 2005.
   Keywords: MPI, checkpoint/restart, rollback-recovery. [bibtex-key = sankaran05:_lam_mpi_check_restar_framew] [bibtex-entry]



10. Jeffrey M. Squyres. The Spawn of MPI. ClusterWorld Magazine, MPI Mechanic Column, 3(2):40--43, February 2005.
    Keywords: MPI. [bibtex-key = squyres05:_spawn_mpi] [bibtex-entry]



11. Jeffrey M. Squyres. Why Are There So Many MPI Implementations?. ClusterWorld Magazine, MPI Mechanic Column, 3(4):32--35, April 2005.
    Keywords: MPI. [bibtex-key = squyres05:_why_are_there_so_many_mpi_implem] [bibtex-entry]



12. Jeffrey M. Squyres. Doing More With Less. ClusterWorld Magazine, MPI Mechanic Column, 3(6):32--34,50, June 2005.
    Keywords: MPI. [bibtex-key = squyres05:_doing_more_with_less] [bibtex-entry]



13. Jeffrey M. Squyres. Debugging in Parallel (in Parallel). ClusterWorld Magazine, MPI Mechanic Column, 3(1):34--37, January 2005.
    Keywords: MPI. [bibtex-key = squyres05:_debug_paral_paral] [bibtex-entry]



14. Jeffrey M. Squyres. Progress is the Opposite of Congress. ClusterWorld Magazine, MPI Mechanic Column, 3(5):32--35, May 2005.
    Keywords: MPI. [bibtex-key = squyres05:_progr_oppos_congr] [bibtex-entry]



15. Jeffrey M. Squyres. Is Your Application Spawnworthy?. ClusterWorld Magazine, MPI Mechanic Column, 3(3):32--33,46--47, March 2005.
    Keywords: MPI. [bibtex-key = squyres05:_is_your_applic_spawn] [bibtex-entry]



16. Jeremiah Willcock, Andrew Lumsdaine, and Arch Robison. Using MPI with C# and the Common Language Infrastructure. Concurrency and Computation: Practice & Experience, 17(7-8):895--917, June/July 2005. [bibtex-key = willcock03:_ccpe] [bibtex-entry]



17. B. Barrett, J. M. Squyres, A. Lumsdaine, R. L. Graham, and G. Bosilca. Analysis of the Component Architecture Overhead in Open MPI. In Proceedings, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 2005. [bibtex-key = barrett05:_analy_compon_archit_overh_open_mpi] [bibtex-entry]



18. R. H. Castain, T. S. Woodall, D. J. Daniel, J. M. Squyres, B. Barrett, and G .E. Fagg. The Open Run-Time Environment (OpenRTE): A Transparent Multi-Cluster Environment for High-Performance Computing. In Proceedings, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 2005. [bibtex-key = castain05:_open_rte] [bibtex-entry]



19. Ronald Garcia and Andrew Lumsdaine. Type Classes Without Types. In 2005 Workshop on Scheme and Functional Programming, September 2005. [bibtex-key = garcia05:_type_class] [bibtex-entry]



20. Richard L. Graham, Timothy S. Woodall, and Jeffrey M. Squyres. Open MPI: A Flexible High Performance MPI. In Proceedings, 6th Annual International Conference on Parallel Processing and Applied Mathematics, Poznan, Poland, September 2005. [bibtex-key = graham05:_open_mpi] [bibtex-entry]



21. Douglas Gregor and Andrew Lumsdaine. The Parallel BGL: A Generic Library for Distributed Graph Computations. In Parallel Object-Oriented Scientific Computing (POOSC), July 2005.
    Note: Accepted.

    Annotation:

    This paper presents the Parallel BGL, a generic C++ library for distributed graph computation. Like the sequential Boost Graph Library (BGL) upon which it is based, the Parallel BGL applies the paradigm of generic programming to the domain of graph computations. Emphasizing efficient generic algorithms and the use of concepts to specify the requirements on type parameters, the Parallel BGL also provides flexible supporting data structures such as distributed adjacency lists and external property maps. The generic programming approach simultaneously stresses flexibility and efficiency, resulting in a parallel graph library that can adapt to various data structures and communication models while retaining the efficiency of equivalent hand-coded programs. Performance data for selected algorithms are provided demonstrating the efficiency and scalability of the Parallel BGL.

    [bibtex-key = Gregor:POOSC:2005] [bibtex-entry]



22. Douglas Gregor and Andrew Lumsdaine. Lifting Sequential Graph Algorithms for Distributed-Memory Parallel Computation. In Proceedings of the 2005 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '05), pages 423--437, October 2005.

    Annotation:

    This paper describes the process used to extend the Boost Graph Library (BGL) for parallel operation with distributed memory. The BGL is a library of generic graph algorithms and supporting data structures written in C++, but it was not originally designed with parallelism in mind. The generic programming process of lifting is illustrated using one of the core algorithms in the BGL--breadth-first search--abstracting away the implicit requirements of sequential execution and a single, shared address space. The resulting generic algorithm is completely unchanged from the sequential algorithm, requiring only the introduction of external (distributed) data structures for parallelization. More importantly, the generic implementation retains its interface and semantics, such that other distributed algorithms can be built upon it with no loss of efficiency. By characterizing these extensions as well as the extension process, we develop general principles and patterns for using (and reusing) generic high-performance parallel software libraries. We demonstrate that the resulting algorithm implementations are both efficient and scalable with performance results for several algorithms.

    [bibtex-key = Gregor:OOPSLA:2005] [bibtex-entry]



23. Douglas Gregor and Andrew Lumsdaine. The Execution Instance Overloading Pattern. In Workshop on Patterns in High-Performance Computing, May 2005. [bibtex-key = Gregor05:eio_pattern] [bibtex-entry]



24. T. Hoefler. The Cell Processor. In 22C3 Proceedings, pages 286-292, 12 2005. [bibtex-key = hoefler-22c3-05] [bibtex-entry]



25. T. Hoefler, L. Cerquetti, T. Mehlan, F. Mietke, and W. Rehm. A practical approach to the rating of barrier algorithms using the LogP model and Open-MPI. In Proceedings of the 2005 International Conference on Parallel Processing Workshops, pages 562--569, 06 2005. [bibtex-key = hoefler-icpp-05] [bibtex-entry]



26. T. Hoefler and W. Rehm. A Communication Model for Small Messages with InfiniBand. In PARS Mitteilungen, pages 32-41, 06 2005. PARS.
    Note: (Awarded with the PARS Junior Researcher Prize). [bibtex-key = hoefler-pars-05] [bibtex-entry]



27. Torsten Hoefler, Jeffrey M. Squyres, Torsten Mehlan, Frank Mietke, and Wolfgang Rehm. Implementing a Hardware-Based Barrier in Open MPI. In Proceedings of KiCC'05, Chemnitzer Informatik Berichte, November 2005. [bibtex-key = hoeflerkicc05] [bibtex-entry]



28. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Associated types and constraint propagation for mainstream object-oriented generics. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming systems languages and applications, New York, NY, USA, pages 1--19, 2005. ACM Press. [bibtex-key = jarvi05:oopsla] [bibtex-entry]



29. DongInn Kim, Jeffrey M. Squyres, and Andrew Lumsdaine. Revamping the OSCAR database: A Flexible Approach to Cluster Configuration Data Management. In Ilias Kotsireas and Deborah Stacey, editors, 19th International Symposium on High Performance Computing Systems and Applications, Guelph, Ontario, Canada, pages 326-332, May 2005. IEEE Computer Society.
    Keywords: OSCAR, high performance computing, cluster. [bibtex-key = kim05:_revam_oscar] [bibtex-entry]



30. F. Mietke, M. Steiger, T. Mehlan, and T. Hoefler und W. Rehm. SHIBA Shared Memory Support for InfiniBand MPICH2 Device. In PARS Mitteilungen 2005, pages 14-23, 6 2005. [bibtex-key = mietke-pars-05] [bibtex-entry]



31. Christopher Mueller, Mehmet Dalkilic, and Andrew Lumsdaine. High-Performance Direct Pairwise Comparison of Large Genomic Sequences. In Proceedings of the Fourth IEEE International Workshop on High Performance Computational Biology (HiCOMB 2005), April 2005. [bibtex-key = mueller_hicomb05] [bibtex-entry]



32. Craig E. Rasmussen and Jeffrey M. Squyres. A Case for New MPI Fortran Bindings. In Proceedings, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 2005. [bibtex-key = rasmussen05:_case_new_mpi_fortran_bindings] [bibtex-entry]



33. Jeremy Siek and Andrew Lumsdaine. Language Requirements for Large-Scale Generic Libraries. In GPCE '05: Proceedings of the fourth international conference on Generative Programming and Component Engineering, September 2005.
    Note: Accepted for publication.

    Annotation:

    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.

    [bibtex-key = siek05:_g_stl] [bibtex-entry]



34. Jeremy Siek and Andrew Lumsdaine. Essential Language Support for Generic Programming. In PLDI '05: Proceedings of the ACM SIGPLAN 2005 conference on Programming language design and implementation, New York, NY, USA, pages 73--84, June 2005. ACM Press.

    Annotation:

    ``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 \C pp{} 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.

    [bibtex-key = siek05:_fg_pldi] [bibtex-entry]



35. Todd L. Veldhuizen. Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law. In , 2005.
    Note: ArXiv:cs.SE/0508023. [bibtex-key = Veldhuizen:LCSD:2005] [bibtex-entry]



36. Marcin Zalewski and Sibylle Schupp. Changing Iterators with Confidence. A Case Study of Change Impact Analysis Applied to Conceptual Specifications.. In David Musser and Jeremy Siek, editors, Proc. 1st Int. Workshop on Library-Centric Software Design, 2005. [bibtex-key = zalewski_changing_2005] [bibtex-entry]



37. Brian W. Barrett, Jeffrey M. Squyres, and Andrew Lumsdaine. Implementation of Open MPI on Red Storm. Technical report LA-UR-05-8307, Los Alamos National Laboratory, Los Alamos, New Mexico, USA, October 2005. [bibtex-key = barrett05:_implem_open_mpi_red_storm] [bibtex-entry]



38. Douglas Gregor and Jeremy Siek. Explicit model definitions are necessary. Technical report N1798=05-0058, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2005. [bibtex-key = gregor05:explicit_models] [bibtex-entry]



39. Douglas Gregor, Jeremy Siek, Jeremiah Willcock, Jaakko Järvi, Ronald Garcia, and Andrew Lumsdaine. Concepts for C++0x (Revision 1). Technical report N1849=05-0109, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, August 2005. [bibtex-key = gregor05:concepts_c++0x] [bibtex-entry]



40. Douglas Gregor and Jeremy Siek. Implementing Concepts. Technical report N1848=05-0108, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, August 2005. [bibtex-key = gregor05:implementing_concepts] [bibtex-entry]



41. Jeremy Siek, Douglas Gregor, Ronald Garcia, Jeremiah Willcock, Jaakko Järvi, and Andrew Lumsdaine. Concepts for C++0x. Technical report N1758=05-0018, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, January 2005. [bibtex-key = siek05:_concepts_cpp0x] [bibtex-entry]



42. Peter Gottschling. Generic Libraries to Support FEM Applications. Presentation at Extended Finite Element Tutorial, Lausanne, Switzerland, December 2005. [bibtex-key = gottschling05:xfem_presentation] [bibtex-entry]



43. T. Hoefler. Evaluation of publicly available Barrier-Algorithms and Improvement of the Barrier-Operation for large-scale Cluster-Systems with special Attention on InfiniBand Networks, Apr. 2005. [bibtex-key = hoefler-thesis-05] [bibtex-entry]



44. Christopher Mueller, Mehmet Dalkilic, and Andrew Lumsdaine. Implementing Data Parallel Algorithms for Bioinformatics.
    Note: Presentation at SIAM Conference on Computational Science and Engineering, Orlando, FL, February 14 2005. [bibtex-key = mueller_pressiam05] [bibtex-entry]



45. Christopher Mueller and Andrew Lumsdaine. Developing Reliable Complex Software Systems in a Research Environment.
    Note: Presentation at iLight 2005, September 2005. [bibtex-key = mueller_presilight05] [bibtex-entry]

2004

1. Douglas Gregor. High-level Static Analysis for Generic Libraries. PhD thesis, Rensselaer Polytechnic Institute, May 2004. [bibtex-key = Gregor-Thesis] [bibtex-entry]



2. Jeffrey M. Squyres. A Component Architecture for the Message Passing Interface (MPI): The Systems Service Interface (SSI) of LAM/MPI. PhD thesis, University of Notre Dame, Notre Dame, IN, April 2004. [bibtex-key = squyres04:_compon_archit_messag_passin_inter_mpi] [bibtex-entry]



3. Todd L. Veldhuizen. Active Libraries and Universal Languages. PhD thesis, Indiana University Computer Science, May 2004. [bibtex-key = Veldhuizen:2004] [bibtex-entry]



4. Brian W. Barrett. Return of the MPI Datatypes. ClusterWorld Magazine, MPI Mechanic Column, 2(6):34--36, June 2004.
   Keywords: MPI. [bibtex-key = barrett04:_retur_mpi_datat] [bibtex-entry]



5. Jiangtao Cheng, J. P. Morris, John Tran, Andrew Lumsdaine, N. J. Giordano, and L. J. Pyrak-Nolte. Single Phase Flow in a Fracture: Micro-Model Experiments & Network Flow Simulation. International Journal of Rock Mechanics, 41(4):687--693, 2004. [bibtex-key = cheng04:_single_phase_flow] [bibtex-entry]



6. Jeffrey M. Squyres. Everything You Wanted to Know About Groups and Communicators. ClusterWorld Magazine, MPI Mechanic Column, 2(4):32--34, 48, April 2004.
   Keywords: MPI. [bibtex-key = squyres04:_every_you_wanted_know_about_group_commun] [bibtex-entry]



7. Jeffrey M. Squyres. Zen and the Art of MPI Collectives. ClusterWorld Magazine, MPI Mechanic Column, 2(3):32--34, March 2004.
   Keywords: MPI. [bibtex-key = squyres04:_zen_art_mpi_collec] [bibtex-entry]



8. Jeffrey M. Squyres. More Joys of Asynchronous Communication. ClusterWorld Magazine, MPI Mechanic Column, 2(10):34--36, October 2004.
   Keywords: MPI. [bibtex-key = squyres04:_more_joys_async_commun] [bibtex-entry]



9. Jeffrey M. Squyres. In Parallel, Everyone Hears You Scream. ClusterWorld Magazine, MPI Mechanic Column, 2(7):36--37, July 2004.
   Keywords: MPI. [bibtex-key = squyres04:_in_paral_every_hears_you_scream] [bibtex-entry]



10. Jeffrey M. Squyres. In Parallel, Everyone Hears You Scream II. ClusterWorld Magazine, MPI Mechanic Column, 2(8):34--36, August 2004.
    Keywords: MPI. [bibtex-key = squyres04:_in_paral_every_hears_you_scream_ii] [bibtex-entry]



11. Jeffrey M. Squyres. MPI_Reduce: Introducing Open MPI. ClusterWorld Magazine, 2(11):20--28, November 2004.
    Keywords: MPI. [bibtex-key = squyres04:_mpi_reduc] [bibtex-entry]



12. Jeffrey M. Squyres. What Really Happens During MPI_INIT. ClusterWorld Magazine, MPI Mechanic Column, 2(2):26--28, 46, February 2004.
    Keywords: MPI b. [bibtex-key = squyres04:_what_reall_happen_durin_mpi_init] [bibtex-entry]



13. Jeffrey M. Squyres. The Joys of Asynchronous Computing. ClusterWorld Magazine, MPI Mechanic Column, 2(9):36--38, September 2004.
    Keywords: MPI. [bibtex-key = squyres04:_joys_async_comput] [bibtex-entry]



14. Jeffrey M. Squyres. Processes, Processors, and MPI, Oh My!. ClusterWorld Magazine, MPI Mechanic Column, 2(1), January 2004.
    Keywords: MPI. [bibtex-key = squyres04:_proces_proces_mpi_oh_my] [bibtex-entry]



15. Jeffrey M. Squyres. MPI Debugging -- Can You Hear Me Now?. ClusterWorld Magazine, MPI Mechanic Column, 2(12):32--35, December 2004.
    Keywords: MPI. [bibtex-key = squyres04:_mpi_debug] [bibtex-entry]



16. Jeffrey M. Squyres. How to Succeed in Datatypes Without Really Trying. ClusterWorld Magazine, MPI Mechanic Column, 2(5):32--34, May 2004.
    Keywords: MPI. [bibtex-key = squyres04:_how_succeed_datat_without_reall_tryin] [bibtex-entry]



17. Edgar Gabriel, Graham E. Fagg, George Bosilca, Thara Angskun, Jack J. Dongarra, Jeffrey M. Squyres, Vishal Sahay, Prabhanjan Kambadur, Brian Barrett, Andrew Lumsdaine, Ralph H. Castain, David J. Daniel, Richard L. Graham, and Timothy S. Woodall. Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation. In Proceedings, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, pages 97--104, September 2004. [bibtex-key = gabriel04:_open_mpi] [bibtex-entry]



18. Peter Gottschling, Martin Gaber, and Ralf Müller. Finite Difference Calculation of Degassing from Glass Powders (in German). In 78th Conference of German Society of Glass Technology, Nürnberg, 2004. [bibtex-key = pg_nuernberg] [bibtex-entry]



19. Peter Gottschling. ANGEL -- An Extensible Library for Jacobian Accumulation. In 4th International Conference on Automatic Differentiation, Chicago, 2004. [bibtex-key = pg_angel] [bibtex-entry]



20. T. Hoefler. Remote Network Analysis. In 21C3 Proceedings, pages 33-37, 12 2004. [bibtex-key = hoefler-21c3-04] [bibtex-entry]



21. Jaakko Järvi, Andrew Lumsdaine, Douglas Gregor, M. Kulkarni, David Musser, and Sibylle Schupp. Generic Programming and High-Performance Libraries. In Workshop on Next Generation Software at IPDPS 2004, Santa Fe, New Mexico, April 2004. [bibtex-key = jarvi:04:ipdps_ngs] [bibtex-entry]



22. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Algorithm specialization and concept constrained genericity. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit, San Jose, CA, April 2004. Adobe Systems. [bibtex-key = jarvi04:algorithm_specialization] [bibtex-entry]



23. Ralf Müller, Martin Gaber, and Peter Gottschling. Volatile Concentration and Diffusivity Determined by Vacuum Hot Extraction. In 20th International Congress on Glass, Kyoto, 2004. [bibtex-key = pg_kyoto] [bibtex-entry]



24. Sibylle Schupp, Marcin Zalewski, and Kyle Ross. Rapid Performance Prediction for Library Components. In Proc. 4th. ACM Workshop on Software and Performance, pages 73--69, 2004. ACM Press. [bibtex-key = schupp_rapid_2004] [bibtex-entry]



25. Jeremy Siek and Andrew Lumsdaine. Modular Generics. In Concepts: a Linguistic Foundation of Generic Programming, April 2004. Adobe Systems.

    Annotation:

    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.

    [bibtex-key = siek04:_modular_generics] [bibtex-entry]



26. Jeffrey M. Squyres and Andrew Lumsdaine. The Component Architecture of Open MPI: Enabling Third-Party Collective Algorithms. In Vladimir Getov and Thilo Kielmann, editors, Proceedings, 18th ACM International Conference on Supercomputing, Workshop on Component Models and Systems for Grid Applications, St. Malo, France, pages 167--185, July 2004. Springer. [bibtex-key = squyres04:_compon_archit_open_mpi] [bibtex-entry]



27. Todd L. Veldhuizen. Guaranteed Optimization for Domain-Specific Programming. In Christian Lengauer and Don Batory, editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 306-324, 2004. Springer-Verlag. [bibtex-key = Veldhuizen:LNCS:2004] [bibtex-entry]



28. Jeremiah Willcock, Jaakko Järvi, Andrew Lumsdaine, and David Musser. A Formalization of Concepts for Generic Programming. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit, April 2004. Adobe Systems. [bibtex-key = willcock04:_formal_concep_gener_progr] [bibtex-entry]



29. T.S. Woodall, R.L. Graham, R.H. Castain, D.J. Daniel, M.W. Sukalski, G.E. Fagg, E. Gabriel, G. Bosilca, T. Angskun, J.J. Dongarra, J.M. Squyres, V. Sahay, P. Kambadur, B. Barrett, and A. Lumsdaine. TEG: A High-Performance, Scalable, Multi-Network Point-to-Point Communications Methodology. In Proceedings, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, pages 303--310, September 2004. [bibtex-key = woodall04:_teg] [bibtex-entry]



30. T.S. Woodall, R.L. Graham, R.H. Castain, D.J. Daniel, M.W. Sukalski, G.E. Fagg, E. Gabriel, G. Bosilca, T. Angskun, J.J. Dongarra, J.M. Squyres, V. Sahay, P. Kambadur, B. Barrett, and A. Lumsdaine. Open MPI's TEG Point-to-Point Communications Methodology: Comparison to Existing Implementations. In Proceedings, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, pages 105--111, September 2004. [bibtex-key = woodall04:_open_teg_point_point_commun_method] [bibtex-entry]



31. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Associated Types and Constraint Propagation for Mainstream Object-Oriented Generics. Technical report 2004-12-3, Texas A&M University, Computer Science, December 2004.
    Note: Http://www.cs.tamu.edu/research/tr. [bibtex-key = jarvi04:tamu] [bibtex-entry]



32. Jeremy Siek and Andrew Lumsdaine. Essential Language Support for Generic Programming: Formalization Part 1. Technical report 605, Indiana University, December 2004.

    Annotation:

    ``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 \C pp{} 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.

    [bibtex-key = siek04:_fg1] [bibtex-entry]

2003

1. Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger. Improving the Lazy Krivine Machine. Higher-Order and Symbolic Computation, 2003.
   Note: Accepted for publication. [bibtex-key = friedman03:_improve_krivine] [bibtex-entry]



2. Douglas Gregor, Sibylle Schupp, and David R. Musser. Design Patterns for Library Optimization. Scientific Programming, 11(4):309--320, 2003. [bibtex-key = GSM03] [bibtex-entry]



3. J. Järvi, G. Powell, and A. Lumsdaine. The Lambda Library: unnamed functions in C++. Software---Practice and Experience, 33:259--291, 2003. [bibtex-key = jarvi:03:spe_lambda] [bibtex-entry]



4. J. Järvi, J. Willcock, H. Hinnant, and A. Lumsdaine. Function Overloading Based on Arbitrary Properties of Types. C/C++ Users Journal, 21(6):25--32, June 2003. [bibtex-key = jarvi:03:cuj_arbitrary_overloading] [bibtex-entry]



5. Andrew Lumsdaine and Deyun Wu. Krylov-Subspace Acceleration of Waveform Relaxation. SIAM Journal on Numerical Analysis, 41(1):90-111, 2003. [bibtex-key = lumsdaine03:_convolution] [bibtex-entry]



6. Jeffrey M. Squyres. Definitions and Fundamentals -- The Message Passing Interface (MPI). ClusterWorld Magazine, MPI Mechanic Column, 1(1):26--29, December 2003.
   Keywords: MPI. [bibtex-key = squyres03:_defin_fundam] [bibtex-entry]



7. Irina Virtanen, Eeva Ekholm, Tero Aittokallio, Jarno Tähtinen, Jussi Salmi, Jaakko Järvi, Päivi Polo-Kantola, and Olli Polo. State of vigilance, oestrogen replacement therapy, and libid profile as modifiers of nocturnal movement-induced heart rate responces. Clinical Physiology and Functional Imaging, 23(5):293--299, 2003. [bibtex-key = virtanen:03:nocturnal] [bibtex-entry]



8. Andreas Albrecht, Peter Gottschling, and Uwe Naumann. Markowitz-type heuristics for computing Jacobian matrices efficiently. In Internat. Conference on Computational Science, St. Petersburg, number 2658 of LNCS, 2003. [bibtex-key = pg_iccs] [bibtex-entry]



9. Brian Barrett, Jeff Squyres, and Andrew Lumsdaine. Integration of the LAM/MPI environment and the PBS scheduling system. In Proceedings, 17th Annual International Symposium on High Performance Computing Systems and Applications, Quebec, Canada, May 2003.
   Keywords: LAM/MPI, LAM, PBS, MPI, TM, Message Passing Interface, scheduling, batch scheduling, high performance computing. [bibtex-key = barrett03:_integ_lam_mpi_pbs] [bibtex-entry]



10. Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. A Comparative Study of Language Support for Generic Programming. In Proceedings of the 2003 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'03), October 2003. [bibtex-key = comparing_generic_programming03] [bibtex-entry]



11. Peter Gottschling, Martin Gaber, and Ralf Müller. Numerical Simulation of Degassing Processes from Glass Powders (in German). In 77th Conference of German Society of Glass Technology, Leipzig, May 2003. [bibtex-key = pg_leipzig] [bibtex-entry]



12. Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, and Jeremiah Willcock. An Analysis of Constrained Polymorphism for Generic Programming. In Kei Davis and Jörg Striegnitz, editors, Multiparadigm Programming 2003: Proceedings of the MPOOL Workshop at OOPSLA'03, John von Neumann Institute of Computing series, Anaheim, CA, pages 87--107, October 2003. [bibtex-key = constrained_polymorphism:mpool03] [bibtex-entry]



13. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Concept-Controlled Polymorphism. In Frank Pfennig and Yannis Smaragdakis, editors, Generative Programming and Component Engineering, volume 2830 of LNCS, pages 228--244, September 2003. Springer Verlag. [bibtex-key = jarvi03:_concep_contr_polym] [bibtex-entry]



14. Prabhanjan Kambadur, Raj Mutharasan, and Sangli Pranesh Srinivas. Adaptation of a Spot Fluorometer for Lifetime Applications. In Proceedings of Association For Research in Vision and Opthalmology (ARVO), Fort Lauderdale, USA, May 2003. [bibtex-key = kambadur03:spot_fluorometer] [bibtex-entry]



15. Lie-Quan Lee and Andrew Lumsdaine. The Generic Message Passing Framework. In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), pages 53, April 2003. [bibtex-key = lee03:_gmp_ipdps03] [bibtex-entry]



16. Ralf Müller, Martin Gaber, and Peter Gottschling. Water Release and Crystallization of Glass Powders. In 7th Intern. Symposium on Crystallisation in Glasses and Liquids, Sheffield, UK, July 2003. [bibtex-key = pg_sheffield] [bibtex-entry]



17. John Mugler, Thomas Naughton, Stephen L. Scott, Brian Barrett, Andrew Lumsdaine, Jeffrey M. Squyres, Benoît des Ligneris, Francis Giraldeau, and Chokchai Leangsuksun. OSCAR Clusters. In Proceedings of the Ottawa Linux Symposium (OLS'03), Ottawa, Canada, July # 23-26, 2003.
    Keywords: OSCAR, Thin-OSCAR, HA-OSCAR, cluster. [bibtex-key = oscar:ols03] [bibtex-entry]



18. Raj Mutharasan, Prabhanjan Kambadur, and Sangli Pranesh Srinivas. Calculation of Bioavailability Using Distributed Parameter Models of Trans-Corneal Transport. In Proceedings of Association For Research in Vision and Opthalmology (ARVO), Fort Lauderdale, USA, May 2003. [bibtex-key = kambadur03:bioavailability] [bibtex-entry]



19. Uwe Naumann and Peter Gottschling. Simulated Annealing for Optimal Pivot Selection in Jacobian Accumulation. In 2nd Symp. on Stochastic Algorithms: Foundations and Applications SAGA03, Hatfield, UK, September 2003. [bibtex-key = pg_saga03] [bibtex-entry]



20. Jeffrey M. Squyres and Andrew Lumsdaine. A Component Architecture for LAM/MPI. In Proceedings ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, CA, USA, June 2003.
    Note: Short Talk on Emerging Research. [bibtex-key = squyres03:_compon_archit_lam_mpi] [bibtex-entry]



21. Jeffrey M. Squyres and Andrew Lumsdaine. The Component Architecture of LAM/MPI (Poster). In Proceedings ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, CA, USA, June 2003. [bibtex-key = squyres03:_compon_archit_lam_mpi_poster] [bibtex-entry]



22. Jeffrey M. Squyres and Andrew Lumsdaine. A Component Architecture for LAM/MPI. In Proceedings, Euro PVM/MPI, October 2003. [bibtex-key = squyres03:_compon_archit_lam_mpi] [bibtex-entry]



23. M. Zalewski and S. Schupp. A Polymorphic Radix-n Framework for Fast Fourier Transforms. In M. Broy and A. V Zamulin, editors, Proc. 5th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, volume 2890 of LNCS, pages 30―37, July 2003. Springer. [bibtex-key = zalewski_polymorphic_2003] [bibtex-entry]



24. David Abrahams, Jeremy Siek, and Thomas Witt. New Iterator Concepts. Technical report N1477=03-0060, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, 2003. [bibtex-key = abrahams03:_new_iterator_concepts] [bibtex-entry]



25. David Abrahams, Jeremy Siek, and Thomas Witt. Iterator Facade and Adaptor. Technical report N1476=03-0059, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, 2003. [bibtex-key = abrahams03:_iterat_facad_adapt] [bibtex-entry]



26. Peter Dimov, Douglas Gregor, J. Järvi, and Gary Powell. A proposal to add an enhanced binder to the library technical report. Technical report N1455=03-0038, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, : Programming Language C++, 2003. [bibtex-key = dimov03:_binder] [bibtex-entry]



27. Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger. Improving the Lazy Krivine Machine. Technical report 581, Indiana University, November 2003.
    Note: To appear in the journal, Higher Order and Symbolic Computation.

    Annotation:

    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.)

    [bibtex-key = friedman03:_improve_krivine_tr] [bibtex-entry]



28. Douglas Gregor, Gary Powell, and J. Järvi. Typesafe variable-length function and template argument lists. Technical report N1483=03-0066, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, : Programming Language C++, 2003. [bibtex-key = gregor03:_typesafe] [bibtex-entry]



29. Douglas Gregor and Sibylle Schupp. Retaining Path-Sensitive Relations across Control-Flow Merges. Technical report 03-15, Rensselaer Polytechnic Institute, November 2003. [bibtex-key = GrSc03] [bibtex-entry]



30. J. Järvi and B. Stroustrup. Mechanisms for querying types of expressions: Decltype and auto revisited. Technical report N1527=03-0110, ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language C++, September 2003. [bibtex-key = jarvi:03:std_decltype_revisited] [bibtex-entry]



31. J. Järvi, Bjarne Stroustrup, Douglas Gregor, and Jeremy Siek. Decltype and Auto. Technical report N1478=03-0061, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, : Programming Language C++, 2003. [bibtex-key = jaervi03:_declt_auto] [bibtex-entry]



32. Sriram Sankaran, Jeffrey M. Squyres, Brian Barrett, and Andrew Lumsdaine. Checkpoint-Restart Support System Services Interface (SSI) Modules for LAM/MPI. Technical Report TR578, Indiana University, Computer Science Department, 2003. [bibtex-key = sankaran03:_check_restar_suppor_system_servic] [bibtex-entry]



33. Jeffrey M. Squyres, Brian Barrett, and Andrew Lumsdaine. Boot System Services Interface (SSI) Modules for LAM/MPI. Technical Report TR576, Indiana University, Computer Science Department, 2003. [bibtex-key = squyres03:_boot_system_servic_inter_ssi] [bibtex-entry]



34. Jeffrey M. Squyres, Brian Barrett, and Andrew Lumsdaine. MPI Collective Operations System Services Interface (SSI) Modules for LAM/MPI. Technical Report TR577, Indiana University, Computer Science Department, 2003. [bibtex-key = squyres03:_mpi_collec_operat_system_servic] [bibtex-entry]



35. Jeffrey M. Squyres, Brian Barrett, and Andrew Lumsdaine. The System Services Interface (SSI) to LAM/MPI. Technical Report TR575, Indiana University, Computer Science Department, 2003. [bibtex-key = squyres03:_system_servic_inter_ssi_lam_mpi] [bibtex-entry]



36. Jeffrey M. Squyres, Brian Barrett, and Andrew Lumsdaine. Request Progression Interface (RPI) System Services Interface (SSI) Modules for LAM/MPI. Technical Report TR579, Indiana University, Computer Science Department, 2003. [bibtex-key = squyres03:_reques_progr_inter_rpi_system] [bibtex-entry]



37. Todd L. Veldhuizen and Jeremy Siek. Combining Optimizations, Combining Theories. Technical report 582, Indiana University, May 2003.

    Annotation:

    We consider the problem of how best to combine optimizations in imperative compilers. It is known that combined optimizations (or ``super-analyses'') can be strictly better than iterating separate improvement passes. We propose an explanation of why this is so by drawing connections between program analysis and the algebraic and coalgebraic views of programs and processes. We argue that ``optimistic'' analyses decide coinductively-defined relations and are based on bisimilarity. We relate combining program improvements to the problem of deciding combinations of theories. Iterating program improvements is similar to the Nelson-Oppen method of deciding combined theories: in Nelson-Oppen decision procedures communicate equalities, and iterated improvement passes implicitly communicate equalities via term replacements. To decide combined theories of bisimilarity, some ``co-Nelson-Oppen'' procedure is needed that propagates \e mph{inequalities} amongst decision procedures. Hence, iterating optimistic analyses fails to be effective because inequalities cannot be communicated by semantics-preserving rewrites. Superanalysis is conjectured to overcome this failing by behaving like a ``co-Nelson-Oppen'' decision procedure.

    [bibtex-key = veldhuizen03:_comb_opt_thy] [bibtex-entry]

2002

1. Jeremy Siek, Lee-Quan Lee, and Andrew Lumsdaine. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, 2002. [bibtex-key = siek02:_bgl_book] [bibtex-entry]



2. J. Järvi, A. Lumsdaine, and D. S. Wise, editors. MSPLS 2002: Proceedings of the Workshop of the Midwest Society for Programming Languages and Systems, April 2002.
   Note: Technical Report 560. in the Indiana University Computer Science TR Series. [bibtex-key = mspls:02] [bibtex-entry]



3. Lie-Quan Lee. Generic Programming for High-Performance Scientific Computing. PhD thesis, University of Notre Dame, 2002. [bibtex-key = lee02:_phd_thesis] [bibtex-entry]



4. J. A. Izaguirre, Q. Ma, T. Matthey, J. Willcock, T. Slabach, B. Moore, and G. Viamontes. Overcoming Instabilities in Verlet-I/r-RESPA with the Mollified Impulse Method. In T. Schlick and H. H. Gan, editors,Proceedings of 3rd International Workshop on Methods for Macromolecular Modeling, volume 24 of Lecture Notes in Computational Science and Engineering, pages 146--174. Springer-Verlag, Berlin, New York, 2002. [bibtex-key = IMM+02] [bibtex-entry]



5. L. Susan Blackford, James Demmel, Jack Dongarra, Iain Duff, Sven Hammarling, Michael Heroux, Linda Kaufman, Andrew Lumsdaine, Antone Petitet, Roldan Pozo, Karin Remington, and R. Clint Whaley. An updated set of basic linear algebra subprograms (BLAS). ACM Transactions on Mathematical Software (TOMS), 28(2):135--151, 2002. [bibtex-key = blackford_etal02:_blas] [bibtex-entry]



6. Ralf Müller, Martin Gaber, and Peter Gottschling. Water Release from Silicate Glass Powders. Glass Science and Technology, 75:92--97, 2002. [bibtex-key = pg_release_journal] [bibtex-entry]



7. Sibylle Schupp, Douglas Gregor, David R. Musser, and Shin-Ming Liu. Semantic and Behavioral Library Transformations. Information and Software Technology, 44(13):797--810, 2002. [bibtex-key = SGM+02] [bibtex-entry]



8. Douglas Gregor and Sibylle Schupp. Making the Usage of STL Safe. In Jeremy Gibbons and Johan Jeuring, editors, Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, volume 243 of IFIP Conference Proceedings, pages 127--140, July 2002. Kluwer. [bibtex-key = GrSc02] [bibtex-entry]



9. Lie-Quan Lee and Andrew Lumsdaine. Generic programming for high performance scientific applications. In Proceedings of the 2002 Joint ACM Java Grande -- ISCOPE Conference, pages 112--121, 2002. ACM Press. [bibtex-key = lee02:_iscope02] [bibtex-entry]



10. Thomas Naughton, Stephen L. Scott, Brian Barret, Jeffrey M. Squyres, Andrew Lumsdaine, and Yung-Chin Fant. The Penguin in the Pail -- OSCAR Cluster Installation Tool. In The 6^th World MultiConference on Systemic, Cybernetics and Informatics (SCI 2002), Invited Session of SCI'02, Commodity, High Performance Cluster Computing Technologies and Applications, Orlando, FL, USA, 2002.
    Keywords: OSCAR, Linux, high performance computing, cluster. [bibtex-key = naughton02:_penguin_pail] [bibtex-entry]



11. Sibylle Schupp, D. P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, and Andrew Lumsdaine. Concept-Based Component Libraries and Optimizing Compilers. In Proceedings IPDPS'02, 2002. [bibtex-key = schupp02:_ngs_ipdps02] [bibtex-entry]



12. Sibylle Schupp, Mukkai Krishnamoorthy, Marcin Zalewski, and James Kilbride. The ``Right'' Level of Abstraction --- Assessing Reusable Software with Formal Concept Analysis. In G. Angelova, D. Corbett, and U. Priss, editors, Foundations and Applications of Conceptual Structures --- Contributions to ICCS 2002, pages 74--91, 2002. Bulgarian Academy of Sciences. [bibtex-key = schupp_right_2002] [bibtex-entry]



13. Todd L. Veldhuizen and Andrew Lumsdaine. Guaranteed Optimization: Proving Nullspace Properties of Compilers. In Proceedings of the 2002 Static Analysis Symposium (SAS'02), volume 2477 of Lecture Notes in Computer Science, pages 263-277, 2002. Springer-Verlag.
    Keywords: dataflow analysis, reliable optimization, abstract interpretation, program analysis, program optimization, abstraction penalty, term rewriting, superanalysis.

    Abstract:

    "Writing performance-critical programs can be frustrating because optimizing compilers for imperative languages tend to be unpredictable. For a subset of optimizations - those that simplify rather than reorder code - it would be useful to prove that a compiler reliably performs optimizations. We show that adopting a ``superanalysis'' approach to optimization enables such a proof. By analogy with linear algebra, we define the nullspace of an optimizer as those programs it reduces to the empty program. To span the nullspace, we define rewrite rules that de-optimize programs by introducing abstraction. For a model compiler we prove that any sequence of de-optimizing rewrite rule applications is undone by the optimizer. Thus, we are able to give programmers a clear mental model of what simplifications the compiler is guaranteed to perform, and make progress on the problem of ``abstraction penalty'' in imperative languages."

    [bibtex-key = Veldhuizen:SAS:2002] [bibtex-entry]



14. Jeremiah Willcock, Andrew Lumsdaine, and Arch Robison. Using MPI with C# and the Common Language Infrastructure. In Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference, pages 238, November 2002. ACM SIGPLAN, ACM Press.
    Note: Poster abstract. [bibtex-key = mpinet-poster-abstract] [bibtex-entry]



15. Andreas Albrecht, Peter Gottschling, and Uwe Naumann. Logarithmic simulated annealing for optimal derivative code. Technical report, Technical Report 372, University of Hertfordshire, UK, 2002. [bibtex-key = pg_logarithmic_sa] [bibtex-entry]



16. J. Järvi. Proposal for adding tuple types into the standard library. Technical report N1403=02-0061, ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language C++, 2002. [bibtex-key = jarvi:02:std_tuple_proposal] [bibtex-entry]



17. Thomas Naughton, Stephen L. Scott, Brian Barrett, Jeffrey M. Squyres, Andrew Lumsdaine, Yung-Chin Gang, and Victor Mashayekhi. Looking inside the OSCAR cluster toolkit. Technical report In PowerSolutions Magazine, chapter HPC Cluster Environment, Dell Computer Corporation, November 2002.
    Keywords: OSCAR, Linux, high performance computing, cluster. [bibtex-key = naughton02:_lookin_oscar] [bibtex-entry]



18. Sibylle Schupp, Douglas Gregor, Brian Osman, David R. Musser, Jeremy Siek, Lie-Quan Lee, and Andrew Lumsdaine. Concept-based Component Libraries and Optimizing Compilers. Technical report, RPI Computer Science Department Technical Report 02-02, 2002. [bibtex-key = SGO+02] [bibtex-entry]



19. Todd L. Veldhuizen and Andrew Lumsdaine. Guaranteed Optimization: Proving Nullspace Properties of Compilers. Technical Report TR564, Indiana University Computer Science, 2002.
    Keywords: dataflow analysis, reliable optimization, abstract interpretation, program analysis, program optimization, abstraction penalty, term rewriting, superanalysis.

    Abstract:

    "Writing performance-critical programs can be frustrating because optimizing compilers for imperative languages tend to be unpredictable. For a subset of optimizations - those that simplify rather than reorder code - it would be useful to prove that a compiler reliably performs optimizations. We show that adopting a ``superanalysis'' approach to optimization enables such a proof. By analogy with linear algebra, we define the nullspace of an optimizer as those programs it reduces to the empty program. To span the nullspace, we define rewrite rules that de-optimize programs by introducing abstraction. For a model compiler we prove that any sequence of de-optimizing rewrite rule applications is undone by the optimizer. Thus, we are able to give programmers a clear mental model of what simplifications the compiler is guaranteed to perform, and make progress on the problem of ``abstraction penalty'' in imperative languages."

    [bibtex-key = Veldhuizen:SASTechReport:2002] [bibtex-entry]



20. Jeremiah Willcock, Andrew Lumsdaine, and Arch Robison. Using MPI with C# and the Common Language Infrastructure. Technical report 570, Indiana University Computer Science Department, October 2002.
    Note: Http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR570. [bibtex-key = mpinet-tech-report] [bibtex-entry]



21. Marcin Zalewski and Sibylle Schupp. Algorithms that share: Polymorphic FFTs. Technical report 02-07, Rensselaer Polytechnic Institute, 2002. [bibtex-key = zalewski_algorithms_2002] [bibtex-entry]



22. Jeremiah Willcock. Concept Representation for Generic Programming. Master's thesis, University of Notre Dame du Lac, July 2002. [bibtex-key = willcock02:_concep_repres_gener_progr] [bibtex-entry]

2001

1. J. Järvi. Tuple types and multiple return values. C/C++ Users Journal, 19:24--35, August 2001. [bibtex-key = jarvi:01:cuj_tuples] [bibtex-entry]



2. Jeremy G. Siek and Andrew Lumsdaine. C++ Concept Checking. Dr. Dobb's Journal, June 2001. [bibtex-key = siek01:_concept_check] [bibtex-entry]



3. Anthony Skjellum, Diane G. Wooley, Ziyang Lu, Michael Wolf, Purushotham V. Bangalore, Andrew Lumsdaine, Jeffrey M. Squyres, and Brian McCandless. Object-oriented analysis and design of the Message Passing Interface. j-CCPE, 13(4):245--292, April 2001. [bibtex-key = Skjellum:2001:OOA] [bibtex-entry]



4. David Abrahams and Jeremy Siek. Policy Adaptors and the Boost Iterator Adaptor Library. In Second Workshop on C++ Template Programming, October 2001. [bibtex-key = abrahams01:_policy_adaptors] [bibtex-entry]



5. Jens Gerlach, Peter Gottschling, and Uwe Der. A Generic C++ Framework for Parallel Mesh Based Scientific Applications. In 6th International Workshop on High-Level Parallel Programming Models and Supportive Environments, San Francisco, 2001. [bibtex-key = pg_hips] [bibtex-entry]



6. Douglas Gregor, Sibylle Schupp, and David R. Musser. Design Patterns for Library Optimizations. In J.Strieglitz K. Davis, editor, Proceedings International Conference on Parallel/High-Performance Object-Oriented Scientific Computing (POOSC'01) Tampa, FL, 2001, 2001. [bibtex-key = GSM01b] [bibtex-entry]



7. Douglas Gregor, Sibylle Schupp, and David R. Musser. Base Class Injection. In Jan Bosch, editor, Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, number 2186 of LNCS, pages 106--117, September 2001. Springer-Verlag, Berlin Heidelberg. [bibtex-key = GSM01a] [bibtex-entry]



8. J. Järvi and G. Powell. Side effects and partial function application in C++. In Proceedings of the Multiparadigm Programming with OO Languages Workshop (MPOOL'01) at ECOOP 2001, John von Neumann Institute of Computing series, pages 43--60, 2001. [bibtex-key = jarvi:01:mpool] [bibtex-entry]



9. J. Järvi and G. Powell. The Lambda Library : Lambda Abstraction in C++. In Proceedings of the Second Workshop on C++ Template Programming (TMPW'01) at OOPSLA 2001, October 2001. [bibtex-key = jarvi:01:tmpw] [bibtex-entry]



10. Sibylle Schupp, Douglas Gregor, David R. Musser, and Shin-Ming Liu. User-Extensible Simplification--Type-Based Optimizer Generators. In Reinhard Wilhelm, editor, Proceedings of the 10th International Conference on Compiler Construction, number 2027 of LNCS, pages 86--101, April 2001. Springer-Verlag, Berlin Heidelberg. [bibtex-key = SGM+01a] [bibtex-entry]



11. Sibylle Schupp, Douglas Gregor, David R. Musser, and Shin-Ming Liu. Library Transformations. In First IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), Florence, Italy, pages 109--121, November 2001. IEEE. [bibtex-key = SGM+01b] [bibtex-entry]



12. Jeremiah Willcock, Jeremy Siek, and Andrew Lumsdaine. Caramel: A Concept Representation System for Generic Programming. In Second Workshop on C++ Template Programming, Tampa, Florida, October 2001. [bibtex-key = TMPW01:_Willcock] [bibtex-entry]



13. Assad Jarrahian, Gary Moore, Murugan Pandian, and Marcin Zalewski. Fast Concept Analysis Algorithm: STL/C++ Implementation, 2001.
    Note: Undergraduate project report. [bibtex-key = jarrahian_fast_2001] [bibtex-entry]

2000

1. Jeremy G. Siek and Andrew Lumsdaine. Advances in Software Tools for Scientific Computing, chapter A Modern Framework for Portable High Performance Numerical Linear Algebra. Springer, 2000. [bibtex-key = siek00:_scitools] [bibtex-entry]



2. T. Aittokallio, M. Gyllenberg, J. Järvi, O. Nevalainen, and O. Polo. Detection of high-frequency respiratory movements during sleep. Computer Methods and Programs in Biomedicine, 61(3):171--185, 2000. [bibtex-key = aittokallio:00:sleep] [bibtex-entry]



3. Jeremy G. Siek and Andrew Lumsdaine. The Generic Graph Component Library. Dr. Dobb's Journal, September 2000. [bibtex-key = siek00:_ggcl] [bibtex-entry]



4. Jeremy Siek and Andrew Lumsdaine. Software Engineering for Peak Performance. C++ Report, pp 23--27, May 2000. [bibtex-key = siek00:_soft_eng_peak] [bibtex-entry]



5. Peter Gottschling, Wolfgang E. Nagel, and Matthias Tief. Domain Decomposition of Large Problems on Cray T3. In 6th European Cray/SGI Workshop, Manchester, 2000. [bibtex-key = pg_cray] [bibtex-entry]



6. Peter Gottschling and Wolfgang E. Nagel. An Efficient Parallel Linear Solver with a Cascadic Conjugate Gradient Method: Experience with Reality. In European Parallel Computing Conference, Munich, number 1900 of LNCS, 2000. [bibtex-key = pg_europar] [bibtex-entry]



7. J. Järvi. C++ Function Object Binders Made Easy. In Proceedings of the Generative and Component-Based Software Engineering'99, volume 1799 of LNCS, Berlin, Germany, pages 165--177, August 2000. Springer. [bibtex-key = jarvi:99:binders] [bibtex-entry]



8. Jeremy Siek and Andrew Lumsdaine. Concept checking: Binding parametric polymorphism in C++. In Proceedings of the First Workshop on C++ Template Programming, Erfurt, Germany, 2000. [bibtex-key = siek00concept] [bibtex-entry]



9. Jeffrey M. Squyres, Andrew Lumsdaine, William L. George, John G. Hagedorn, and Judith E. Devaney. The Interoperable Message Passing Interface (IMPI) Extensions to LAM/MPI. In Proceedings, MPI Developer's Conference, Cornell, NY, USA, 2000.
   Keywords: LAM, MPI, Message Passing Interface, high performance computing. [bibtex-key = squyres00:_inter_messag_passin_inter_impi] [bibtex-entry]



10. Jens Gerlach, Peter Gottschling, and Hans Werner Pohl. Core Components of Janus. Technical report, Technical Report D-00-028 of RWCP, 2000. [bibtex-key = pg_janus] [bibtex-entry]



11. Sibylle Schupp, Douglas Gregor, and David R. Musser. Algebraic concepts represented in C++. Technical Report TR-00-8, Rensselaer Polytechnic Institute, 2000. [bibtex-key = SGM00] [bibtex-entry]



12. Marcin Zalewski, Assad Jarrahian, Jim Percent, Gary Moore, and Frank Vardaro. Circular Buffer Implementation of SGI's Deque Container, 2000.
    Note: Undergraduate project report. [bibtex-key = zalewski_circular_2000] [bibtex-entry]

1999

1. J. Järvi. Object-Oriented Model for Partially Separable Functions in Parameter Estimation. Acta Cybernetica, 14(2):285--302, 1999. [bibtex-key = jarvi:99:acta_cybernetica] [bibtex-entry]



2. Jeremy G. Siek and Andrew Lumsdaine. The Matrix Template Library: Generic Components for High-performance Scientific Computing. Computing in Science and Engineering, 1(6):70--78, Nov/Dec 1999. [bibtex-key = Siek:1999:SPM] [bibtex-entry]



3. Lie-Quan Lee, Jeremy G. Siek, and Andrew Lumsdaine. Generic Graph Algorithms for Sparse Matrix Ordering. In ISCOPE'99, Lecture Notes in Computer Science, 1999. Springer-Verlag. [bibtex-key = ggcl-iscope] [bibtex-entry]



4. J. P. Morris, N. J. Giordano, J.-T. Cheng, J. Tran, A. Lumsdaine, and L. J. Pyrak-Nolte. Fracture Geometry and Relative Permeabilities: Application to Multiphase Flow through Coal. In International Coalbed Methane Symposium, pages 377--388, 1999. [bibtex-key = morris99:_fracture_geometry] [bibtex-entry]



5. Rolf Rabenseifner, Peter Gottschling, Wolfgang E. Nagel, and Stephan Seidl. Effective Performance Problem Detection of MPI Programs on MPP Systems: From the Global View to the Detail. In Parallel Computing, Delft, 1999. [bibtex-key = pg_parco] [bibtex-entry]



6. Jeremy G. Siek, Lie-Quan Lee, and Andrew Lumsdaine. The generic graph component library. In Proceedings of the 1999 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 399--414, 1999. ACM Press. [bibtex-key = ggcl-oopsla] [bibtex-entry]



7. Jeremy Siek and Andrew Lumsdaine. Mayfly: A Pattern for Lightweight Generic Interfaces. In Pattern Languages of Programs, July 1999. [bibtex-key = siek99:_mayfly] [bibtex-entry]



8. Lie-Quan Lee. The High Performance Generic Graph Component Library. Master's thesis, University of Notre Dame, 1999. [bibtex-key = llee1-msthesis] [bibtex-entry]



9. Jeremy G. Siek. A Modern Framework for Portable High Performance Numerical Linear Algebra. Master's thesis, University of Notre Dame, 1999. [bibtex-key = siek99:_msthesis] [bibtex-entry]

1998

1. William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing Lusk, Bill Nitzberg, William Saphir, and and Marc Snir. MPI --- The Complete Reference: Volume 2, the MPI-2 Extensions. MIT Press, 1998. [bibtex-key = gropp98:_mpi2] [bibtex-entry]



2. J. Järvi. Compile Time Recursive Objects in C++. In Technology of Object-Oriented Languages and Systems, pages 66--77, 1998. IEEE Computer Society Press. [bibtex-key = jarvi:98:tools-27] [bibtex-entry]



3. Jeremy G. Siek and Andrew Lumsdaine. A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library. In Parallel Object Oriented Scientific Computing, 1998. ECOOP. [bibtex-key = siek98:_blais_poosc] [bibtex-entry]



4. Jeremy G. Siek and Andrew Lumsdaine. Generic Programming for High Performance Numerical Linear Algebra. In SciTools, 1998. [bibtex-key = siek98:_mtl_scitools] [bibtex-entry]



5. Jeremy G. Siek and Andrew Lumsdaine. The Basic Linear Algebra Instruction Set: Building Blocks for Portable High Performance. In SciTools, 1998. [bibtex-key = siek98:_blais_scitools] [bibtex-entry]



6. Jeremy G. Siek, Andrew Lumsdaine, and Lie-Quan Lee. Generic Programming for High Performance Numerical Linear Algebra. In Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing (OO'98), 1998. SIAM Press. [bibtex-key = siek98:_siamoo] [bibtex-entry]



7. Jeremy G. Siek and Andrew Lumsdaine. The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra. In Parallel Object Oriented Scientific Computing, 1998. ECOOP. [bibtex-key = siek98:_mtl_poosc] [bibtex-entry]



8. Jeremy G. Siek and Andrew Lumsdaine. The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra. In International Symposium on Computing in Object-Oriented Parallel Environments, number 1505 of Lecture Notes in Computer Science, pages 59--70, 1998. [bibtex-key = siek98:_iscope] [bibtex-entry]



9. Jeffrey M. Squyres, Andrew Lumsdaine, and Robert L. Stevenson. A Toolkit for Parallel Image Processing. In SPIE Annual Meeting, San Diego, 1998.
   Keywords: MPI, Message Passing Interface, image processing, parallel library, distributed. [bibtex-key = squyres98:_pipt] [bibtex-entry]

1997

1. J. Järvi, S. Nyman, M. Komu, and J. J. Forsström. A PC-program for automatic analysis of NMR spectrum series. Computer Methods and Programs in Biomedicine, 52:213--222, 1997. [bibtex-key = jarvi:97:nmr] [bibtex-entry]



2. Andrew Lumsdaine and Deyun Wu. Spectra and Pseudospectra of Waveform Relaxation Operators. SIAM J. Sci. Comput., 18(1):286--304, 1997. [bibtex-key = lumsdaine97:_wr_pseudo] [bibtex-entry]



3. Andrew Lumsdaine and Deyun Wu. Spectra and Pseudospectra of Block Toeplitz Matrices. Linear Algebra and its Applications, (272/01--03):103--130, 1997. [bibtex-key = lumsdaine97:_spect_pseud_block_toepl] [bibtex-entry]



4. J. Järvi. Processing Sparse Vectors During Compile Time in C++. In Scientific Computing in Object-Oriented Parallel Environments, volume 1343 of LNCS, pages 41--48, 1997. Springer. [bibtex-key = jarvi:97:sparse_vectors] [bibtex-entry]



5. Andrew Lumsdaine and Brian McCandless. Parallel Extensions to the Matrix Template Library. In Proc. 8th SIAM Conference on Parallel Processing for Scientific Computing, 1997. SIAM. [bibtex-key = lumsdaine97:_paral_exten_mtl] [bibtex-entry]



6. Andrew Lumsdaine and Brian C. McCandless. The Role of Abstraction in High Performance Computing. In Proceedings, 1997 Internantional Conference on Scientific Computing in Object-Oriented Parallel Computing, Lecture Notes in Computer Science, 1997. Springer-Verlag. [bibtex-key = lumsdaine97:_mtl_iscope] [bibtex-entry]



7. Jeffrey M. Squyres, Bill Saphir, and Andrew Lumsdaine. The Design and Evolution of the MPI-2 C++ Interface. In Proceedings, 1997 Internantional Conference on Scientific Computing in Object-Oriented Parallel Computing, Lecture Notes in Computer Science, 1997. Springer-Verlag.
   Keywords: MPI, Message Passing Interface, class library. [bibtex-key = squyres97:_mpi_cpp_iscope] [bibtex-entry]



8. Steve Huss-Lederman (Editor). MPI-2: Extensions to the Message Passing Interface. Technical report, MPI Forum, July 1997.
   Keywords: MPI, Message Passing Interface, high performance computing. [bibtex-key = husslederman97:_mpi] [bibtex-entry]

1996

1. Andrew Lumsdaine and Anthony Skjellum, editors. Proceedings MPI Developers Conference, 1996. IEEE Computer Society Press. [bibtex-key = lumsdaine96:_proceed_mpi_devel_confer] [bibtex-entry]



2. Peter Gottschling and Peter-Wolfgang Gräber. Simulation of Stationary and Instationary Ground-Water Flow with a Parallel Hierarchical CG-Algorithm. SAMS, 25:127--144, 1996. [bibtex-key = pg_sams] [bibtex-entry]



3. Andrew Lumsdaine, Mark W. Reichelt, Jeffrey M. Squyres, and Jacob K. White. Accelerated Waveform Methods for Parallel Transient Simulation of Semiconductor Devices. IEEE Trans. CAD, 15(7):716--726, July 1996. [bibtex-key = Lumsdaine95a] [bibtex-entry]



4. Al Geist, William Gropp, Steve Huss-Lederman, Andrew Lumsdaine, Ewing Lusk, William Saphir, Tony Skjellum, and Marc Snir. MPI-2: Extending the Message-Passing Interface. In Luc Bouge, Pierre Fraigniaud, Anne Mignotte, and Yves Robert, editors, Euro-Par '96 Parallel Processing, number 1123 of Lecture Notes in Computer Science, pages 128--135, 1996. Springer Verlag. [bibtex-key = geist96:_mpi2_lyon] [bibtex-entry]



5. Andrew Lumsdaine and Deyun Wu. Krylov-Subspace Acceleration of Waveform Relaxation. In Copper Mountain Conference on Iterative Methods, Copper Mountain, CO, 1996. [bibtex-key = lumsdaine96:_convolution_wr] [bibtex-entry]



6. B. C. McCandless, J. M. Squyres, and A. Lumsdaine. Object Oriented MPI (OOMPI): a class library for the Message Passing Interface. In IEEE, editor, Proceedings. Second MPI Developer's Conference: Notre Dame, IN, USA, 1--2 July 1996, 1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA, pages 87--94, 1996. IEEE Computer Society Press.
   Keywords: application program interfaces, C language, C++ bindings, C++ class library, formal specification, generic specification, message passing, Message Passing Interface, object-oriented class library, object-oriented languages, Object-Oriented MPI, object-oriented programming, OOMPI, parallel programming, program description language, software libraries. [bibtex-key = McCandless:1996:OOMPI] [bibtex-entry]



7. J. M. Squyres, B. C. McCandless, A Lumsdaine, and R. L. Stevenson. Parallel and Distributed Algorithms for High-Speed Image Processing. In Sixth Annual Dual-Use Technologies and Applications Conference, Syracuse, NY, USA, 1996.
   Keywords: MPI, Message Passing Interface, image processing, parallel library, distributed. [bibtex-key = squyres96:_paral_distr_algor_high_speed_image_proces] [bibtex-entry]



8. Jeffrey M. Squyres, Brian C. McCandless, and Andrew Lumsdaine. Object Oriented MPI: A Class Library for the Message Passing Interface. In Parallel Object-Oriented Methods and Applications (POOMA '96), Santa Fe, 1996.
   Keywords: MPI, Message Passing Interface, high performance computing, OOMPI, Object-Oriented MPI, object-oriented class library. [bibtex-key = squyres96:_oompi] [bibtex-entry]



9. J. M. Squyres, B. C. McCandless, and A. Lumsdaine. C++ Bindings and Class Libraries for MPI. In Proceedings, MPI Developer's Conference, Notre Dame, IN, USA, July 1996.
   Keywords: MPI, Message Passing Interface, class library. [bibtex-key = squyres96:_c_bindin_class_librar_mpi] [bibtex-entry]



10. Jeffrey M. Squyres, Brian C. McCandless, and Andrew Lumsdaine. Object Oriented MPI Reference. Technical report TR 96-12, Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA, 1996.
    Keywords: MPI, Message Passing Interface, high performance computing, OOMPI, Object-Oriented MPI, object-oriented class library. [bibtex-key = squyres96:_objec_orien_mpi_refer] [bibtex-entry]



11. Jeffrey M. Squyres. MPI Extensions and Applications. Master's thesis, Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA, May 1996.
    Keywords: MPI, Message Passing Interface, high performance computing, OOMPI, Object-Oriented MPI, object-oriented class library, image processing, parallel library, distributed. [bibtex-key = squyres96:_mpi_exten_applic] [bibtex-entry]

1995

1. Peter Gottschling. Fast Sorting Algorithms on Parallel and Sequential Computers in Linear Time. Wissenschaftliche Beiträge zur Informatik, January 1995. [bibtex-key = pg_sorting_wb] [bibtex-entry]



2. Andrew Lumsdaine and Jacob K. White. Accelerating Dynamic Iteration Methods with Application to Parallel Semiconductor Device Simulation. Numerical Functional Anal. Optimization, 16:395--414, 1995. [bibtex-key = Lumsdaine94a] [bibtex-entry]



3. A. Lumsdaine, J. M. Squyres, and R. L. Stevenson. A Cluster-Based Parallel Image Processing Toolkit. In SPIE/IS&T Conference on Image and Video Processing, III, San Jose, CA, USA, February 1995.
   Keywords: MPI, Message Passing Interface, image processing, parallel library, distributed. [bibtex-key = lumsdaine95:_clust_based_paral_image_proces_toolk] [bibtex-entry]



4. D. Nolte, L. J. Pyrak-Nolte, A. Lumsdaine, and J. Tran. Modeling scale dependence of unsaturated flow through single fractures containing correlated aperture distributions. In EOS - Transactions, American Geophysical Union, volume 76, pages 218, 1995. [bibtex-key = nolte95:_modeling] [bibtex-entry]



5. Jeffrey M. Squyres, Andrew Lumsdaine, and Robert L. Stevenson. A Parallel Image Processing Toolkit Using MPI. In Proceedings of MPI Developers Conference, 1995.
   Keywords: MPI, Message Passing Interface, image processing, parallel library, distributed. [bibtex-key = squyres:_pipt_mpidc95] [bibtex-entry]

1994

1. Andrew Lumsdaine and Mark W. Reichelt. Decomposition of Space-Time Domains: Accelerated Waveform Methods, with Application to Semiconductor Device Simulation. In D. E. Keyes, Y. Saad, and D. G. Truhlar, editors,Domain-Based Parallelism and Problem Decomposition Methods in Computational Science and Engineering. SIAM, Philadelphia, 1994. [bibtex-key = Lumsdaine94d] [bibtex-entry]



2. Andrew Lumsdaine and Jacob K. White. Accelerating Dynamic Iteration Methods with Application to Semiconductor Device Simulation. In W. M. Coughran and others, editors,Semiconductors, volume 58-59 of IMA Volumes in Mathematics and its Applications. Springer-Verlag, New York, 1994. [bibtex-key = Lumsdaine94c] [bibtex-entry]



3. J. Dongarra, Andrew Lumsdaine, Xinhui Niu, Roldan Pozo, and Karin Remington. A Sparse Matrix Library in C++ for High Performance Architectures. In Proceedings Object Oriented Numerics Conference, Sun River, OR, 1994. [bibtex-key = dongarra94:_sparselib] [bibtex-entry]



4. Andrew Lumsdaine. Krylov-Subspace Acceleration of Time Periodic Waveform Relaxation. In Colorado Conference on Iterative Methods, Breckenridge, CO, April 1994. [bibtex-key = Lumsdaine94b] [bibtex-entry]



5. Andrew Lumsdaine, Jeffrey M. Squyres, and Mark W. Reichelt. Waveform Iterative Methods for Parallel Solution of Initial Value Problems. In Andrew Lumsdaine, Ewing Lusk, Donna Reese, and Anthony Skjellum, editors, Proceedings of the Second Scalable Parallel Libraries Conference, Mississippi State, MS, pages 88-97, October 1994. IEEE Computer Society Press. [bibtex-key = Lumsdaine94e] [bibtex-entry]



6. R. R. Schultz, R. L. Stevenson, and A. Lumsdaine. Maximum likelihood parameter estimation for non-Gaussian prior signal models.
   Note: Submitted to the First IEEE International Conference on Image Processing, Austin, TX, November 13-16, 1994, 1994. [bibtex-key = parameters-conf] [bibtex-entry]

1993

1. Andrew Lumsdaine, L. Miguel Silveira, and Jacob White. Massively Parallel Simulation Algorithms for Grid-Based Analog Signal Processors. IEEE Trans. CAD, 12(11):1665--1678, November 1993. [bibtex-key = Lumsdaine93c] [bibtex-entry]



2. Andrew Lumsdaine, Mark Reichelt, and Jacob White. Accelerated Waveform Methods for Parallel Transient Simulation of Semiconductor Devices. In International Conference on Computer Aided-Design, Santa Clara, California, pages 270--274, November 1993. [bibtex-key = Lumsdaine93b] [bibtex-entry]



3. Andrew Lumsdaine and Mark W. Reichelt. Waveform Iterative Techniques for Device Transient Simulation on Parallel Machines. In Sixth SIAM Conference on Parallel Processing for Scientific Computing, Norfolk, VA, 1993. [bibtex-key = Lumsdaine93] [bibtex-entry]



4. Jeffrey M. Squyres and Andrew Lumsdaine. Parallel Numerical Methods For Large Scale Initial-Value Problems. In Argonne Undergraduate Research Symposium, Argonne, IL, November 1993.
   Keywords: MPI, Message Passing Interface. [bibtex-key = Squyres93] [bibtex-entry]

1992

1. Andrew Lumsdaine and Jacob K. White. Accelerating Dynamic Iteration Methods with Application to Semiconductor Device Simulation. In Proceedings Copper Mountain Conference on Iterative Methods, Copper Mountain, CO, April 1992.
   Note: Awarded third place in student paper contest. [bibtex-key = Lumsdaine92b] [bibtex-entry]

1991

1. Andrew Lumsdaine, Mark Reichelt, and Jacob White. Conjugate Direction Waveform Methods for Transient Two-Dimensional Simulation of MOS Devices. In International Conference on Computer Aided-Design, Santa Clara, California, pages 116--119, November 1991. [bibtex-key = Lumsdaine91b] [bibtex-entry]

1990

1. L. Miguel Silveira, Andrew Lumsdaine, and Jacob K. White. Parallel Simulation Algorithms for Grid-Based Analog Signal Processors. In International Conference on Computer Aided-Design, Santa Clara, California, pages 442-445, November 1990. [bibtex-key = Silveira90b] [bibtex-entry]



2. A. Lumsdaine, M. Silveira, and J. White. CMVSIM Users' Guide.
   Note: Research Laboratory of Electronics, Massachusetts Institute of Technology, 1990. [bibtex-key = CmvsimUG] [bibtex-entry]



3. A. Lumsdaine, M. Silveira, and J. White. SIMLAB Programmer's Guide.
   Note: Research Laboratory of Electronics, Massachusetts Institute of Technology. Unpublished, 1990. [bibtex-key = SimlabPG] [bibtex-entry]



4. A. Lumsdaine, M. Silveira, and J. White. CMVSIM Programmer's Guide.
   Note: Research Laboratory of Electronics, Massachusetts Institute of Technology. Unpublished, 1990. [bibtex-key = CmvsimPG] [bibtex-entry]



5. M. Silveira, A. Lumsdaine, and J. White. SIMLAB Users' Guide.
   Note: Research Laboratory of Electronics, Massachusetts Institute of Technology, 1990. [bibtex-key = SimlabUG] [bibtex-entry]

1988

1. A. Lumsdaine, J. White, D. Webber, and A. Sangiovanni-Vincentelli. A Band Relaxation Algorithm for Reliable and Parallelizable Circuit Simulation. In International Conference on Computer Aided-Design, Santa Clara, California, November 1988. [bibtex-key = Lumsdaine88] [bibtex-entry]

BACK TO INDEX

---

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

---

Last modified: Fri Nov 20 16:50:24 2009
Author: dikim.

---

This document was translated from BibT_EX by bibtex2html