The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra. - Jeremy G. Siek; Andrew Lumsdaine (ECOOP Workshops, 1998)

A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library. - Jeremy G. Siek; Andrew Lumsdaine (ECOOP Workshops, 1998)

The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra. - Jeremy G. Siek; Andrew Lumsdaine (ISCOPE, 1998)

Generic Graph Algorithms for Sparse Matrix Ordering. - Lie-Quan Lee; Jeremy G. Siek; Andrew Lumsdaine (ISCOPE, 1999)

The Generic Graph Component Library. - Lie-Quan Lee; Jeremy G. Siek; Andrew Lumsdaine (OOPSLA, 1999)

The Matrix Template Library: generic components for high-performance scientific computing. - Jeremy G. Siek; Andrew Lumsdaine (Comput. Sci. Eng., 1999)

The Boost Graph Library - User Guide and Reference Manual. - Jeremy G. Siek; Lie-Quan Lee; Andrew Lumsdaine (Pearson / Prentice Hall, 2002)

Concept-Based Component Libraries and Optimizing Compilers. - Sibylle Schupp; Douglas P. Gregor; B. Osman; David R. Musser; Jeremy G. Siek; Lie-Quan Lee; Andrew Lumsdaine (IPDPS, 2002)

A comparative study of language support for generic programming. - Ronald Garcia; Jaakko Järvi; Andrew Lumsdaine; Jeremy G. Siek; Jeremiah Willcock (OOPSLA, 2003)

Modular generics. - Jeremy G. Siek (OOPSLA Companion, 2004)

Language Requirements for Large-Scale Generic Libraries. - Jeremy G. Siek; Andrew Lumsdaine (GPCE, 2005)

Essential language support for generic programming. - Jeremy G. Siek; Andrew Lumsdaine (PLDI, 2005)

A Semantic Analysis of C++ Templates. - Jeremy G. Siek; Walid Taha (ECOOP, 2006)

LCSD: library-centric software design. - Josh Bloch; Jaakko Järvi; David R. Musser; Sibylle Schupp; Jeremy G. Siek (OOPSLA Companion, 2006)

Concepts: linguistic support for generic programming in C++. - Douglas P. Gregor; Jaakko Järvi; Jeremy G. Siek; Bjarne Stroustrup; Gabriel Dos Reis; Andrew Lumsdaine (OOPSLA, 2006)

Algorithm specialization in generic programming: challenges of constrained generics in C++. - Jaakko Järvi; Douglas P. Gregor; Jeremiah Willcock; Andrew Lumsdaine; Jeremy G. Siek (PLDI, 2006)

Gradual Typing for Objects. - Jeremy G. Siek; Walid Taha (ECOOP, 2007)

Concoqtion: indexed types now! - Seth Fogarty; Emir Pasalic; Jeremy G. Siek; Walid Taha (PEPM, 2007)

An extended comparative study of language support for generic programming. - Ronald Garcia; Jaakko Järvi; Andrew Lumsdaine; Jeremy G. Siek; Jeremiah Willcock (J. Funct. Program., 2007)

Improving the lazy Krivine machine. - Daniel P. Friedman; Abdulaziz Ghuloum; Jeremy G. Siek; Onnie Lynn Winebarger (High. Order Symb. Comput., 2007)

Gradual typing with unification-based inference. - Jeremy G. Siek; Manish Vachharajani (DLS, 2008)

Build to order linear algebra kernels. - Jeremy G. Siek; Ian Karlin; Elizabeth R. Jessup (IPDPS, 2008)

An efficient lock-aware transactional memory implementation. - Justin Emile Gottschlich; Jeremy G. Siek; Manish Vachharajani; Dwight Y. Winkler; Daniel A. Connors (ICOOOLPS@ECOOP, 2009)

Threesomes, with and without blame. - Jeremy G. Siek; Philip Wadler (STOP@ECOOP, 2009)

Exploring the Design Space of Higher-Order Casts. - Jeremy G. Siek; Ronald Garcia; Walid Taha (ESOP, 2009)

Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes. - Boyana Norris; Albert Hartono; Elizabeth R. Jessup; Jeremy G. Siek (ICCS (1), 2009)

In Pursuit of Real Answers. - Angela Yun Zhu; Walid Taha; Robert Cartwright; Matthieu Martel; Jeremy G. Siek (ICESS, 2009)

Automating the generation of composed linear algebra kernels. - Geoffrey Belter; Elizabeth R. Jessup; Ian Karlin; Jeremy G. Siek (SC, 2009)

An efficient software transactional memory using commit-time invalidation. - Justin Emile Gottschlich; Manish Vachharajani; Jeremy G. Siek (CGO, 2010)

Incremental type-checking for type-reflective metaprograms. - Weiyu Miao; Jeremy G. Siek (GPCE, 2010)

2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. - Jonathan Aldrich; Jeremy G. Siek (SPLASH/OOPSLA Companion, 2010)

General purpose languages should be metalanguages. - Jeremy G. Siek (PEPM, 2010)

The C++0x "Concepts" Effort. - Jeremy G. Siek (SSGIP, 2010)

Understanding memory effects in the automated generation of optimized matrix algebra kernels. - Elizabeth R. Jessup; Ian Karlin; Erik Silkensen; Geoffrey Belter; Jeremy G. Siek (ICCS, 2010)

2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. - Jonathan Aldrich; Jeremy G. Siek; Elena Zucca (OOPSLA Companion, 2011)

Blame for all. - Amal Ahmed 001; Robert Bruce Findler; Jeremy G. Siek; Philip Wadler (POPL, 2011)

Special issue on library-centric software design (LCSD 2006). - Jeremy G. Siek (Sci. Comput. Program., 2011)

A language for generic programming in the large. - Jeremy G. Siek; Andrew Lumsdaine (Sci. Comput. Program., 2011)

Parallel memory prediction for fused linear algebra kernels. - Ian Karlin; Elizabeth R. Jessup; Geoffrey Belter; Jeremy G. Siek (SIGMETRICS Perform. Evaluation Rev., 2011)

Visualizing transactional memory. - Justin Emile Gottschlich; Maurice Herlihy; Gilles Pokam; Jeremy G. Siek (PACT, 2012)

Interpretations of the gradually-typed lambda calculus. - Jeremy G. Siek; Ronald Garcia (Scheme@ICFP, 2012)

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. - Devin Coughlin; Bor-Yuh Evan Chang; Amer Diwan; Jeremy G. Siek (ISSTA, 2012)

19th international workshop on foundations of object-oriented languages (FOOL'12). - Jeremy G. Siek; Jonathan Aldrich; John Tang Boyland (SPLASH, 2012)

Pattern-based traits. - Weiyu Miao; Jeremy G. Siek (SAC, 2012)

Well-Typed Islands Parse Faster. - Erik Silkensen; Jeremy G. Siek (Trends in Functional Programming, 2012)

Effects for Funargs - Jeremy G. Siek; Michael M. Vitousek; Jonathan D. Turner (CoRR, 2012)

Modular Type-Safety Proofs using Dependant Types - Christopher Schwaab; Jeremy G. Siek (CoRR, 2012)

Modular type-safety proofs in Agda. - Christopher Schwaab; Jeremy G. Siek (PLPV, 2013)

Monotonic References for Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek (CoRR, 2013)

Design and evaluation of gradual typing for python. - Michael M. Vitousek; Andrew M. Kent; Jeremy G. Siek; Jim Baker (DLS, 2014)

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. - Eric Holk; Ryan Newton; Jeremy G. Siek; Andrew Lumsdaine (OOPSLA, 2014)

Compile-time reflection and metaprogramming for Java. - Weiyu Miao; Jeremy G. Siek (PEPM, 2014)

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7). - Oleg Kiselyov; Jeremy G. Siek; Yukiyoshi Kameyama (NII Shonan Meet. Rep., 2014)

Monotonic References for Efficient Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; Sam Tobin-Hochstadt; Ronald Garcia (ESOP, 2015)

Pycket: a tracing JIT for a functional language. - Spenser Bauman; Carl Friedrich Bolz; Robert Hirschfeld; Vasily Kirilichev; Tobias Pape; Jeremy G. Siek; Sam Tobin-Hochstadt (ICFP, 2015)

Refined Criteria for Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; John Tang Boyland (SNAPL, 2015)

Reliable Generation of High-Performance Matrix Algebra. - Thomas Nelson; Geoffrey Belter; Jeremy G. Siek; Elizabeth R. Jessup; Boyana Norris (ACM Trans. Math. Softw., 2015)

The Recursive Union of Some Gradual Types. - Jeremy G. Siek; Sam Tobin-Hochstadt (A List of Successes That Can Change the World, 2016)

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. - Matteo Cimini; Jeremy G. Siek (PMLDC@ECOOP, 2016)

The gradualizer: a methodology and algorithm for generating gradual type systems. - Matteo Cimini; Jeremy G. Siek (POPL, 2016)

Well-Typed Languages are Sound. - Matteo Cimini; Dale Miller 001; Jeremy G. Siek (CoRR, 2016)

Gradual Typing in an Open World. - Michael M. Vitousek; Jeremy G. Siek (CoRR, 2016)

Challenges and progress toward efficient gradual typing (invited talk). - Jeremy G. Siek (DLS, 2017)

Automatically generating the dynamic semantics of gradually typed languages. - Matteo Cimini; Jeremy G. Siek (POPL, 2017)

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. - Michael M. Vitousek; Cameron Swords; Jeremy G. Siek (POPL, 2017)

Declarative Semantics for Functional Languages. - Jeremy G. Siek (Arch. Formal Proofs, 2017)

Declarative semantics for functional languages: compositional, extensional, and elementary. - Jeremy G. Siek (CoRR, 2017)

Theorems for free for free: parametricity, with and without types. - Amal Ahmed 001; Dustin Jamner; Jeremy G. Siek; Philip Wadler (Proc. ACM Program. Lang., 2017)

Sound gradual typing: only mostly dead. - Spenser Bauman; Carl Friedrich Bolz-Tereick; Jeremy G. Siek; Sam Tobin-Hochstadt (Proc. ACM Program. Lang., 2017)

Gradually typed symbolic expressions. - David Broman; Jeremy G. Siek (PEPM, 2018)

Efficient Gradual Typing. - Andre Kuhlenschmidt; Deyaaeldeen Almahallawi; Jeremy G. Siek (CoRR, 2018)

Optimizing and evaluating transient gradual typing. - Michael M. Vitousek; Jeremy G. Siek; Avik Chaudhuri (DLS, 2019)

A space-efficient call-by-value virtual machine for gradual set-theoretic types. - Giuseppe Castagna; Guillaume Duboc; Victor Lanvin; Jeremy G. Siek (IFL, 2019)

Toward efficient gradual typing for structural types via coercions. - Andre Kuhlenschmidt; Deyaaeldeen Almahallawi; Jeremy G. Siek (PLDI, 2019)

Transitivity of Subtyping for Intersection Types. - Jeremy G. Siek (CoRR, 2019)

Gradual typing: a new perspective. - Giuseppe Castagna; Victor Lanvin; Tommaso Petrucciani; Jeremy G. Siek (Proc. ACM Program. Lang., 2019)

Extrinsically typed operational semantics for functional languages. - Matteo Cimini; Dale Miller 001; Jeremy G. Siek (SLE, 2020)

Toward a Mechanized Compendium of Gradual Typing. - Jeremy G. Siek (CoRR, 2020)

Programming language foundations in Agda. - Wen Kokke; Jeremy G. Siek; Philip Wadler (Sci. Comput. Program., 2020)

Mechanized Type Safety for Gradual Information Flow. - Tianyu Chen; Jeremy G. Siek (SP (Workshops), 2021)

Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. - Jeremy G. Siek; Tianyu Chen (J. Funct. Program., 2021)

Blame and coercion: Together again for the first time. - Jeremy G. Siek; Peter Thiemann 001; Philip Wadler (J. Funct. Program., 2021)

Mechanized Noninterference for Gradual Security. - Tianyu Chen; Jeremy G. Siek (CoRR, 2022)

The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk). - Jeremy G. Siek (CALCO, 2023)

Gradual Guarantee via Step-Indexed Logical Relations in Agda. - Jeremy G. Siek (A Second Soul, 2024)

Quest Complete: The Holy Grail of Gradual Security. - Tianyu Chen; Jeremy G. Siek (Proc. ACM Program. Lang., 2024)

Gradual Metaprogramming. - Tianyu Chen; Darshal Shetty; Jeremy G. Siek; Chao-Hong Chen; Weixi Ma; Arnaud Venet; Rocky Liu (CoRR, 2025)