@inproceedings{Siek10-0,
  title = {The C++0x "Concepts" Effort},
  author = {Jeremy G. Siek},
  year = {2010},
  doi = {10.1007/978-3-642-32202-0_4},
  url = {http://dx.doi.org/10.1007/978-3-642-32202-0_4},
  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 = {Jeremy Gibbons},
  volume = {7470},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32201-3},
}

@inproceedings{SiekL05,
  title = {Language Requirements for Large-Scale Generic Libraries},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {2005},
  doi = {10.1007/11561347_27},
  url = {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 = {Robert Glück and Michael R. Lowry},
  volume = {3676},
  series = {Lecture Notes in Computer Science},
  address = {Tallinn, Estonia},
  publisher = {Springer},
  isbn = {3-540-29138-5},
}

@inproceedings{GregorJSSRL06,
  title = {Concepts: linguistic support for generic programming in C++},
  author = {Douglas Gregor and Jaakko Järvi and Jeremy G. Siek and Bjarne Stroustrup and Gabriel Dos Reis and Andrew Lumsdaine},
  year = {2006},
  doi = {10.1145/1167473.1167499},
  url = {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},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-348-4},
}

@inproceedings{Miao-GPCE-2010,
  title = {Incremental Type-Checking for Type-Reflective Metaprograms},
  author = {Weiyu Miao and Jeremy G. Siek},
  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 = {Eelco Visser and Jaakko Järvi},
  publisher = {ACM},
}

@inproceedings{GottschlichSVWC09,
  title = {An efficient lock-aware transactional memory implementation},
  author = {Justin Emile Gottschlich and Jeremy G. Siek and Manish Vachharajani and Dwight Y. Winkler and Daniel A. Connors},
  year = {2009},
  doi = {10.1145/1565824.1565826},
  url = {http://doi.acm.org/10.1145/1565824.1565826},
  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 = {Ian Rogers},
  publisher = {ACM},
  isbn = {978-1-60558-541-3},
}

@inproceedings{GottschlichVS10,
  title = {An efficient software transactional memory using commit-time invalidation},
  author = {Justin Emile Gottschlich and Manish Vachharajani and Jeremy G. Siek},
  year = {2010},
  doi = {10.1145/1772954.1772970},
  url = {http://doi.acm.org/10.1145/1772954.1772970},
  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 = {Andreas Moshovos and J. Gregory Steffan and Kim M. Hazelwood and David R. Kaeli},
  publisher = {ACM},
  isbn = {978-1-60558-635-9},
}

@article{GarciaJLSW07,
  title = {An extended comparative study of language support for generic programming},
  author = {Ronald Garcia and Jaakko Järvi and Andrew Lumsdaine and Jeremy G. Siek and Jeremiah Willcock},
  year = {2007},
  doi = {10.1017/S0956796806006198},
  url = {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},
}

@phdthesis{Siek:2005lr,
  title = {A Language for Generic Programming},
  author = {Jeremy G. Siek},
  year = {2005},
  month = {August},
  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},
}

@inproceedings{BlochJMSS06,
  title = {LCSD: library-centric software design},
  author = {Josh Bloch and Jaakko Järvi and David R. Musser and Sibylle Schupp and Jeremy G. Siek},
  year = {2006},
  doi = {10.1145/1176617.1176634},
  url = {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 = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{Siek:PEPM:2010,
  title = {General Purpose Languages Should Be Metalanguages},
  author = {Jeremy G. Siek},
  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 = {John P. Gallagher and Janis Voigtländer},
  publisher = {ACM},
}

@inproceedings{HolkNSL14,
  title = {Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host},
  author = {Eric Holk and Ryan Newton and Jeremy G. Siek and Andrew Lumsdaine},
  year = {2014},
  doi = {10.1145/2660193.2660244},
  url = {http://doi.acm.org/10.1145/2660193.2660244},
  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 = {Andrew P. Black and Todd D. Millstein},
  publisher = {ACM},
  isbn = {978-1-4503-2585-1},
}

@inproceedings{BelterJKS09,
  title = {Automating the generation of composed linear algebra kernels},
  author = {Geoffrey Belter and Elizabeth R. Jessup and Ian Karlin and Jeremy G. Siek},
  year = {2009},
  doi = {10.1145/1654059.1654119},
  url = {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},
}

@inproceedings{SiekTW15,
  title = {Blame and coercion: together again for the first time},
  author = {Jeremy G. Siek and Peter Thiemann and Philip Wadler},
  year = {2015},
  doi = {10.1145/2737924.2737968},
  url = {http://doi.acm.org/10.1145/2737924.2737968},
  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 = {David Grove and Steve Blackburn},
  publisher = {ACM},
  isbn = {978-1-4503-3468-6},
}

@inproceedings{SiekT06,
  title = {A Semantic Analysis of C++ Templates},
  author = {Jeremy G. Siek and Walid Taha},
  year = {2006},
  doi = {10.1007/11785477_19},
  url = {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 = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@article{SiekL99,
  title = {The Matrix Template Library: generic components for high-performance scientific computing},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {1999},
  doi = {10.1109/5992.805137},
  url = {http://doi.ieeecomputersociety.org/10.1109/5992.805137},
  researchr = {https://researchr.org/publication/SiekL99},
  cites = {0},
  citedby = {0},
  journal = {Computing in Science and Engineering},
  volume = {1},
  number = {6},
  pages = {70-71},
}

@inproceedings{SiekV08,
  title = {Gradual typing with unification-based inference},
  author = {Jeremy G. Siek and Manish Vachharajani},
  year = {2008},
  doi = {10.1145/1408681.1408688},
  url = {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 = {Johan Brichau},
  publisher = {ACM},
  isbn = {978-1-60558-270-2},
}

@inproceedings{SiekT07,
  title = {Gradual Typing for Objects},
  author = {Jeremy G. Siek and Walid Taha},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_2},
  url = {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 = {Erik Ernst},
  volume = {4609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73588-5},
}

@inproceedings{SilkensenS12,
  title = {Well-Typed Islands Parse Faster},
  author = {Erik Silkensen and Jeremy G. Siek},
  year = {2012},
  doi = {10.1007/978-3-642-40447-4_5},
  url = {http://dx.doi.org/10.1007/978-3-642-40447-4_5},
  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 = {Hans-Wolfgang Loidl and Ricardo Peña},
  volume = {7829},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40446-7},
}

@article{FriedmanGSW07,
  title = {Improving the lazy Krivine machine},
  author = {Daniel P. Friedman and Abdulaziz Ghuloum and Jeremy G. Siek and Onnie Lynn Winebarger},
  year = {2007},
  doi = {10.1007/s10990-007-9014-0},
  url = {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},
}

@inproceedings{VitousekKSB14,
  title = {Design and evaluation of gradual typing for python},
  author = { Michael M. Vitousek and Andrew M. Kent and Jeremy G. Siek and Jim Baker},
  year = {2014},
  doi = {10.1145/2661088.2661101},
  url = {http://doi.acm.org/10.1145/2661088.2661101},
  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 = {Andrew P. Black and Laurence Tratt},
  publisher = {ACM},
  isbn = {978-1-4503-3211-8},
}

@inproceedings{JarviGWLS06,
  title = {Algorithm specialization in generic programming: challenges of constrained generics in C++},
  author = {Jaakko Järvi and Douglas Gregor and Jeremiah Willcock and Andrew Lumsdaine and Jeremy G. Siek},
  year = {2006},
  doi = {10.1145/1133981.1134014},
  url = {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 = {Michael I. Schwartzbach and Thomas Ball},
  publisher = {ACM},
  isbn = {1-59593-320-4},
}

@inproceedings{SiekL05:0,
  title = {Essential language support for generic programming},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {2005},
  doi = {10.1145/1065010.1065021},
  url = {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 = {Vivek Sarkar and Mary W. Hall},
  publisher = {ACM},
  isbn = {1-59593-056-6},
}

@inproceedings{SiekL98:0,
  title = {The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {1998},
  url = {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 = {Denis Caromel and R. R. Oldehoeft and Marydell Tholburn},
  volume = {1505},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65387-2},
}

@inproceedings{FogartyPST07,
  title = {Concoqtion: indexed types now!},
  author = {Seth Fogarty and Emir Pasalic and Jeremy G. Siek and Walid Taha},
  year = {2007},
  doi = {10.1145/1244381.1244400},
  url = {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 = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@inproceedings{Siek04,
  title = {Modular generics},
  author = {Jeremy G. Siek},
  year = {2004},
  doi = {10.1145/1028664.1028694},
  url = {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 = {John M. Vlissides and Douglas C. Schmidt},
  publisher = {ACM},
  isbn = {1-58113-833-4},
}

@inproceedings{MiaoS10-0,
  title = {Incremental type-checking for type-reflective metaprograms},
  author = {Weiyu Miao and Jeremy G. Siek},
  year = {2010},
  doi = {10.1145/1868294.1868319},
  url = {http://doi.acm.org/10.1145/1868294.1868319},
  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 = {Eelco Visser and Jaakko Järvi},
  publisher = {ACM},
  isbn = {978-1-4503-0154-1},
}

@inproceedings{MiaoS12,
  title = {Pattern-based traits},
  author = {Weiyu Miao and Jeremy G. Siek},
  year = {2012},
  doi = {10.1145/2245276.2232057},
  url = {http://doi.acm.org/10.1145/2245276.2232057},
  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 = {Sascha Ossowski and Paola Lecca},
  publisher = {ACM},
  isbn = {978-1-4503-0857-1},
}

@inproceedings{BaumanBHKPST15,
  title = {Pycket: a tracing JIT for a functional language},
  author = {Spenser Bauman and Carl Friedrich Bolz and Robert Hirschfeld and Vasily Kirilichev and Tobias Pape and Jeremy G. Siek and Sam Tobin-Hochstadt},
  year = {2015},
  doi = {10.1145/2784731.2784740},
  url = {http://doi.acm.org/10.1145/2784731.2784740},
  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 = {Kathleen Fisher and John H. Reppy},
  publisher = {ACM},
  isbn = {978-1-4503-3669-7},
}

@inproceedings{SchwaabS13,
  title = {Modular type-safety proofs in Agda},
  author = {Christopher Schwaab and Jeremy G. Siek},
  year = {2013},
  doi = {10.1145/2428116.2428120},
  url = {http://doi.acm.org/10.1145/2428116.2428120},
  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 = {Matthew Might and David Van Horn and Andreas Abel 0001 and Tim Sheard},
  publisher = {ACM},
  isbn = {978-1-4503-1860-0},
}

@book{0028062,
  title = {The Boost Graph Library - User Guide and Reference Manual},
  author = {Jeremy G. Siek and Lie-Quan Lee and Andrew Lumsdaine},
  year = {2002},
  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},
}

@inproceedings{SiekL98a,
  title = {A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {1998},
  url = {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 = {Serge Demeyer and Jan Bosch},
  volume = {1543},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65460-7},
}

@inproceedings{SiekT06-0,
  title = {Gradual typing for functional languages},
  author = {Jeremy G. Siek and Walid 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},
}

@inproceedings{AldrichSZ11,
  title = {2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary},
  author = {Jonathan Aldrich and Jeremy G. Siek and Elena Zucca},
  year = {2011},
  doi = {10.1145/2048147.2048228},
  url = {http://doi.acm.org/10.1145/2048147.2048228},
  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 = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0942-4},
}

@inproceedings{CoughlinCDS12,
  title = {Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say},
  author = {Devin Coughlin and Bor-Yuh Evan Chang and Amer Diwan and Jeremy G. Siek},
  year = {2012},
  doi = {10.1145/2338965.2336786},
  url = {http://doi.acm.org/10.1145/2338965.2336786},
  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 = {Mats Per Erik Heimdahl and Zhendong Su},
  publisher = {ACM},
  isbn = {978-1-4503-1454-1},
}

@inproceedings{CiminiS16-0,
  title = {Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language},
  author = {Matteo Cimini and Jeremy G. Siek},
  year = {2016},
  doi = {10.1145/2957319.2957373},
  url = {http://doi.acm.org/10.1145/2957319.2957373},
  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},
}

@article{abs-0708-2255,
  title = {A Language for Generic Programming in the Large},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {2007},
  url = {http://arxiv.org/abs/0708.2255},
  note = {informal publication},
  tags = {programming languages, generic programming, programming},
  researchr = {https://researchr.org/publication/abs-0708-2255},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/0708.2255},
}

@inproceedings{SiekT16,
  title = {The Recursive Union of Some Gradual Types},
  author = {Jeremy G. Siek and Sam Tobin-Hochstadt},
  year = {2016},
  doi = {10.1007/978-3-319-30936-1_21},
  url = {http://dx.doi.org/10.1007/978-3-319-30936-1_21},
  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 = {Sam Lindley and Conor McBride and Philip W. Trinder and Donald Sannella},
  volume = {9600},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-30935-4},
}

@article{KarlinJBS11,
  title = {Parallel memory prediction for fused linear algebra kernels},
  author = {Ian Karlin and Elizabeth R. Jessup and Geoffrey Belter and Jeremy G. Siek},
  year = {2011},
  doi = {10.1145/1964218.1964226},
  url = {http://doi.acm.org/10.1145/1964218.1964226},
  tags = { algebra},
  researchr = {https://researchr.org/publication/KarlinJBS11},
  cites = {0},
  citedby = {0},
  journal = {SIGMETRICS Performance Evaluation Review},
  volume = {38},
  number = {4},
  pages = {43-49},
}

@inproceedings{SiekVCTG15,
  title = {Monotonic References for Efficient Gradual Typing},
  author = {Jeremy G. Siek and  Michael M. Vitousek and Matteo Cimini and Sam Tobin-Hochstadt and Ronald Garcia},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_18},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_18},
  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 = {Jan Vitek},
  volume = {9032},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46668-1},
}

@inproceedings{CiminiS16,
  title = {The gradualizer: a methodology and algorithm for generating gradual type systems},
  author = {Matteo Cimini and Jeremy G. Siek},
  year = {2016},
  doi = {10.1145/2837614.2837632},
  url = {http://doi.acm.org/10.1145/2837614.2837632},
  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 = {Rastislav Bodik and Rupak Majumdar},
  publisher = {ACM},
  isbn = {978-1-4503-3549-2},
}

@article{NelsonBSJN15,
  title = {Reliable Generation of High-Performance Matrix Algebra},
  author = {Thomas Nelson and Geoffrey Belter and Jeremy G. Siek and Elizabeth R. Jessup and Boyana Norris},
  year = {2015},
  doi = {10.1145/2629698},
  url = {http://doi.acm.org/10.1145/2629698},
  researchr = {https://researchr.org/publication/NelsonBSJN15},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Mathematical Software},
  volume = {41},
  number = {3},
  pages = {18},
}

@inproceedings{CiminiS17,
  title = {Automatically generating the dynamic semantics of gradually typed languages},
  author = {Matteo Cimini and Jeremy G. Siek},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009863},
  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 = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}

@inproceedings{SiekGT09,
  title = {Exploring the Design Space of Higher-Order Casts},
  author = {Jeremy G. Siek and Ronald Garcia and Walid Taha},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_2},
  url = {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 = {Giuseppe Castagna},
  volume = {5502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00589-3},
}

@inproceedings{SiekG12,
  title = {Interpretations of the gradually-typed lambda calculus},
  author = {Jeremy G. Siek and Ronald Garcia},
  year = {2012},
  doi = {10.1145/2661103.2661112},
  url = {http://doi.acm.org/10.1145/2661103.2661112},
  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 = {Olivier Danvy},
  publisher = {ACM},
  isbn = {978-1-4503-1895-2},
}

@inproceedings{LeeSL99,
  title = {Generic Graph Algorithms for Sparse Matrix Ordering},
  author = {Lie-Quan Lee and Jeremy G. Siek and Andrew Lumsdaine},
  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 = {Satoshi Matsuoka and R. R. Oldehoeft and Marydell Tholburn},
  volume = {1732},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66818-7},
}

@inproceedings{SiekKJ08,
  title = {Build to order linear algebra kernels},
  author = {Jeremy G. Siek and Ian Karlin and Elizabeth R. Jessup},
  year = {2008},
  doi = {10.1109/IPDPS.2008.4536183},
  url = {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},
}

@inproceedings{MiaoS14,
  title = {Compile-time reflection and metaprogramming for Java},
  author = {Weiyu Miao and Jeremy G. Siek},
  year = {2014},
  doi = {10.1145/2543728.2543739},
  url = {http://doi.acm.org/10.1145/2543728.2543739},
  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 = {Wei-Ngan Chin and Jurriaan Hage},
  publisher = {ACM},
  isbn = {978-1-4503-2619-3},
}

@inproceedings{AhmedFSW11,
  title = {Blame for all},
  author = {Amal Ahmed and Robby Findler and Jeremy G. Siek and Philip Wadler},
  year = {2011},
  doi = {10.1145/1926385.1926409},
  url = {http://doi.acm.org/10.1145/1926385.1926409},
  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 = {Thomas Ball and Mooly Sagiv},
  publisher = {ACM},
  isbn = {978-1-4503-0490-0},
}

@inproceedings{NorrisHJS09,
  title = {Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes},
  author = {Boyana Norris and Albert Hartono and Elizabeth R. Jessup and Jeremy G. Siek},
  year = {2009},
  doi = {10.1007/978-3-642-01970-8_25},
  url = {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 = {Gabrielle Allen and Jaroslaw Nabrzyski and Edward Seidel and G. Dick van Albada and Jack Dongarra and Peter M. A. Sloot},
  volume = {5544},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-01969-2},
}

@article{SiekL11,
  title = {A language for generic programming in the large},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {2011},
  doi = {10.1016/j.scico.2008.09.009},
  url = {http://dx.doi.org/10.1016/j.scico.2008.09.009},
  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},
}

@article{Siek11,
  title = {Special issue on library-centric software design (LCSD 2006)},
  author = {Jeremy G. Siek},
  year = {2011},
  doi = {10.1016/j.scico.2010.09.005},
  url = {http://dx.doi.org/10.1016/j.scico.2010.09.005},
  tags = {design},
  researchr = {https://researchr.org/publication/Siek11},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {4},
  pages = {225-226},
}

@inproceedings{LeeSL99:0,
  title = {The Generic Graph Component Library},
  author = {Lie-Quan Lee and Jeremy G. Siek and Andrew Lumsdaine},
  year = {1999},
  doi = {10.1145/320384.320428},
  url = {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},
}

@inproceedings{GottschlichHPS12,
  title = {Visualizing transactional memory},
  author = {Justin Emile Gottschlich and Maurice Herlihy and Gilles Pokam and Jeremy G. Siek},
  year = {2012},
  doi = {10.1145/2370816.2370842},
  url = {http://doi.acm.org/10.1145/2370816.2370842},
  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 = {Pen-Chung Yew and Sangyeun Cho and Luiz DeRose and David J. Lilja},
  publisher = {ACM},
  isbn = {978-1-4503-1182-3},
}

@inproceedings{AldrichS10,
  title = {2010 international workshop on foundations of object-oriented languages (FOOL 10): SPLASH/OOPSLA 10 workshop summary},
  author = {Jonathan Aldrich and Jeremy G. Siek},
  year = {2010},
  doi = {10.1145/1869542.1869615},
  url = {http://doi.acm.org/10.1145/1869542.1869615},
  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 = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  publisher = {ACM},
  isbn = {978-1-4503-0240-1},
}

@inproceedings{ZhuTCMS09,
  title = {In Pursuit of Real Answers},
  author = {Angela Yun Zhu and Walid Taha and Robert Cartwright and Matthieu Martel and Jeremy G. Siek},
  year = {2009},
  doi = {10.1109/ICESS.2009.91},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICESS.2009.91},
  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 = {Tianzhou Chen and Dimitrios N. Serpanos and Walid Taha},
  publisher = {IEEE},
}

@inproceedings{SiekL98,
  title = {The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra},
  author = {Jeremy G. Siek and Andrew Lumsdaine},
  year = {1998},
  url = {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 = {Serge Demeyer and Jan Bosch},
  volume = {1543},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65460-7},
}

@misc{Siek2013typesafety,
  title = {Type Safety in Three Easy Lemmas},
  author = {Jeremy G. Siek},
  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},
}

@inproceedings{SiekVCB15,
  title = {Refined Criteria for Gradual Typing},
  author = {Jeremy G. Siek and  Michael M. Vitousek and Matteo Cimini and John Tang Boyland},
  year = {2015},
  doi = {10.4230/LIPIcs.SNAPL.2015.274},
  url = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.274},
  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 = {Thomas Ball and Rastislav Bodík and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
  volume = {32},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-80-4},
}

@inproceedings{SchuppGOMSLL02,
  title = {Concept-Based Component Libraries and Optimizing Compilers},
  author = {Sibylle Schupp and D. P. Gregor and B. Osman and David R. Musser and Jeremy G. Siek and Lie-Quan Lee and Andrew Lumsdaine},
  year = {2002},
  url = {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},
}

@inproceedings{SiekW10,
  title = {Threesomes, with and without blame},
  author = {Jeremy G. Siek and Philip Wadler},
  year = {2010},
  doi = {10.1145/1706299.1706342},
  url = {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 = {Manuel V. Hermenegildo and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-479-9},
}

@inproceedings{VitousekSS17,
  title = {Big types in little runtime: open-world soundness and collaborative blame for gradual type systems},
  author = { Michael M. Vitousek and Cameron Swords and Jeremy G. Siek},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009849},
  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 = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}

@inproceedings{GarciaJLSW03,
  title = {A comparative study of language support for generic programming},
  author = {Ronald Garcia and Jaakko Järvi and Andrew Lumsdaine and Jeremy G. Siek and Jeremiah Willcock},
  year = {2003},
  doi = {10.1145/949305.949317},
  url = {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 = {Ron Crocker and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {1-58113-712-5},
}

@inproceedings{Siek10,
  title = {General purpose languages should be metalanguages},
  author = {Jeremy G. Siek},
  year = {2010},
  doi = {10.1145/1706356.1706358},
  url = {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 = {John P. Gallagher and Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-60558-727-1},
}

@inproceedings{SiekAB12,
  title = {19th international workshop on foundations of object-oriented languages (FOOL'12)},
  author = {Jeremy G. Siek and Jonathan Aldrich and John Tang Boyland},
  year = {2012},
  doi = {10.1145/2384716.2384785},
  url = {http://doi.acm.org/10.1145/2384716.2384785},
  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 = {Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-4503-1563-0},
}

@article{JessupKSBS10,
  title = {Understanding memory effects in the automated generation of optimized matrix algebra kernels},
  author = {Elizabeth R. Jessup and Ian Karlin and Erik Silkensen and Geoffrey Belter and Jeremy G. Siek},
  year = {2010},
  doi = {10.1016/j.procs.2010.04.209},
  url = {http://dx.doi.org/10.1016/j.procs.2010.04.209},
  tags = {optimization,  algebra},
  researchr = {https://researchr.org/publication/JessupKSBS10},
  cites = {0},
  citedby = {0},
  journal = {Procedia CS},
  volume = {1},
  number = {1},
  pages = {1873-1881},
}
@proceedings{gpce:2008,
  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 = {Yannis Smaragdakis and Jeremy G. Siek},
  publisher = {ACM},
  isbn = {978-1-60558-267-2},
}

@proceedings{pepm-2011,
  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},
  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 = {Siau-Cheng Khoo and Jeremy G. Siek},
  publisher = {ACM},
  isbn = {978-1-4503-0485-6},
}

@proceedings{gpce-2009,
  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 = {Jeremy G. Siek and Bernd  Fischer},
  publisher = {ACM},
  isbn = {978-1-60558-494-2},
}