@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 = {ssgip},
}

@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 = {GPCE},
}

@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 = {OOPSLA},
}

@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 = {GPCE},
}

@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 = {ECOOP},
}

@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 = {CGO},
}

@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 = {JFP},
  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 = {OOPSLA},
}

@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 = {PEPM},
}

@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 = {OOPSLA},
}

@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 = {sc},
}

@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 = {PLDI},
}

@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},
}

@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 = {cse},
  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 = {DLS},
}

@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},
}

@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 = {sfp},
}

@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 = {lisp},
  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},
}

@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 = {PLDI},
}

@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 = {PLDI},
}

@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 = {iscope},
}

@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 = {PEPM},
}

@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 = {OOPSLA},
}

@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 = {GPCE},
}

@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 = {SAC},
}

@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 = {ICFP},
}

@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 = {plpv},
}

@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 = {ECOOPW},
}

@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},
}

@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 = {OOPSLA},
}

@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 = {ISSTA},
}

@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 = {ECOOP},
}

@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},
  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 = {BIRTHDAY},
}

@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},
  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 = {ESOP},
}

@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 = {POPL},
}

@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 = {TOMS},
  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 = {POPL},
}

@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 = {ESOP},
}

@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 = {ICFP},
}

@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 = {iscope},
}

@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 = {ipps},
}

@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 = {PEPM},
}

@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 = {POPL},
}

@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 = {iccS},
}

@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 = {SCP},
  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 = {SCP},
  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 = {IEEEpact},
}

@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 = {OOPSLA},
}

@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 = {icess},
}

@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 = {ECOOPW},
}

@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 = {SNAPL},
}

@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 = {ipps},
}

@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 = {POPL},
}

@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 = {POPL},
}

@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 = {OOPSLA},
}

@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 = {PEPM},
}

@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 = {OOPSLA},
}

@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},
  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},
}