Tim Sheard

Publication Activity (10 Years)

Years Active: 1983-2017
Publications (10 Years): 2

Top Topics

Programming Environments

Theoretical Foundation

Query Processing

Domain Specific

Top Venues

ASE @ USENIX Security Symposium

Publications

Wu-chang Feng, Robert Liebman, Lois M. L. Delcambre, Michael Lupro, Tim Sheard, Scott Britell, Gerald Recktenwald
CyberPDX: A Camp for Broadening Participation in Cybersecurity. ASE @ USENIX Security Symposium (2017)
Larry Diehl, Tim Sheard
Generic lookup and update for infinitary inductive-recursive types. TyDe@ICFP (2016)
Haicheng Wu, Gregory F. Diamos, Tim Sheard, Molham Aref, Sean Baxter, Michael Garland, Sudhakar Yalamanchili
Red Fox: An Execution Environment for Relational Query Processing on GPUs. CGO (2014)
Larry Diehl, Tim Sheard
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. WGP@ICFP (2014)
Larry Diehl, Tim Sheard
Leveling up dependent types: generic programming over a predicative hierarchy of universes. DTP@ICFP (2013)
Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts
. TLCA (2013)
Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV (2012)
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems MSFP (2012)
Stephanie Weirich, Brent A. Yorgey, Tim Sheard
Binders unbound. ICFP (2011)
Ki Yung Ahn, Tim Sheard
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. ICFP (2011)
Chuan-Kai Lin, Tim Sheard
Pointwise generalized algebraic data types. TLDI (2010)
Tim Sheard, Aaron Stump, Stephanie Weirich
Language-based verification will change the world. FoSER (2010)
Tim Sheard, Emir Pasalic
Meta-programming With Built-in Type Equality. Electron. Notes Theor. Comput. Sci. 199 (2008)
Nathan Mishra-Linger, Tim Sheard
Erasure and Polymorphism in Pure Type Systems. FoSSaCS (2008)
Ki Yung Ahn, Tim Sheard
Shared subtypes: subtyping recursive parametrized algebraic data types. Haskell (2008)
Tim Sheard
Type-level Computation Using Narrowing in Omegamega. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Tim Sheard, Nathan Linger
Programming in Omega. CEFP (2007)
Peter A. Tucker, David Maier, Tim Sheard, Paul Stephens
Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams. IEEE Trans. Knowl. Data Eng. 19 (9) (2007)
Tim Sheard
Generic Programming in Ωmega. SSDGP (2006)
Tim Sheard
Putting curry-howard to work. Haskell (2005)
Tim Sheard
Languages of the future. OOPSLA Companion (2004)
Tim Sheard
Languages of the future. ACM SIGPLAN Notices 39 (12) (2004)
Nathan Linger, Tim Sheard
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. TACAS (2004)
Tim Sheard, Emir Pasalic
Two-level types and parameterized modules. J. Funct. Program. 14 (5) (2004)
Peter A. Tucker, David Maier, Tim Sheard, Leonidas Fegaras
Exploiting Punctuation Semantics in Continuous Data Streams. IEEE Trans. Knowl. Data Eng. 15 (3) (2003)
Peter A. Tucker, David Maier, Tim Sheard
Applying Punctuation Schemes to Queries Over Continuous Data Streams. IEEE Data Eng. Bull. 26 (1) (2003)
Cristiano Calcagno, Eugenio Moggi, Tim Sheard
Closed types for a safe imperative MetaML. J. Funct. Program. 13 (3) (2003)
Tim Sheard, Simon Peyton Jones
Template meta-programming for Haskell. Haskell (2002)
Tim Sheard, Simon L. Peyton Jones
Template meta-programming for Haskell. ACM SIGPLAN Notices 37 (12) (2002)
Emir Pasalic, Walid Taha, Tim Sheard
Tagless staged interpreters for typed languages. ICFP (2002)
William L. Harrison, Tim Sheard, James Hook
Fine Control of Demand in Haskell. MPC (2002)
Tim Sheard, Nathan Linger
Search-based binding time analysis using type-directed pruning. ASIA-PEPM (2002)
Tim Sheard
Accomplishments and Research Challenges in Meta-programming. SAIG (2001)
William L. Harrison, Tim Sheard
Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG (2001)
Tim Sheard
Generic Unification via Two-Level Types and Parameterized Modules. ICFP (2001)
Walid Taha, Tim Sheard
MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248 (1-2) (2000)
Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
DSL implementation using staging and monads. DSL (1999)
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
An Idealized MetaML: Simpler, and More Expressive. ESOP (1999)
Tim Sheard
Using MetaML: A Staged Programming Language. Advanced Functional Programming (1998)
Mark Shields, Tim Sheard, Simon L. Peyton Jones
Dynamic Typing as Staged Type Inference. POPL (1998)
Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
Multi-Stage Programming: Axiomatization and Type Safety. ICALP (1998)
Walid Taha, Tim Sheard
Multi-Stage Programming. ICFP (1997)
Tim Sheard
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. PEPM (1997)
Walid Taha, Tim Sheard
Multi-Stage Programming with Explicit Annotations. PEPM (1997)
Leonidas Fegaras, Tim Sheard
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). POPL (1996)
Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton
A Software Engineering Experiment in Software Component Generation. ICSE (1996)
John Launchbury, Tim Sheard
Warm Fusion: Deriving Build-Cata's from Recursive Definitions. FPCA (1995)
Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
Calculating Software Generators from Solution Specifications. TAPSOFT (1995)
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
Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada (1994)
Leonidas Fegaras, Tim Sheard, Tong Zhou
Improving Programs Which Recurse over Multiple Inductive Structures. PEPM (1994)
Tim Sheard, Leonidas Fegaras
A Fold for All Seasons. FPCA (1993)
Tim Sheard
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. AMAST (1993)
Leonidas Fegaras, David Maier, Tim Sheard
Specifying Rule-Based Query Optimizers in a Reflective Framework. DOOD (1993)
Tim Sheard, David W. Stemple
Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17 (3) (1992)
Leonidas Fegaras, Tim Sheard, David W. Stemple
Uniform Traversal Combinators: Definition, Use and Properties. CADE (1992)
Tim Sheard
Automatic Generation and Use of Abstract Structure Operators. ACM Trans. Program. Lang. Syst. 13 (4) (1991)
David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro
Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT (1990)
David W. Stemple, Tim Sheard
A Recursive Base for Database Programming Primitives. East/West Database Workshop (1990)
Tim Sheard, David W. Stemple
Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14 (3) (1989)
Leonidas Fegaras, Tim Sheard, David W. Stemple
The ADABTPL Type System. DBPL (1989)
Tim Sheard, David W. Stemple
The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL (1988)
David W. Stemple, Adolfo Socorro, Tim Sheard
Formalizing Objects for Databases using ADABTPL. OODBS (1988)
Subhasish Mazumdar, David W. Stemple, Tim Sheard
Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference (1988)
David W. Stemple, Subhasish Mazumdar, Tim Sheard
On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference (1987)
David W. Stemple, Tim Sheard
Construction and Calculus of Types for Database Systems. DBPL (1987)
David W. Stemple, Tim Sheard, Ralph E. Bunker
Incorporating theory into database system development. Inf. Process. Manag. 22 (4) (1986)
David W. Stemple, Tim Sheard, Ralph E. Bunker
Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE (1986)
Tim Sheard, David W. Stemple
Coping with Complexity in Automated Reasoning about Database Systems. VLDB (1985)
David W. Stemple, Tim Sheard
Database Theory for Supporting Specification-Based Database Systems Development. ICSE (1985)
David W. Stemple, Tim Sheard
Specification and Verification of Abstract Database Types. PODS (1984)
David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard
Operating System Support for Abstract Data(base) Types. ICOD (1983)