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. Jeremy G. Siek and Andrew Lumsdaine. A Language for Generic Programming in the Large, In the Science of Computer Programming (extended version of GPCE'05 paper)


2. 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, Vol. 17, Issue 2, March 2007.
   [bibtex]


3. Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger. Improving the Lazy Krivine Machine. Higher-Order and Symbolic Computation, Vol. 20, Issue 3, September 2007.
   [bibtex]


4. 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. Blame for all

   Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
   ACM SIGPLAN Notices - POPL '11, 2011
   [bib]


2. Parallel memory prediction for fused linear algebra kernels

   Ian Karlin, Elizabeth Jessup, Geoffrey Belter, Jeremy G. Siek
   ACM SIGMETRICS Performance Evaluation Review - Special issue on the 1st international workshop on performance modeling, benchmarking and simulation of high performance computing systems (PMBS 10), 2011


3. Threesomes, with and without blame

   Jeremy G. Siek, Philip Wadler
   POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2010


4. An efficient software transactional memory using commit-time invalidation

   Justin E. Gottschlich, Manish Vachharajani, Jeremy G. Siek
   CGO '10 Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization, 2010


5. Incremental type-checking for type-reflective metaprograms

   Weiyu Miao, Jeremy G. Siek
   GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering, 2010


6. Automating the generation of composed linear algebra kernels

   Geoffrey Belter, E. R. Jessup, Ian Karlin, Jeremy G. Siek
   SC '09 Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2009


7. Jeremy Siek, Ronald Garcia, and Walid Taha. Exploring the Design Space of Higher-Order Casts. In ESOP: European Symposium on Programming, York, United Kingdom, March 2009.
   [bibtex]


8. Boyana Norris, Albert Hartono, Elizabeth Jessup, and Jeremy Siek. Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes. In International Conference on Computational Science 2009.


9. An efficient lock-aware transactional memory implementation

   Justin E. Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, Daniel A. Connors
   ICOOOLPS '09 Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, 2009


10. Gradual typing with unification-based inference

    Jeremy G. Siek, Manish Vachharajani
    DLS '08 Proceedings of the 2008 symposium on Dynamic languages, 2008
    [bib][implementation]


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


12. Concepts: linguistic support for generic programming in C++

    Douglas Gregor, Jaakko Järvi, Jeremy Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine
    OOPSLA '06 Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, 2006


13. Algorithm specialization in generic programming: challenges of constrained generics in C++

    Jaakko Järvi, Douglas Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy Siek
    ACM SIGPLAN Notices - Proceedings of the 2006 PLDI Conference, 2006


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


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


16. Essential language support for generic programming

    Jeremy G. Siek, Andrew Lumsdaine
    ACM SIGPLAN Notices - Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, 2005
    [bibtex]


17. A comparative study of language support for generic programming

    Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock
    OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, 2003
    [bibtex]


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


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


20. The generic graph component library

    Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
    OOPSLA '99 Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 1999
    [bibtex]


21. 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. Monads for Relations. Talk at the Scottish Programming Languages Symposium (SPLS), June 2010. [slides]


2. Threesomes, with and without blame

   Jeremy G. Siek, Philip Wadler
   STOP '09 Proceedings for the 1st workshop on Script to Program Evolution, 2009


3. Jeremy G. Siek, Ian Karlin, and E. R. Jessup. Build to Order Linear Algebra Kernels [pdf][bib]. In the Workshop on Performance Optimization of High-level Languages and Libraries (POHLL'08).


4. Justin Gottschlich, Jeremy G. Siek, and Daniel A. Connors. C++ Move Semantics for Exception Safety and Optimization in Software Transactional Memory Libraries. In the 3rd International Workshop on Implementation, Compilation, Optimization of Object- Oriented Languages, Programs and Systems (ICOOOLPS 2008).


5. Concoqtion: indexed types now!

   Seth Fogarty, Emir Pasalic, Jeremy Siek, Walid Taha
   PEPM '07 Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 2007
   


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


7. Modular generics

   Jeremy G. Siek
   OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, 2004
   [bibtex]


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


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


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


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


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


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


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


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