Tim Sheard

According to our database, Tim Sheard authored at least 70 papers between 1983 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

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

Proceedings of the 2017 USENIX Workshop on Advances in Security Education, 2017

2016

Generic lookup and update for infinitary inductive-recursive types.

Larry Diehl, Tim Sheard

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

2014

Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL.

Larry Diehl, Tim Sheard

Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

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

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013

System F _<i>i</i>.

Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Leveling up dependent types: generic programming over a predicative hierarchy of universes.

Larry Diehl, Tim Sheard

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013

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, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Equational reasoning about programs with general recursion and call-by-value semantics.

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages.

Timothy E. Sheard

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Binders unbound.

Stephanie Weirich, Brent A. Yorgey, Tim Sheard

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences.

Ki Yung Ahn, Tim Sheard

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Pointwise generalized algebraic data types.

Chuan-Kai Lin, Tim Sheard

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Language-based verification will change the world.

Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2008

Shared subtypes: subtyping recursive parametrized algebraic data types.

Ki Yung Ahn, Tim Sheard

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Erasure and Polymorphism in Pure Type Systems.

Nathan Mishra-Linger, Tim Sheard

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams.

Peter A. Tucker, David Maier, Tim Sheard, Paul Stephens

IEEE Trans. Knowl. Data Eng., 2007

Programming in Omega.

Tim Sheard, Nathan Linger

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006

Type-level Computation Using Narrowing in Omegamega.

Tim Sheard

Proceedings of the Programming Languages meets Program Verification, 2006

Generic Programming in Ωmega.

Tim Sheard

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

2005

Putting curry-howard to work.

Tim Sheard

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Languages of the future.

Tim Sheard

ACM SIGPLAN Notices, 2004

Two-level types and parameterized modules.

Tim Sheard, Emir Pasalic

J. Funct. Program., 2004

Meta-programming With Built-in Type Equality.

Tim Sheard, Emir Pasalic

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.

Nathan Linger, Tim Sheard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

Exploiting Punctuation Semantics in Continuous Data Streams.

Peter A. Tucker, David Maier, Tim Sheard, Leonidas Fegaras

IEEE Trans. Knowl. Data Eng., 2003

Closed types for a safe imperative MetaML.

Cristiano Calcagno, Eugenio Moggi, Tim Sheard

J. Funct. Program., 2003

Applying Punctuation Schemes to Queries Over Continuous Data Streams.

Peter A. Tucker, David Maier, Tim Sheard

IEEE Data Eng. Bull., 2003

2002

Template meta-programming for Haskell.

Tim Sheard, Simon L. Peyton Jones

ACM SIGPLAN Notices, 2002

Search-based binding time analysis using type-directed pruning.

Tim Sheard, Nathan Linger

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Fine Control of Demand in Haskell.

William L. Harrison, Tim Sheard, James Hook

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Tagless staged interpreters for typed languages.

Emir Pasalic, Walid Taha, Tim Sheard

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

Accomplishments and Research Challenges in Meta-programming.

Tim Sheard

Proceedings of the Semantics, 2001

Dynamically Adaptable Software with Metacomputations in a Staged Language.

William L. Harrison, Tim Sheard

Proceedings of the Semantics, 2001

Generic Unification via Two-Level Types and Parameterized Modules.

Tim Sheard

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

MetaML and multi-stage programming with explicit annotations.

Walid Taha, Tim Sheard

Theor. Comput. Sci., 2000

1999

An Idealized MetaML: Simpler, and More Expressive.

Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Proceedings of the Programming Languages and Systems, 1999

DSL implementation using staging and monads.

Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998

Dynamic Typing as Staged Type Inference.

Mark Shields, Tim Sheard, Simon L. Peyton Jones

Proceedings of the POPL '98, 1998

Multi-Stage Programming: Axiomatization and Type Safety.

Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Using MetaML: A Staged Programming Language.

Tim Sheard

Proceedings of the Advanced Functional Programming, 1998

1997

Multi-Stage Programming with Explicit Annotations.

Walid Taha, Tim Sheard

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

A Type-directed, On-line, Partial Evaluator for a Polymorphic Language.

Tim Sheard

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Multi-Stage Programming.

Walid Taha, Tim Sheard

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space).

Leonidas Fegaras, Tim Sheard

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

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

Proceedings of the 18th International Conference on Software Engineering, 1996

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

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Warm Fusion: Deriving Build-Cata's from Recursive Definitions.

John Launchbury, Tim Sheard

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

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

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

Improving Programs Which Recurse over Multiple Inductive Structures.

Leonidas Fegaras, Tim Sheard, Tong Zhou

Proceedings of the PEPM'94, 1994

1993

A Fold for All Seasons.

Tim Sheard, Leonidas Fegaras

Proceedings of the conference on Functional programming languages and computer architecture, 1993

Specifying Rule-Based Query Optimizers in a Reflective Framework.

Leonidas Fegaras, David Maier, Tim Sheard

Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection.

Tim Sheard

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Inheritance of Theory in the Adabtpl Language.

Tim Sheard, David W. Stemple

Comput. Lang., 1992

Uniform Traversal Combinators: Definition, Use and Properties.

Leonidas Fegaras, Tim Sheard, David W. Stemple

Proceedings of the Automated Deduction, 1992

1991

Automatic Generation and Use of Abstract Structure Operators.

Tim Sheard

ACM Trans. Program. Lang. Syst., 1991

1990

A Recursive Base for Database Programming Primitives.

David W. Stemple, Tim Sheard

Proceedings of the Next Generation Information System Technology, 1990

Exceeding the Limits of Polymorphism in Database Programming Languages.

David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro

Proceedings of the Advances in Database Technology, 1990

1989

Automatic Verification of Database Transaction Safety.

Tim Sheard, David W. Stemple

ACM Trans. Database Syst., 1989

The ADABTPL Type System.

Leonidas Fegaras, Tim Sheard, David W. Stemple

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988

Resolving the Tension between Integrity and Security Using a Theorem Prover.

Subhasish Mazumdar, David W. Stemple, Tim Sheard

Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Formalizing Objects for Databases using ADABTPL.

David W. Stemple, Adolfo Socorro, Tim Sheard

Proceedings of the Advances in Object-Oriented Database Systems, 1988

The precise control of inheritance and the inheritance of theory in the ADABTPL language.

Tim Sheard, David W. Stemple

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987

On the Modes and Meaning of Feedback to Transaction Designers.

David W. Stemple, Subhasish Mazumdar, Tim Sheard

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Construction and Calculus of Types for Database Systems.

David W. Stemple, Tim Sheard

Proceedings of the Advances in Database Programming Languages, 1987

1986

Incorporating theory into database system development.

David W. Stemple, Tim Sheard, Ralph E. Bunker

Inf. Process. Manag., 1986

Abstract Data Types in Databases: Specification, Manipulation and Access.

David W. Stemple, Tim Sheard, Ralph E. Bunker

Proceedings of the Second International Conference on Data Engineering, 1986

1985

Coping with Complexity in Automated Reasoning about Database Systems.

Tim Sheard, David W. Stemple

Proceedings of the VLDB'85, 1985

Database Theory for Supporting Specification-Based Database Systems Development.

David W. Stemple, Tim Sheard

Proceedings of the Proceedings, 1985

1984

Specification and Verification of Abstract Database Types.

David W. Stemple, Tim Sheard

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

1983

Operating System Support for Abstract Data(base) Types.

David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard

Proceedings of the Second International Conference On Databases, 1983