Operating System Support for Abstract Data(base) Types. - David W. Stemple; Krithi Ramamritham; Stephen Vinter; Tim Sheard (ICOD, 1983)

Specification and Verification of Abstract Database Types. - David W. Stemple; Tim Sheard (PODS, 1984)

Database Theory for Supporting Specification-Based Database Systems Development. - David W. Stemple; Tim Sheard (ICSE, 1985)

Coping with Complexity in Automated Reasoning about Database Systems. - Tim Sheard; David W. Stemple (VLDB, 1985)

Abstract Data Types in Databases: Specification, Manipulation and Access. - David W. Stemple; Tim Sheard; Ralph E. Bunker (ICDE, 1986)

Incorporating theory into database system development. - David W. Stemple; Tim Sheard; Ralph E. Bunker (Inf. Process. Manag., 1986)

Construction and Calculus of Types for Database Systems. - David W. Stemple; Tim Sheard (DBPL, 1987)

On the Modes and Meaning of Feedback to Transaction Designers. - David W. Stemple; Subhasish Mazumdar; Tim Sheard (SIGMOD Conference, 1987)

The precise control of inheritance and the inheritance of theory in the ADABTPL language. - Tim Sheard; David W. Stemple (ICCL, 1988)

Formalizing Objects for Databases using ADABTPL. - David W. Stemple; Adolfo Socorro; Tim Sheard (OODBS, 1988)

Resolving the Tension between Integrity and Security Using a Theorem Prover. - Subhasish Mazumdar; David W. Stemple; Tim Sheard (SIGMOD Conference, 1988)

The ADABTPL Type System. - Leonidas Fegaras; Tim Sheard; David W. Stemple (DBPL, 1989)

Automatic Verification of Database Transaction Safety. - Tim Sheard; David W. Stemple (ACM Trans. Database Syst., 1989)

Exceeding the Limits of Polymorphism in Database Programming Languages. - David W. Stemple; Leonidas Fegaras; Tim Sheard; Adolfo Socorro (EDBT, 1990)

A Recursive Base for Database Programming Primitives. - David W. Stemple; Tim Sheard (East/West Database Workshop, 1990)

Automatic Generation and Use of Abstract Structure Operators. - Tim Sheard (ACM Trans. Program. Lang. Syst., 1991)

Uniform Traversal Combinators: Definition, Use and Properties. - Leonidas Fegaras; Tim Sheard; David W. Stemple (CADE, 1992)

Inheritance of Theory in the Adabtpl Language. - Tim Sheard; David W. Stemple (Comput. Lang., 1992)

Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. - Tim Sheard (AMAST, 1993)

Specifying Rule-Based Query Optimizers in a Reflective Framework. - Leonidas Fegaras; David Maier 001; Tim Sheard (DOOD, 1993)

A Fold for All Seasons. - Tim Sheard; Leonidas Fegaras (FPCA, 1993)

Improving Programs Which Recurse over Multiple Inductive Structures. - Leonidas Fegaras; Tim Sheard; Tong Zhou (PEPM, 1994)

Software design for reliability and reuse: a proof-of-concept demonstration. - Jeffrey M. Bell; Françoise Bellegarde; James Hook; Richard B. Kieburtz; Alex Kotov; Jeffrey Lewis; Laura McKinney; Dino Oliva; Tim Sheard; L. Tong; Lisa Walton; Tong Zhou (TRI-Ada, 1994)

Warm Fusion: Deriving Build-Cata's from Recursive Definitions. - John Launchbury; Tim Sheard (FPCA, 1995)

Calculating Software Generators from Solution Specifications. - Richard B. Kieburtz; Françoise Bellegarde; Jeffrey M. Bell; James Hook; Jeffrey Lewis; Dino Oliva; Tim Sheard; Lisa Walton; Tong Zhou (TAPSOFT, 1995)

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 (ICSE, 1996)

Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). - Leonidas Fegaras; Tim Sheard (POPL, 1996)

Multi-Stage Programming. - Walid Taha; Tim Sheard (ICFP, 1997)

A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. - Tim Sheard (PEPM, 1997)

Multi-Stage Programming with Explicit Annotations. - Walid Taha; Tim Sheard (PEPM, 1997)

Using MetaML: A Staged Programming Language. - Tim Sheard (Advanced Functional Programming, 1998)

Multi-Stage Programming: Axiomatization and Type Safety. - Walid Taha; Zine-El-Abidine Benaissa; Tim Sheard (ICALP, 1998)

Dynamic Typing as Staged Type Inference. - Mark Shields; Tim Sheard; Simon L. Peyton Jones (POPL, 1998)

DSL implementation using staging and monads. - Tim Sheard; Zine-El-Abidine Benaissa; Emir Pasalic (DSL, 1999)

An Idealized MetaML: Simpler, and More Expressive. - Eugenio Moggi; Walid Taha; Zine-El-Abidine Benaissa; Tim Sheard (ESOP, 1999)

MetaML and multi-stage programming with explicit annotations. - Walid Taha; Tim Sheard (Theor. Comput. Sci., 2000)

Generic Unification via Two-Level Types and Parameterized Modules. - Tim Sheard (ICFP, 2001)

Dynamically Adaptable Software with Metacomputations in a Staged Language. - William L. Harrison; Tim Sheard (SAIG, 2001)

Accomplishments and Research Challenges in Meta-programming. - Tim Sheard (SAIG, 2001)

Tagless staged interpreters for typed languages. - Emir Pasalic; Walid Taha; Tim Sheard (ICFP, 2002)

Fine Control of Demand in Haskell. - William L. Harrison; Tim Sheard; James Hook (MPC, 2002)

Search-based binding time analysis using type-directed pruning. - Tim Sheard; Nathan Linger (ASIA-PEPM, 2002)

Template meta-programming for Haskell. - Tim Sheard; Simon L. Peyton Jones (ACM SIGPLAN Notices, 2002)

Applying Punctuation Schemes to Queries Over Continuous Data Streams. - Peter A. Tucker; David Maier 001; Tim Sheard (IEEE Data Eng. Bull., 2003)

Closed types for a safe imperative MetaML. - Cristiano Calcagno; Eugenio Moggi; Tim Sheard (J. Funct. Program., 2003)

Exploiting Punctuation Semantics in Continuous Data Streams. - Peter A. Tucker; David Maier 001; Tim Sheard; Leonidas Fegaras (IEEE Trans. Knowl. Data Eng., 2003)

Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. - Nathan Linger; Tim Sheard (TACAS, 2004)

Meta-programming With Built-in Type Equality. - Tim Sheard; Emir Pasalic (LFM@IJCAR, 2004)

Two-level types and parameterized modules. - Tim Sheard; Emir Pasalic (J. Funct. Program., 2004)

Languages of the future. - Tim Sheard (ACM SIGPLAN Notices, 2004)

Putting curry-howard to work. - Tim Sheard (Haskell, 2005)

Generic Programming in Ωmega. - Tim Sheard (SSDGP, 2006)

Type-level Computation Using Narrowing in Omegamega. - Tim Sheard (PLPV@IJCAR, 2006)

Programming in Omega. - Tim Sheard; Nathan Linger (CEFP, 2007)

Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams. - Peter A. Tucker; David Maier 001; Tim Sheard; Paul Stephens (IEEE Trans. Knowl. Data Eng., 2007)

Erasure and Polymorphism in Pure Type Systems. - Nathan Mishra-Linger; Tim Sheard (FoSSaCS, 2008)

Shared subtypes: subtyping recursive parametrized algebraic data types. - Ki Yung Ahn; Tim Sheard (Haskell, 2008)

Language-based verification will change the world. - Tim Sheard; Aaron Stump; Stephanie Weirich (FoSER, 2010)

Pointwise generalized algebraic data types. - Chuan-Kai Lin; Tim Sheard (TLDI, 2010)

A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. - Ki Yung Ahn; Tim Sheard (ICFP, 2011)

Binders unbound. - Stephanie Weirich; Brent A. Yorgey; Tim Sheard (ICFP, 2011)

Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages. - Timothy E. Sheard (ICFP, 2012)

Equational reasoning about programs with general recursion and call-by-value semantics. - Garrin Kimmell; Aaron Stump; Harley D. Eades III; Peng Fu 001; Tim Sheard; Stephanie Weirich; Chris Casinghino; Vilhelm Sjöberg; Nathan Collins; Ki Yung Ahn (PLPV, 2012)

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems - Vilhelm Sjöberg; Chris Casinghino; Ki Yung Ahn; Nathan Collins; Harley D. Eades III; Peng Fu 001; Garrin Kimmell; Tim Sheard; Aaron Stump; Stephanie Weirich (MSFP, 2012)

Leveling up dependent types: generic programming over a predicative hierarchy of universes. - Larry Diehl; Tim Sheard (DTP@ICFP, 2013)

System F i . - Ki Yung Ahn; Tim Sheard; Marcelo P. Fiore; Andrew M. Pitts (TLCA, 2013)

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 (CGO, 2014)

Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. - Larry Diehl; Tim Sheard (WGP@ICFP, 2014)

Generic lookup and update for infinitary inductive-recursive types. - Larry Diehl; Tim Sheard (TyDe@ICFP, 2016)

CyberPDX: A Camp for Broadening Participation in Cybersecurity. - Wu-chang Feng; Robert Liebman; Lois M. L. Delcambre; Michael Lupro; Tim Sheard; Scott Britell; Gerald Recktenwald (ASE @ USENIX Security Symposium, 2017)