| 2023 | CALCO | The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk). | Jeremy G. Siek |
| 2021 | SP | Mechanized Type Safety for Gradual Information Flow. | Tianyu Chen, Jeremy G. Siek |
| 2020 | SLE | Extrinsically typed operational semantics for functional languages. | Matteo Cimini, Dale Miller, Jeremy G. Siek |
| 2019 | DLS | Optimizing and evaluating transient gradual typing. | Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri |
| 2019 | PLDI | Toward efficient gradual typing for structural types via coercions. | Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek |
| 2018 | PEPM | Gradually typed symbolic expressions. | David Broman, Jeremy G. Siek |
| 2017 | DLS | Challenges and progress toward efficient gradual typing (invited talk). | Jeremy G. Siek |
| 2017 | POPL | Automatically generating the dynamic semantics of gradually typed languages. | Matteo Cimini, Jeremy G. Siek |
| 2017 | POPL | Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. | Michael M. Vitousek, Cameron Swords, Jeremy G. Siek |
| 2016 | ECOOP | Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. | Matteo Cimini, Jeremy G. Siek |
| 2016 | POPL | The gradualizer: a methodology and algorithm for generating gradual type systems. | Matteo Cimini, Jeremy G. Siek |
| 2015 | ESOP | Monotonic References for Efficient Gradual Typing. | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
| 2015 | ICFP | 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 |
| 2015 | PLDI | Blame and coercion: together again for the first time. | Jeremy G. Siek, Peter Thiemann, Philip Wadler |
| 2014 | DLS | Design and evaluation of gradual typing for python. | Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker |
| 2014 | OOPSLA | 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 |
| 2014 | PEPM | Compile-time reflection and metaprogramming for Java. | Weiyu Miao, Jeremy G. Siek |
| 2012 | ICFP | Interpretations of the gradually-typed lambda calculus. | Jeremy G. Siek, Ronald Garcia |
| 2012 | ISSTA | Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. | Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek |
| 2012 | OOPSLA | 19th international workshop on foundations of object-oriented languages (FOOL'12). | Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland |
| 2012 | SAC | Pattern-based traits. | Weiyu Miao, Jeremy G. Siek |
| 2011 | OOPSLA | 2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. | Jonathan Aldrich, Jeremy G. Siek, Elena Zucca |
| 2011 | POPL | Blame for all. | Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler |
| 2010 | CGO | An efficient software transactional memory using commit-time invalidation. | Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek |
| 2010 | GPCE | Incremental type-checking for type-reflective metaprograms. | Weiyu Miao, Jeremy G. Siek |
| 2010 | OOPSLA | 2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. | Jonathan Aldrich, Jeremy G. Siek |
| 2010 | PEPM | General purpose languages should be metalanguages. | Jeremy G. Siek |
| 2010 | POPL | Threesomes, with and without blame. | Jeremy G. Siek, Philip Wadler |
| 2009 | ECOOP | An efficient lock-aware transactional memory implementation. | Justin Emile Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, Daniel A. Connors |
| 2009 | ECOOP | Threesomes, with and without blame. | Jeremy G. Siek, Philip Wadler |
| 2009 | ESOP | Exploring the Design Space of Higher-Order Casts. | Jeremy G. Siek, Ronald Garcia, Walid Taha |
| 2009 | ICCS | Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes. | Boyana Norris, Albert Hartono, Elizabeth R. Jessup, Jeremy G. Siek |
| 2009 | SC | Automating the generation of composed linear algebra kernels. | Geoffrey Belter, Elizabeth R. Jessup, Ian Karlin, Jeremy G. Siek |
| 2008 | DLS | Gradual typing with unification-based inference. | Jeremy G. Siek, Manish Vachharajani |
| 2007 | ECOOP | Gradual Typing for Objects. | Jeremy G. Siek, Walid Taha |
| 2007 | PEPM | Concoqtion: indexed types now! | Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha |
| 2006 | ECOOP | A Semantic Analysis of C++ Templates. | Jeremy G. Siek, Walid Taha |
| 2006 | OOPSLA | LCSD: library-centric software design. | Josh Bloch, Jaakko Jrvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek |
| 2006 | OOPSLA | Concepts: linguistic support for generic programming in C++. | Douglas P. Gregor, Jaakko Jrvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine |
| 2006 | PLDI | Algorithm specialization in generic programming: challenges of constrained generics in C++. | Jaakko Jrvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek |
| 2005 | GPCE | Language Requirements for Large-Scale Generic Libraries. | Jeremy G. Siek, Andrew Lumsdaine |
| 2005 | PLDI | Essential language support for generic programming. | Jeremy G. Siek, Andrew Lumsdaine |
| 2004 | OOPSLA | Modular generics. | Jeremy G. Siek |
| 2003 | OOPSLA | A comparative study of language support for generic programming. | Ronald Garcia, Jaakko Jrvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock |
| 1999 | OOPSLA | The Generic Graph Component Library. | Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine |