publications:
- title: "The C++0x \"Concepts\" Effort"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-32202-0_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32202-0_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssgip/Siek10"
  researchr: "https://researchr.org/publication/Siek10-0"
  cites: 0
  citedby: 0
  pages: "175-216"
  booktitle: "Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "7470"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-32201-3"
  kind: "inproceedings"
  key: "Siek10-0"
- title: "Language Requirements for Large-Scale Generic Libraries"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11561347_27"
  links:
    doi: "http://dx.doi.org/10.1007/11561347_27"
  researchr: "https://researchr.org/publication/SiekL05"
  cites: 0
  citedby: 0
  pages: "405-421"
  booktitle: "Generative Programming and Component Engineering, 4th International Conference, GPCE 2005"
  editor:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Michael R. Lowry"
    link: "https://researchr.org/alias/michael-r.-lowry"
  volume: "3676"
  series: "Lecture Notes in Computer Science"
  address: "Tallinn, Estonia"
  publisher: "Springer"
  isbn: "3-540-29138-5"
  kind: "inproceedings"
  key: "SiekL05"
- title: "Concepts: linguistic support for generic programming in C++"
  author:
  - name: "Douglas Gregor"
    link: "https://researchr.org/alias/douglas-gregor"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Bjarne Stroustrup"
    link: "https://researchr.org/alias/bjarne-stroustrup"
  - name: "Gabriel Dos Reis"
    link: "https://researchr.org/alias/gabriel-dos-reis"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1167473.1167499"
  links:
    doi: "http://doi.acm.org/10.1145/1167473.1167499"
  tags:
  - "generic programming"
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/GregorJSSRL06"
  cites: 0
  citedby: 0
  pages: "291-310"
  booktitle: "Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA"
  editor:
  - name: "Peri L. Tarr"
    link: "http://portal.acm.org/author_page.cfm?id=81100131551&coll=GUIDE&dl=GUIDE&trk=0&CFID=51133021&CFTOKEN=87963901"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-348-4"
  kind: "inproceedings"
  key: "GregorJSSRL06"
- title: "Incremental Type-Checking for Type-Reflective Metaprograms"
  author:
  - name: "Weiyu Miao"
    link: "https://researchr.org/alias/weiyu-miao"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2010"
  tags:
  - "type checking"
  - "incremental"
  researchr: "https://researchr.org/publication/Miao-GPCE-2010"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010 "
  editor:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Miao-GPCE-2010"
- title: "An efficient lock-aware transactional memory implementation"
  author:
  - name: "Justin Emile Gottschlich"
    link: "https://researchr.org/alias/justin-emile-gottschlich"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Manish Vachharajani"
    link: "https://researchr.org/alias/manish-vachharajani"
  - name: "Dwight Y. Winkler"
    link: "https://researchr.org/alias/dwight-y.-winkler"
  - name: "Daniel A. Connors"
    link: "https://researchr.org/alias/daniel-a.-connors"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1565824.1565826"
  links:
    doi: "http://doi.acm.org/10.1145/1565824.1565826"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/GottschlichSVWC09"
  researchr: "https://researchr.org/publication/GottschlichSVWC09"
  cites: 0
  citedby: 0
  pages: "10-17"
  booktitle: "Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS 2009, Genova, Italy, July 6, 2009"
  editor:
  - name: "Ian Rogers"
    link: "https://researchr.org/alias/ian-rogers"
  publisher: "ACM"
  isbn: "978-1-60558-541-3"
  kind: "inproceedings"
  key: "GottschlichSVWC09"
- title: "An efficient software transactional memory using commit-time invalidation"
  author:
  - name: "Justin Emile Gottschlich"
    link: "https://researchr.org/alias/justin-emile-gottschlich"
  - name: "Manish Vachharajani"
    link: "https://researchr.org/alias/manish-vachharajani"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1772954.1772970"
  links:
    doi: "http://doi.acm.org/10.1145/1772954.1772970"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cgo/GottschlichVS10"
  researchr: "https://researchr.org/publication/GottschlichVS10"
  cites: 0
  citedby: 0
  pages: "101-110"
  booktitle: "Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010"
  editor:
  - name: "Andreas Moshovos"
    link: "https://researchr.org/alias/andreas-moshovos"
  - name: "J. Gregory Steffan"
    link: "https://researchr.org/alias/j.-gregory-steffan"
  - name: "Kim M. Hazelwood"
    link: "https://researchr.org/alias/kim-m.-hazelwood"
  - name: "David R. Kaeli"
    link: "https://researchr.org/alias/david-r.-kaeli"
  publisher: "ACM"
  isbn: "978-1-60558-635-9"
  kind: "inproceedings"
  key: "GottschlichVS10"
- title: "An extended comparative study of language support for generic programming"
  author:
  - name: "Ronald Garcia"
    link: "https://researchr.org/alias/ronald-garcia"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Jeremiah Willcock"
    link: "https://researchr.org/alias/jeremiah-willcock"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796806006198"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796806006198"
  tags:
  - "programming languages"
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/GarciaJLSW07"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "17"
  number: "2"
  pages: "145-205"
  kind: "article"
  key: "GarciaJLSW07"
- title: "A Language for Generic Programming"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2005"
  month: "August"
  abstract: "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. "
  tags:
  - "programming languages"
  - "rule-based"
  - "translation"
  - "generic programming"
  - "software components"
  - "type soundness"
  - "software component"
  - "language design"
  - "type system"
  - "graph-rewriting"
  - "C++"
  - "compiler"
  - "programming"
  - "rewriting"
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Siek%3A2005lr"
  cites: 0
  citedby: 0
  school: "Indiana University"
  kind: "phdthesis"
  key: "Siek:2005lr"
- title: "LCSD: library-centric software design"
  author:
  - name: "Josh Bloch"
    link: "https://researchr.org/alias/josh-bloch"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  - name: "David R. Musser"
    link: "https://researchr.org/alias/david-r.-musser"
  - name: "Sibylle Schupp"
    link: "https://researchr.org/alias/sibylle-schupp"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176617.1176634"
  links:
    doi: "http://doi.acm.org/10.1145/1176617.1176634"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/BlochJMSS06"
  cites: 0
  citedby: 0
  pages: "618"
  booktitle: "Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA"
  editor:
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-491-X"
  kind: "inproceedings"
  key: "BlochJMSS06"
- title: "General Purpose Languages Should Be Metalanguages"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  researchr: "https://researchr.org/publication/Siek%3APEPM%3A2010"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation"
  editor:
  - name: "John P. Gallagher"
    link: "http://akira.ruc.dk/~jpg/"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Siek:PEPM:2010"
- title: "Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host"
  author:
  - name: "Eric Holk"
    link: "https://researchr.org/alias/eric-holk"
  - name: "Ryan Newton"
    link: "https://researchr.org/alias/ryan-newton"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "https://researchr.org/alias/andrew-lumsdaine"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2660193.2660244"
  links:
    doi: "http://doi.acm.org/10.1145/2660193.2660244"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/HolkNSL14"
  researchr: "https://researchr.org/publication/HolkNSL14"
  cites: 0
  citedby: 0
  pages: "141-155"
  booktitle: "Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014"
  editor:
  - name: "Andrew P. Black"
    link: "https://researchr.org/alias/andrew-p.-black"
  - name: "Todd D. Millstein"
    link: "https://researchr.org/alias/todd-d.-millstein"
  publisher: "ACM"
  isbn: "978-1-4503-2585-1"
  kind: "inproceedings"
  key: "HolkNSL14"
- title: "Automating the generation of composed linear algebra kernels"
  author:
  - name: "Geoffrey Belter"
    link: "https://researchr.org/alias/geoffrey-belter"
  - name: "Elizabeth R. Jessup"
    link: "https://researchr.org/alias/elizabeth-r.-jessup"
  - name: "Ian Karlin"
    link: "https://researchr.org/alias/ian-karlin"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1654059.1654119"
  links:
    doi: "http://doi.acm.org/10.1145/1654059.1654119"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BelterJKS09"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2009, November 14-20, 2009, Portland, Oregon, USA"
  publisher: "ACM"
  isbn: "978-1-60558-744-8"
  kind: "inproceedings"
  key: "BelterJKS09"
- title: "Blame and coercion: together again for the first time"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2737924.2737968"
  links:
    doi: "http://doi.acm.org/10.1145/2737924.2737968"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/SiekTW15"
  researchr: "https://researchr.org/publication/SiekTW15"
  cites: 0
  citedby: 0
  pages: "425-435"
  booktitle: "Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015"
  editor:
  - name: "David Grove"
    link: "https://researchr.org/alias/david-grove"
  - name: "Steve Blackburn"
    link: "https://researchr.org/alias/steve-blackburn"
  publisher: "ACM"
  isbn: "978-1-4503-3468-6"
  kind: "inproceedings"
  key: "SiekTW15"
- title: "A Semantic Analysis of C++ Templates"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11785477_19"
  links:
    doi: "http://dx.doi.org/10.1007/11785477_19"
  tags:
  - "analysis"
  - "C++"
  researchr: "https://researchr.org/publication/SiekT06"
  cites: 0
  citedby: 0
  pages: "304-327"
  booktitle: "ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings"
  editor:
  - name: "Dave Thomas"
    link: "https://researchr.org/alias/dave-thomas"
  volume: "4067"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35726-2"
  kind: "inproceedings"
  key: "SiekT06"
- title: "The Matrix Template Library: generic components for high-performance scientific computing"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "https://researchr.org/alias/andrew-lumsdaine"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/5992.805137"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/5992.805137"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cse/SiekL99"
  researchr: "https://researchr.org/publication/SiekL99"
  cites: 0
  citedby: 0
  journal: "Computing in Science and Engineering"
  volume: "1"
  number: "6"
  pages: "70-71"
  kind: "article"
  key: "SiekL99"
- title: "Gradual typing with unification-based inference"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Manish Vachharajani"
    link: "https://researchr.org/alias/manish-vachharajani"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1408681.1408688"
  links:
    doi: "http://doi.acm.org/10.1145/1408681.1408688"
  tags:
  - "type inference"
  - "rule-based"
  researchr: "https://researchr.org/publication/SiekV08"
  cites: 0
  citedby: 0
  pages: "7"
  booktitle: "Proceedings of the 2008 Symposium on Dynamic Languages, DLS 2008, July 8, 2008, Paphos, Cyprus"
  editor:
  - name: "Johan Brichau"
    link: "https://researchr.org/alias/johan-brichau"
  publisher: "ACM"
  isbn: "978-1-60558-270-2"
  kind: "inproceedings"
  key: "SiekV08"
- title: "Gradual Typing for Objects"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_2"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/SiekT07"
  cites: 0
  citedby: 0
  pages: "2-27"
  booktitle: "ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings"
  editor:
  - name: "Erik Ernst"
    link: "http://person.au.dk/eernst@cs"
  volume: "4609"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73588-5"
  kind: "inproceedings"
  key: "SiekT07"
- title: "Well-Typed Islands Parse Faster"
  author:
  - name: "Erik Silkensen"
    link: "https://researchr.org/alias/erik-silkensen"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-40447-4_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-40447-4_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/SilkensenS12"
  researchr: "https://researchr.org/publication/SilkensenS12"
  cites: 0
  citedby: 0
  pages: "69-84"
  booktitle: "Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers"
  editor:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Ricardo Peña"
    link: "https://researchr.org/alias/ricardo-pe%C3%B1a"
  volume: "7829"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-40446-7"
  kind: "inproceedings"
  key: "SilkensenS12"
- title: "Improving the lazy Krivine machine"
  author:
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Abdulaziz Ghuloum"
    link: "https://researchr.org/alias/abdulaziz-ghuloum"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Onnie Lynn Winebarger"
    link: "https://researchr.org/alias/onnie-lynn-winebarger"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10990-007-9014-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-007-9014-0"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/FriedmanGSW07"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "20"
  number: "3"
  pages: "271-293"
  kind: "article"
  key: "FriedmanGSW07"
- title: "Design and evaluation of gradual typing for python"
  author:
  - name: " Michael M. Vitousek"
    link: "https://researchr.org/alias/michael-m.-vitousek"
  - name: "Andrew M. Kent"
    link: "https://researchr.org/alias/andrew-m.-kent"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Jim Baker"
    link: "https://researchr.org/alias/jim-baker"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2661088.2661101"
  links:
    doi: "http://doi.acm.org/10.1145/2661088.2661101"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dls/VitousekKSB14"
  researchr: "https://researchr.org/publication/VitousekKSB14"
  cites: 0
  citedby: 0
  pages: "45-56"
  booktitle: "DLS'14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014"
  editor:
  - name: "Andrew P. Black"
    link: "https://researchr.org/alias/andrew-p.-black"
  - name: "Laurence Tratt"
    link: "https://researchr.org/alias/laurence-tratt"
  publisher: "ACM"
  isbn: "978-1-4503-3211-8"
  kind: "inproceedings"
  key: "VitousekKSB14"
- title: "Algorithm specialization in generic programming: challenges of constrained generics in C++"
  author:
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  - name: "Douglas Gregor"
    link: "https://researchr.org/alias/douglas-gregor"
  - name: "Jeremiah Willcock"
    link: "https://researchr.org/alias/jeremiah-willcock"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1133981.1134014"
  links:
    doi: "http://doi.acm.org/10.1145/1133981.1134014"
  tags:
  - "generic programming"
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/JarviGWLS06"
  cites: 0
  citedby: 0
  pages: "272-282"
  booktitle: "Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006"
  editor:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  publisher: "ACM"
  isbn: "1-59593-320-4"
  kind: "inproceedings"
  key: "JarviGWLS06"
- title: "Essential language support for generic programming"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1065010.1065021"
  links:
    doi: "http://doi.acm.org/10.1145/1065010.1065021"
  tags:
  - "programming languages"
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/SiekL05%3A0"
  cites: 0
  citedby: 0
  pages: "73-84"
  booktitle: "Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005"
  editor:
  - name: "Vivek Sarkar"
    link: "https://researchr.org/alias/vivek-sarkar"
  - name: "Mary W. Hall"
    link: "https://researchr.org/alias/mary-w.-hall"
  publisher: "ACM"
  isbn: "1-59593-056-6"
  kind: "inproceedings"
  key: "SiekL05:0"
- title: "The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1505/15050059.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1505/15050059.htm"
  tags:
  - "generic programming"
  - " algebra"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/SiekL98%3A0"
  cites: 0
  citedby: 0
  pages: "59-70"
  booktitle: "Computing in Object-Oriented Parallel Environments, Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings"
  editor:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "R. R. Oldehoeft"
    link: "https://researchr.org/alias/r.-r.-oldehoeft"
  - name: "Marydell Tholburn"
    link: "https://researchr.org/alias/marydell-tholburn"
  volume: "1505"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65387-2"
  kind: "inproceedings"
  key: "SiekL98:0"
- title: "Concoqtion: indexed types now!"
  author:
  - name: "Seth Fogarty"
    link: "https://researchr.org/alias/seth-fogarty"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244400"
  links:
    doi: "http://doi.acm.org/10.1145/1244381.1244400"
  researchr: "https://researchr.org/publication/FogartyPST07"
  cites: 0
  citedby: 0
  pages: "112-121"
  booktitle: "Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007"
  editor:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "978-1-59593-620-2"
  kind: "inproceedings"
  key: "FogartyPST07"
- title: "Modular generics"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1028664.1028694"
  links:
    doi: "http://doi.acm.org/10.1145/1028664.1028694"
  researchr: "https://researchr.org/publication/Siek04"
  cites: 0
  citedby: 0
  pages: "54-55"
  booktitle: "Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada"
  editor:
  - name: "John M. Vlissides"
    link: "https://researchr.org/alias/john-m.-vlissides"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  publisher: "ACM"
  isbn: "1-58113-833-4"
  kind: "inproceedings"
  key: "Siek04"
- title: "Incremental type-checking for type-reflective metaprograms"
  author:
  - name: "Weiyu Miao"
    link: "https://researchr.org/alias/weiyu-miao"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868294.1868319"
  links:
    doi: "http://doi.acm.org/10.1145/1868294.1868319"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/MiaoS10"
  tags:
  - "type checking"
  - "incremental"
  researchr: "https://researchr.org/publication/MiaoS10-0"
  cites: 0
  citedby: 0
  pages: "167-176"
  booktitle: "Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010"
  editor:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  publisher: "ACM"
  isbn: "978-1-4503-0154-1"
  kind: "inproceedings"
  key: "MiaoS10-0"
- title: "Pattern-based traits"
  author:
  - name: "Weiyu Miao"
    link: "https://researchr.org/alias/weiyu-miao"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2245276.2232057"
  links:
    doi: "http://doi.acm.org/10.1145/2245276.2232057"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sac/MiaoS12"
  researchr: "https://researchr.org/publication/MiaoS12"
  cites: 0
  citedby: 0
  pages: "1729-1736"
  booktitle: "Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012"
  editor:
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  - name: "Paola Lecca"
    link: "https://researchr.org/alias/paola-lecca"
  publisher: "ACM"
  isbn: "978-1-4503-0857-1"
  kind: "inproceedings"
  key: "MiaoS12"
- title: "Pycket: a tracing JIT for a functional language"
  author:
  - name: "Spenser Bauman"
    link: "https://researchr.org/alias/spenser-bauman"
  - name: "Carl Friedrich Bolz"
    link: "https://researchr.org/alias/carl-friedrich-bolz"
  - name: "Robert Hirschfeld"
    link: "https://researchr.org/alias/robert-hirschfeld"
  - name: "Vasily Kirilichev"
    link: "https://researchr.org/alias/vasily-kirilichev"
  - name: "Tobias Pape"
    link: "https://researchr.org/alias/tobias-pape"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2784731.2784740"
  links:
    doi: "http://doi.acm.org/10.1145/2784731.2784740"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/BaumanBHKPST15"
  researchr: "https://researchr.org/publication/BaumanBHKPST15"
  cites: 0
  citedby: 0
  pages: "22-34"
  booktitle: "Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015"
  editor:
  - name: "Kathleen Fisher"
    link: "https://researchr.org/alias/kathleen-fisher"
  - name: "John H. Reppy"
    link: "https://researchr.org/alias/john-h.-reppy"
  publisher: "ACM"
  isbn: "978-1-4503-3669-7"
  kind: "inproceedings"
  key: "BaumanBHKPST15"
- title: "Modular type-safety proofs in Agda"
  author:
  - name: "Christopher Schwaab"
    link: "https://researchr.org/alias/christopher-schwaab"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2428116.2428120"
  links:
    doi: "http://doi.acm.org/10.1145/2428116.2428120"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/plpv/SchwaabS13"
  researchr: "https://researchr.org/publication/SchwaabS13"
  cites: 0
  citedby: 0
  pages: "3-12"
  booktitle: "Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013"
  editor:
  - name: "Matthew Might"
    link: "https://researchr.org/alias/matthew-might"
  - name: "David Van Horn"
    link: "https://researchr.org/alias/david-van-horn"
  - name: "Andreas Abel 0001"
    link: "https://researchr.org/alias/andreas-abel-0001"
  - name: "Tim Sheard"
    link: "https://researchr.org/alias/tim-sheard"
  publisher: "ACM"
  isbn: "978-1-4503-1860-0"
  kind: "inproceedings"
  key: "SchwaabS13"
- title: "The Boost Graph Library - User Guide and Reference Manual"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Lie-Quan Lee"
    link: "https://researchr.org/alias/lie-quan-lee"
  - name: "Andrew Lumsdaine"
    link: "https://researchr.org/alias/andrew-lumsdaine"
  year: "2002"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0028062"
  researchr: "https://researchr.org/publication/0028062"
  cites: 0
  citedby: 0
  series: "C++ in-depth series"
  publisher: "Pearson / Prentice Hall"
  isbn: "978-0-201-72914-6"
  kind: "book"
  key: "0028062"
- title: "A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1543/15430468.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1543/15430468.htm"
  tags:
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/SiekL98a"
  cites: 0
  citedby: 0
  pages: "468-469"
  booktitle: "Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings"
  editor:
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  - name: "Jan Bosch"
    link: "https://researchr.org/alias/jan-bosch"
  volume: "1543"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65460-7"
  kind: "inproceedings"
  key: "SiekL98a"
- title: "Gradual Typing for Functional Languages"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2006"
  month: "September"
  researchr: "https://researchr.org/publication/SiekT06-0"
  cites: 0
  citedby: 0
  pages: "81-92"
  booktitle: "Scheme and Functional Programming Workshop"
  volume: "6"
  kind: "inproceedings"
  key: "SiekT06-0"
- title: "2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary"
  author:
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Elena Zucca"
    link: "https://researchr.org/alias/elena-zucca"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2048147.2048228"
  links:
    doi: "http://doi.acm.org/10.1145/2048147.2048228"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/AldrichSZ11"
  researchr: "https://researchr.org/publication/AldrichSZ11"
  cites: 0
  citedby: 0
  pages: "319-320"
  booktitle: "Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011"
  editor:
  - name: "Cristina Videira Lopes"
    link: "https://researchr.org/alias/cristina-videira-lopes"
  - name: "Kathleen Fisher"
    link: "https://researchr.org/alias/kathleen-fisher"
  publisher: "ACM"
  isbn: "978-1-4503-0942-4"
  kind: "inproceedings"
  key: "AldrichSZ11"
- title: "Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say"
  author:
  - name: "Devin Coughlin"
    link: "https://researchr.org/alias/devin-coughlin"
  - name: "Bor-Yuh Evan Chang"
    link: "https://researchr.org/alias/bor-yuh-evan-chang"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2338965.2336786"
  links:
    doi: "http://doi.acm.org/10.1145/2338965.2336786"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/CoughlinCDS12"
  researchr: "https://researchr.org/publication/CoughlinCDS12"
  cites: 0
  citedby: 0
  pages: "276-286"
  booktitle: "International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012"
  editor:
  - name: "Mats Per Erik Heimdahl"
    link: "https://researchr.org/alias/mats-per-erik-heimdahl"
  - name: "Zhendong Su"
    link: "https://researchr.org/alias/zhendong-su"
  publisher: "ACM"
  isbn: "978-1-4503-1454-1"
  kind: "inproceedings"
  key: "CoughlinCDS12"
- title: "Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language"
  author:
  - name: "Matteo Cimini"
    link: "https://researchr.org/alias/matteo-cimini"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2957319.2957373"
  links:
    doi: "http://doi.acm.org/10.1145/2957319.2957373"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/CiminiS16"
  researchr: "https://researchr.org/publication/CiminiS16-0"
  cites: 0
  citedby: 0
  pages: "8"
  booktitle: "First Workshop on Programming Models and Languages for Distributed Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016"
  publisher: "ACM"
  isbn: "978-1-4503-4775-4"
  kind: "inproceedings"
  key: "CiminiS16-0"
- title: "A Language for Generic Programming in the Large"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "2007"
  doi: "http://arxiv.org/abs/0708.2255"
  note: "informal publication"
  links:
    doi: "http://arxiv.org/abs/0708.2255"
  tags:
  - "programming languages"
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/abs-0708-2255"
  cites: 0
  citedby: 0
  journal: "CoRR"
  volume: "abs/0708.2255"
  kind: "article"
  key: "abs-0708-2255"
- title: "The Recursive Union of Some Gradual Types"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_21"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/SiekT16"
  researchr: "https://researchr.org/publication/SiekT16"
  cites: 0
  citedby: 0
  pages: "388-410"
  booktitle: "A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday"
  editor:
  - name: "Sam Lindley"
    link: "https://researchr.org/alias/sam-lindley"
  - name: "Conor McBride"
    link: "https://researchr.org/alias/conor-mcbride"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "9600"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-30935-4"
  kind: "inproceedings"
  key: "SiekT16"
- title: "Parallel memory prediction for fused linear algebra kernels"
  author:
  - name: "Ian Karlin"
    link: "https://researchr.org/alias/ian-karlin"
  - name: "Elizabeth R. Jessup"
    link: "https://researchr.org/alias/elizabeth-r.-jessup"
  - name: "Geoffrey Belter"
    link: "https://researchr.org/alias/geoffrey-belter"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1964218.1964226"
  links:
    doi: "http://doi.acm.org/10.1145/1964218.1964226"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigmetrics/KarlinJBS11"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/KarlinJBS11"
  cites: 0
  citedby: 0
  journal: "SIGMETRICS Performance Evaluation Review"
  volume: "38"
  number: "4"
  pages: "43-49"
  kind: "article"
  key: "KarlinJBS11"
- title: "Monotonic References for Efficient Gradual Typing"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: " Michael M. Vitousek"
    link: "https://researchr.org/alias/michael-m.-vitousek"
  - name: "Matteo Cimini"
    link: "https://researchr.org/alias/matteo-cimini"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Ronald Garcia"
    link: "https://researchr.org/alias/ronald-garcia"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/SiekVCTG15"
  researchr: "https://researchr.org/publication/SiekVCTG15"
  cites: 0
  citedby: 0
  pages: "432-456"
  booktitle: "Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings"
  editor:
  - name: "Jan Vitek"
    link: "https://researchr.org/alias/jan-vitek"
  volume: "9032"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-46668-1"
  kind: "inproceedings"
  key: "SiekVCTG15"
- title: "The gradualizer: a methodology and algorithm for generating gradual type systems"
  author:
  - name: "Matteo Cimini"
    link: "https://researchr.org/alias/matteo-cimini"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2837614.2837632"
  links:
    doi: "http://doi.acm.org/10.1145/2837614.2837632"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/CiminiS16"
  researchr: "https://researchr.org/publication/CiminiS16"
  cites: 0
  citedby: 0
  pages: "443-455"
  booktitle: "Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016"
  editor:
  - name: "Rastislav Bodik"
    link: "https://researchr.org/alias/rastislav-bodik"
  - name: "Rupak Majumdar"
    link: "https://researchr.org/alias/rupak-majumdar"
  publisher: "ACM"
  isbn: "978-1-4503-3549-2"
  kind: "inproceedings"
  key: "CiminiS16"
- title: "Reliable Generation of High-Performance Matrix Algebra"
  author:
  - name: "Thomas Nelson"
    link: "https://researchr.org/alias/thomas-nelson"
  - name: "Geoffrey Belter"
    link: "https://researchr.org/alias/geoffrey-belter"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Elizabeth R. Jessup"
    link: "https://researchr.org/alias/elizabeth-r.-jessup"
  - name: "Boyana Norris"
    link: "https://researchr.org/alias/boyana-norris"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2629698"
  links:
    doi: "http://doi.acm.org/10.1145/2629698"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/toms/NelsonBSJN15"
  researchr: "https://researchr.org/publication/NelsonBSJN15"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Mathematical Software"
  volume: "41"
  number: "3"
  pages: "18"
  kind: "article"
  key: "NelsonBSJN15"
- title: "Automatically generating the dynamic semantics of gradually typed languages"
  author:
  - name: "Matteo Cimini"
    link: "https://researchr.org/alias/matteo-cimini"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2017"
  doi: "http://dl.acm.org/citation.cfm?id=3009863"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=3009863"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/CiminiS17"
  researchr: "https://researchr.org/publication/CiminiS17"
  cites: 0
  citedby: 0
  pages: "789-803"
  booktitle: "Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017"
  editor:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  - name: "Andrew D. Gordon"
    link: "https://researchr.org/alias/andrew-d.-gordon"
  publisher: "ACM"
  isbn: "978-1-4503-4660-3"
  kind: "inproceedings"
  key: "CiminiS17"
- title: "Exploring the Design Space of Higher-Order Casts"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Ronald Garcia"
    link: "http://"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_2"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/SiekGT09"
  cites: 0
  citedby: 0
  pages: "17-31"
  booktitle: "Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings"
  editor:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  volume: "5502"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00589-3"
  kind: "inproceedings"
  key: "SiekGT09"
- title: "Interpretations of the gradually-typed lambda calculus"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Ronald Garcia"
    link: "https://researchr.org/alias/ronald-garcia"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2661103.2661112"
  links:
    doi: "http://doi.acm.org/10.1145/2661103.2661112"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/SiekG12"
  researchr: "https://researchr.org/publication/SiekG12"
  cites: 0
  citedby: 0
  pages: "68-80"
  booktitle: "Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "978-1-4503-1895-2"
  kind: "inproceedings"
  key: "SiekG12"
- title: "Generic Graph Algorithms for Sparse Matrix Ordering"
  author:
  - name: "Lie-Quan Lee"
    link: "https://researchr.org/alias/lie-quan-lee"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "1999"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/LeeSL99"
  cites: 0
  citedby: 0
  pages: "120-129"
  booktitle: "Computing in Object-Oriented Parallel Environments, Third International Symposium, ISCOPE 99, San Francisco, California, USA, December 8-10, 1999, Proceedings"
  editor:
  - name: "Satoshi Matsuoka"
    link: "https://researchr.org/alias/satoshi-matsuoka"
  - name: "R. R. Oldehoeft"
    link: "https://researchr.org/alias/r.-r.-oldehoeft"
  - name: "Marydell Tholburn"
    link: "https://researchr.org/alias/marydell-tholburn"
  volume: "1732"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66818-7"
  kind: "inproceedings"
  key: "LeeSL99"
- title: "Build to order linear algebra kernels"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Ian Karlin"
    link: "https://researchr.org/alias/ian-karlin"
  - name: "Elizabeth R. Jessup"
    link: "https://researchr.org/alias/elizabeth-r.-jessup"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536183"
  links:
    doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536183"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/SiekKJ08"
  cites: 0
  citedby: 0
  pages: "1-8"
  booktitle: "22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "SiekKJ08"
- title: "Compile-time reflection and metaprogramming for Java"
  author:
  - name: "Weiyu Miao"
    link: "https://researchr.org/alias/weiyu-miao"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2543728.2543739"
  links:
    doi: "http://doi.acm.org/10.1145/2543728.2543739"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/MiaoS14"
  researchr: "https://researchr.org/publication/MiaoS14"
  cites: 0
  citedby: 0
  pages: "27-38"
  booktitle: "Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA"
  editor:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Jurriaan Hage"
    link: "https://researchr.org/alias/jurriaan-hage"
  publisher: "ACM"
  isbn: "978-1-4503-2619-3"
  kind: "inproceedings"
  key: "MiaoS14"
- title: "Blame for all"
  author:
  - name: "Amal Ahmed"
    link: "https://researchr.org/alias/amal-ahmed"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1926385.1926409"
  links:
    doi: "http://doi.acm.org/10.1145/1926385.1926409"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/AhmedFSW11"
  researchr: "https://researchr.org/publication/AhmedFSW11"
  cites: 0
  citedby: 0
  pages: "201-214"
  booktitle: "Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011"
  editor:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Mooly Sagiv"
    link: "https://researchr.org/alias/mooly-sagiv"
  publisher: "ACM"
  isbn: "978-1-4503-0490-0"
  kind: "inproceedings"
  key: "AhmedFSW11"
- title: "Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes"
  author:
  - name: "Boyana Norris"
    link: "http://www.mcs.anl.gov/~norris/"
  - name: "Albert Hartono"
    link: "https://researchr.org/alias/albert-hartono"
  - name: "Elizabeth R. Jessup"
    link: "https://researchr.org/alias/elizabeth-r.-jessup"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-01970-8_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-01970-8_25"
  tags:
  - "empirical"
  - "optimization"
  researchr: "https://researchr.org/publication/NorrisHJS09"
  cites: 0
  citedby: 0
  pages: "248-258"
  booktitle: "Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I"
  editor:
  - name: "Gabrielle Allen"
    link: "https://researchr.org/alias/gabrielle-allen"
  - name: "Jaroslaw Nabrzyski"
    link: "https://researchr.org/alias/jaroslaw-nabrzyski"
  - name: "Edward Seidel"
    link: "https://researchr.org/alias/edward-seidel"
  - name: "G. Dick van Albada"
    link: "https://researchr.org/alias/g.-dick-van-albada"
  - name: "Jack Dongarra"
    link: "https://researchr.org/alias/jack-dongarra"
  - name: "Peter M. A. Sloot"
    link: "https://researchr.org/alias/peter-m.-a.-sloot"
  volume: "5544"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-01969-2"
  kind: "inproceedings"
  key: "NorrisHJS09"
- title: "A language for generic programming in the large"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "https://researchr.org/alias/andrew-lumsdaine"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.scico.2008.09.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2008.09.009"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/SiekL11"
  tags:
  - "programming languages"
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/SiekL11"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "76"
  number: "5"
  pages: "423-465"
  kind: "article"
  key: "SiekL11"
- title: "Special issue on library-centric software design (LCSD 2006)"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.scico.2010.09.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2010.09.005"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/Siek11"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Siek11"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "76"
  number: "4"
  pages: "225-226"
  kind: "article"
  key: "Siek11"
- title: "The Generic Graph Component Library"
  author:
  - name: "Lie-Quan Lee"
    link: "https://researchr.org/alias/lie-quan-lee"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/320384.320428"
  links:
    doi: "http://doi.acm.org/10.1145/320384.320428"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/LeeSL99%3A0"
  cites: 0
  citedby: 0
  pages: "399-414"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "LeeSL99:0"
- title: "Visualizing transactional memory"
  author:
  - name: "Justin Emile Gottschlich"
    link: "https://researchr.org/alias/justin-emile-gottschlich"
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Gilles Pokam"
    link: "https://researchr.org/alias/gilles-pokam"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2370816.2370842"
  links:
    doi: "http://doi.acm.org/10.1145/2370816.2370842"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/IEEEpact/GottschlichHPS12"
  researchr: "https://researchr.org/publication/GottschlichHPS12"
  cites: 0
  citedby: 0
  pages: "159-170"
  booktitle: "International Conference on Parallel Architectures and Compilation Techniques, PACT '12, Minneapolis, MN, USA - September 19 - 23, 2012"
  editor:
  - name: "Pen-Chung Yew"
    link: "https://researchr.org/alias/pen-chung-yew"
  - name: "Sangyeun Cho"
    link: "https://researchr.org/alias/sangyeun-cho"
  - name: "Luiz DeRose"
    link: "https://researchr.org/alias/luiz-derose"
  - name: "David J. Lilja"
    link: "https://researchr.org/alias/david-j.-lilja"
  publisher: "ACM"
  isbn: "978-1-4503-1182-3"
  kind: "inproceedings"
  key: "GottschlichHPS12"
- title: "2010 international workshop on foundations of object-oriented languages (FOOL 10): SPLASH/OOPSLA 10 workshop summary"
  author:
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1869542.1869615"
  links:
    doi: "http://doi.acm.org/10.1145/1869542.1869615"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/AldrichS10"
  researchr: "https://researchr.org/publication/AldrichS10"
  cites: 0
  citedby: 0
  pages: "285-286"
  booktitle: "Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA"
  editor:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Siobhán Clarke"
    link: "https://www.cs.tcd.ie/Siobhan.Clarke/"
  - name: "Martin C. Rinard"
    link: "https://researchr.org/alias/martin-c.-rinard"
  publisher: "ACM"
  isbn: "978-1-4503-0240-1"
  kind: "inproceedings"
  key: "AldrichS10"
- title: "In Pursuit of Real Answers"
  author:
  - name: "Angela Yun Zhu"
    link: "https://researchr.org/alias/angela-yun-zhu"
  - name: "Walid Taha"
    link: "https://researchr.org/alias/walid-taha"
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  - name: "Matthieu Martel"
    link: "https://researchr.org/alias/matthieu-martel"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICESS.2009.91"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICESS.2009.91"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icess/ZhuTCMS09"
  researchr: "https://researchr.org/publication/ZhuTCMS09"
  cites: 0
  citedby: 0
  pages: "115-122"
  booktitle: "International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009"
  editor:
  - name: "Tianzhou Chen"
    link: "https://researchr.org/alias/tianzhou-chen"
  - name: "Dimitrios N. Serpanos"
    link: "https://researchr.org/alias/dimitrios-n.-serpanos"
  - name: "Walid Taha"
    link: "https://researchr.org/alias/walid-taha"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "ZhuTCMS09"
- title: "The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1543/15430466.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1543/15430466.htm"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/SiekL98"
  cites: 0
  citedby: 0
  pages: "466-467"
  booktitle: "Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings"
  editor:
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  - name: "Jan Bosch"
    link: "https://researchr.org/alias/jan-bosch"
  volume: "1543"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65460-7"
  kind: "inproceedings"
  key: "SiekL98"
- title: "Type Safety in Three Easy Lemmas"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2013"
  month: "may"
  note: "\\url{http://siek.blogspot.co.uk/2013/05/type-safety-in-three-easy-lemmas.html}"
  researchr: "https://researchr.org/publication/Siek2013typesafety"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "Siek2013typesafety"
- title: "Refined Criteria for Gradual Typing"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: " Michael M. Vitousek"
    link: "https://researchr.org/alias/michael-m.-vitousek"
  - name: "Matteo Cimini"
    link: "https://researchr.org/alias/matteo-cimini"
  - name: "John Tang Boyland"
    link: "https://researchr.org/alias/john-tang-boyland"
  year: "2015"
  doi: "http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.274"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.274"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/snapl/SiekVCB15"
  researchr: "https://researchr.org/publication/SiekVCB15"
  cites: 0
  citedby: 0
  pages: "274-293"
  booktitle: "1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA"
  editor:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Rastislav Bodík"
    link: "https://researchr.org/alias/rastislav-bod%C3%ADk"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Benjamin S. Lerner"
    link: "https://researchr.org/alias/benjamin-s.-lerner"
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  volume: "32"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-80-4"
  kind: "inproceedings"
  key: "SiekVCB15"
- title: "Concept-Based Component Libraries and Optimizing Compilers"
  author:
  - name: "Sibylle Schupp"
    link: "https://researchr.org/alias/sibylle-schupp"
  - name: "D. P. Gregor"
    link: "https://researchr.org/alias/d.-p.-gregor"
  - name: "B. Osman"
    link: "https://researchr.org/alias/b.-osman"
  - name: "David R. Musser"
    link: "https://researchr.org/alias/david-r.-musser"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Lie-Quan Lee"
    link: "https://researchr.org/alias/lie-quan-lee"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  year: "2002"
  doi: "http://computer.org/proceedings/ipdps/1573/workshops/15730174babs.htm"
  links:
    doi: "http://computer.org/proceedings/ipdps/1573/workshops/15730174babs.htm"
  tags:
  - "optimization"
  - "rule-based"
  - "compiler"
  researchr: "https://researchr.org/publication/SchuppGOMSLL02"
  cites: 0
  citedby: 0
  booktitle: "16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1573-8"
  kind: "inproceedings"
  key: "SchuppGOMSLL02"
- title: "Threesomes, with and without blame"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1706299.1706342"
  links:
    doi: "http://doi.acm.org/10.1145/1706299.1706342"
  researchr: "https://researchr.org/publication/SiekW10"
  cites: 0
  citedby: 0
  pages: "365-376"
  booktitle: "Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  publisher: "ACM"
  isbn: "978-1-60558-479-9"
  kind: "inproceedings"
  key: "SiekW10"
- title: "Big types in little runtime: open-world soundness and collaborative blame for gradual type systems"
  author:
  - name: " Michael M. Vitousek"
    link: "https://researchr.org/alias/michael-m.-vitousek"
  - name: "Cameron Swords"
    link: "https://researchr.org/alias/cameron-swords"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2017"
  doi: "http://dl.acm.org/citation.cfm?id=3009849"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=3009849"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/VitousekSS17"
  researchr: "https://researchr.org/publication/VitousekSS17"
  cites: 0
  citedby: 0
  pages: "762-774"
  booktitle: "Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017"
  editor:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  - name: "Andrew D. Gordon"
    link: "https://researchr.org/alias/andrew-d.-gordon"
  publisher: "ACM"
  isbn: "978-1-4503-4660-3"
  kind: "inproceedings"
  key: "VitousekSS17"
- title: "A comparative study of language support for generic programming"
  author:
  - name: "Ronald Garcia"
    link: "https://researchr.org/alias/ronald-garcia"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  - name: "Andrew Lumsdaine"
    link: "http://osl.iu.edu/~lums/"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Jeremiah Willcock"
    link: "https://researchr.org/alias/jeremiah-willcock"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/949305.949317"
  links:
    doi: "http://doi.acm.org/10.1145/949305.949317"
  tags:
  - "programming languages"
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/GarciaJLSW03"
  cites: 0
  citedby: 0
  pages: "115-134"
  booktitle: "Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA"
  editor:
  - name: "Ron Crocker"
    link: "https://researchr.org/alias/ron-crocker"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "1-58113-712-5"
  kind: "inproceedings"
  key: "GarciaJLSW03"
- title: "General purpose languages should be metalanguages"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1706356.1706358"
  links:
    doi: "http://doi.acm.org/10.1145/1706356.1706358"
  researchr: "https://researchr.org/publication/Siek10"
  cites: 0
  citedby: 0
  pages: "3-4"
  booktitle: "Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010"
  editor:
  - name: "John P. Gallagher"
    link: "https://researchr.org/alias/john-p.-gallagher"
  - name: "Janis Voigtländer"
    link: "https://researchr.org/alias/janis-voigtl%C3%A3%C2%A4nder"
  publisher: "ACM"
  isbn: "978-1-60558-727-1"
  kind: "inproceedings"
  key: "Siek10"
- title: "19th international workshop on foundations of object-oriented languages (FOOL'12)"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  - name: "John Tang Boyland"
    link: "https://researchr.org/alias/john-tang-boyland"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384716.2384785"
  links:
    doi: "http://doi.acm.org/10.1145/2384716.2384785"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/SiekAB12"
  researchr: "https://researchr.org/publication/SiekAB12"
  cites: 0
  citedby: 0
  pages: "233-234"
  booktitle: "Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25, 2012"
  editor:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  publisher: "ACM"
  isbn: "978-1-4503-1563-0"
  kind: "inproceedings"
  key: "SiekAB12"
- title: "Understanding memory effects in the automated generation of optimized matrix algebra kernels"
  author:
  - name: "Elizabeth R. Jessup"
    link: "https://researchr.org/alias/elizabeth-r.-jessup"
  - name: "Ian Karlin"
    link: "https://researchr.org/alias/ian-karlin"
  - name: "Erik Silkensen"
    link: "https://researchr.org/alias/erik-silkensen"
  - name: "Geoffrey Belter"
    link: "https://researchr.org/alias/geoffrey-belter"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.procs.2010.04.209"
  links:
    doi: "http://dx.doi.org/10.1016/j.procs.2010.04.209"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/procedia/JessupKSBS10"
  tags:
  - "optimization"
  - " algebra"
  researchr: "https://researchr.org/publication/JessupKSBS10"
  cites: 0
  citedby: 0
  journal: "Procedia CS"
  volume: "1"
  number: "1"
  pages: "1873-1881"
  kind: "article"
  key: "JessupKSBS10"
- title: "Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings"
  year: "2008"
  tags:
  - "generative programming"
  - "programming"
  researchr: "https://researchr.org/publication/gpce%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings"
  conference: "GPCE"
  editor:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  publisher: "ACM"
  isbn: "978-1-60558-267-2"
  kind: "proceedings"
  key: "gpce:2008"
- title: "Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011"
  year: "2011"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/2011"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/pepm-2011"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011"
  conference: "PEPM"
  editor:
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  publisher: "ACM"
  isbn: "978-1-4503-0485-6"
  kind: "proceedings"
  key: "pepm-2011"
- title: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings"
  year: "2009"
  tags:
  - "generative programming"
  - "programming"
  researchr: "https://researchr.org/publication/gpce-2009"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings"
  conference: "GPCE"
  editor:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  publisher: "ACM"
  isbn: "978-1-60558-494-2"
  kind: "proceedings"
  key: "gpce-2009"