Books

1. Jeremy G. Siek, Lie-Quan Lee, and Andrew Lumsdaine. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, 2002. [bibtex]

Journal articles and book chapters

1. Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. An Extended Comparative Study of Language Support for Generic Programming. Journal of Functional Programming, 2007.
   Note: Accepted for publication. [bibtex]



2. Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger. Improving the Lazy Krivine Machine. Higher-Order and Symbolic Computation.
   Note: Accepted for publication. [bibtex]



3. 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]

Conference papers

1. Jeremy Siek and Walid Taha. Gradual Typing for Objects. In ECOOP 2007: European Conference on Object-Oriented Programming, Berlin, Germany, July 2007.
   [bibtex]



2. Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Andrew Lumsdaine, Gabriel Dos Reis, and Bjarne Stroustrup. 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), October 2006. [bibtex]



3. Jaakko Jarvi, Douglas Gregor, Jeremiah Willcock, Andrew Lumsdaine, and Jeremy G. Siek. Algorithm specialization in generic programming: Challenges of constrained generics in C++. In PLDI '06: Proceedings of the ACM SIGPLAN 2006 conference on Programming language design and implementation, New York, NY, USA, June 2006. ACM Press. [bibtex]



4. Jeremy Siek and Walid Taha. A Semantic Analysis of C++ Templates. In ECOOP 2006: European Conference on Object-Oriented Programming, Nantes, France, July 2006.
   [bibtex] [DOI: 10.1007/11785477_19]



5. Jeremy G. 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.
   [bibtex]



6. Jeremy G. 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. [bibtex]



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



8. 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]



9. 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]



10. 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]



11. 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]

Workshop papers

1. Jeremy G. Siek and Walid Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, September 2006. [bibtex]



2. Jeremy G. Siek and Andrew Lumsdaine. Modular Generics. In Concepts: a Linguistic Foundation of Generic Programming, April 2004. Adobe Systems. [bibtex]



3. Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. An Analysis of Constrained Polymorphism for Generic Programming. In Kei Davis and Jörg Striegnitz, editors, Multiparadigm Programming in Object-Oriented Languages Workshop (MPOOL) at OOPSLA, Anaheim, CA, October 2003. [bibtex]



4. David Abrahams and Jeremy G. Siek. Policy Adaptors and the Boost Iterator Adaptor Library. In Second Workshop on C++ Template Programming, October 2001. [bibtex]



5. Jeremiah Willcock, Jeremy G. Siek, and Andrew Lumsdaine. Caramel: A Concept Representation System for Generic Programming. In Second Workshop on C++ Template Programming, Tampa, Florida, October 2001. [bibtex]



6. Jeremy G. 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]



7. Jeremy G. Siek and Andrew Lumsdaine. Mayfly: A Pattern for Lightweight Generic Interfaces. In Pattern Languages of Programs, July 1999. [bibtex]



8. 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]



9. 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]



10. 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]

Magazine articles

1. Jeremy G. Siek and Andrew Lumsdaine. C++ Concept Checking. Dr. Dobb's Journal, June 2001. [bibtex]



2. Jeremy G. Siek and Andrew Lumsdaine. The Generic Graph Component Library. Dr. Dobb's Journal, September 2000. [bibtex]



3. Jeremy G. Siek and Andrew Lumsdaine. Software Engineering for Peak Performance. C++ Report, pp 23--27, May 2000. [bibtex]



4. 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, November 1999. [bibtex]

Technical reports

1. Jeremy G. Siek and Walid Taha. C++.T Formalization in Isar. Technical report, Rice University, 2005. [bibtex]



2. Jeremy G. 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++, 2005. [bibtex]



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



4. David Abrahams, Jeremy G. 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]



5. David Abrahams, Jeremy G. 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]



6. 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. [bibtex]



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



8. Todd L. Veldhuizen and Jeremy G. Siek. Combining Optimizations, Combining Theories. Technical report 582, Indiana University, May 2003. [bibtex]



9. Sibylle Schupp, Douglas Gregor, Brian Osman, David R. Musser, Jeremy G. 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]

Theses

1. Jeremy G. Siek. A Language for Generic Programming. PhD thesis, Indiana University, August 2005. [bibtex]
2. Jeremy G. Siek. A Modern Framework for Portable High Performance Numerical Linear Algebra. Master's thesis, University of Notre Dame, 1999. [bibtex]

---

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.