| 2016 | ICFP | Generic lookup and update for infinitary inductive-recursive types. | Larry Diehl, Tim Sheard |
| 2014 | CGO | Red Fox: An Execution Environment for Relational Query Processing on GPUs. | Haicheng Wu, Gregory F. Diamos, Tim Sheard, Molham Aref, Sean Baxter, Michael Garland, Sudhakar Yalamanchili |
| 2014 | ICFP | Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. | Larry Diehl, Tim Sheard |
| 2013 | ICFP | Leveling up dependent types: generic programming over a predicative hierarchy of universes. | Larry Diehl, Tim Sheard |
| 2011 | ICFP | A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. | Ki Yung Ahn, Tim Sheard |
| 2011 | ICFP | Binders unbound. | Stephanie Weirich, Brent A. Yorgey, Tim Sheard |
| 2008 | FOSSACS | Erasure and Polymorphism in Pure Type Systems. | Nathan Mishra-Linger, Tim Sheard |
| 2008 | HASKELL | Shared subtypes: subtyping recursive parametrized algebraic data types. | Ki Yung Ahn, Tim Sheard |
| 2005 | HASKELL | Putting curry-howard to work. | Tim Sheard |
| 2004 | OOPSLA | Languages of the future. | Tim Sheard |
| 2004 | TACAS | Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. | Nathan Linger, Tim Sheard |
| 2002 | HASKELL | Template meta-programming for Haskell. | Tim Sheard, Simon Peyton Jones |
| 2002 | ICFP | Tagless staged interpreters for typed languages. | Emir Pasalic, Walid Taha, Tim Sheard |
| 2002 | MPC | Fine Control of Demand in Haskell. | William L. Harrison, Tim Sheard, James Hook |
| 2002 | PEPM | Search-based binding time analysis using type-directed pruning. | Tim Sheard, Nathan Linger |
| 2001 | ICFP | Generic Unification via Two-Level Types and Parameterized Modules. | Tim Sheard |
| 1999 | ESOP | An Idealized MetaML: Simpler, and More Expressive. | Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1998 | ICALP | Multi-Stage Programming: Axiomatization and Type Safety. | Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1998 | POPL | Dynamic Typing as Staged Type Inference. | Mark Shields, Tim Sheard, Simon L. Peyton Jones |
| 1997 | ICFP | Multi-Stage Programming. | Walid Taha, Tim Sheard |
| 1997 | PEPM | A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. | Tim Sheard |
| 1997 | PEPM | Multi-Stage Programming with Explicit Annotations. | Walid Taha, Tim Sheard |
| 1996 | ICSE | A Software Engineering Experiment in Software Component Generation. | Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton |
| 1996 | POPL | Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). | Leonidas Fegaras, Tim Sheard |
| 1994 | PEPM | Improving Programs Which Recurse over Multiple Inductive Structures. | Leonidas Fegaras, Tim Sheard, Tong Zhou |
| 1992 | CADE | Uniform Traversal Combinators: Definition, Use and Properties. | Leonidas Fegaras, Tim Sheard, David W. Stemple |
| 1990 | EDBT | Exceeding the Limits of Polymorphism in Database Programming Languages. | David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro |
| 1988 | SIGMOD | Resolving the Tension between Integrity and Security Using a Theorem Prover. | Subhasish Mazumdar, David W. Stemple, Tim Sheard |
| 1987 | SIGMOD | On the Modes and Meaning of Feedback to Transaction Designers. | David W. Stemple, Subhasish Mazumdar, Tim Sheard |
| 1986 | ICDE | Abstract Data Types in Databases: Specification, Manipulation and Access. | David W. Stemple, Tim Sheard, Ralph E. Bunker |
| 1985 | ICSE | Database Theory for Supporting Specification-Based Database Systems Development. | David W. Stemple, Tim Sheard |
| 1985 | VLDB | Coping with Complexity in Automated Reasoning about Database Systems. | Tim Sheard, David W. Stemple |
| 1984 | PODS | Specification and Verification of Abstract Database Types. | David W. Stemple, Tim Sheard |