World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
32
Citations
5646
World Ranking
13011
National Ranking
5245

Overview

Tim Sheard is affiliated with Portland State University in the United States. Their academic profile reflects involvement with this institution, contributing to its research and academic community.

There are no listed recent papers, co-authors, or publication venues associated with Tim Sheard in the available data. Similarly, no specific fields of study, subfields, or main research topics have been identified in the information provided.

The data does not indicate any book publications or awards received by Tim Sheard. No information suggests that they are deceased, so current and ongoing contributions to their field are implied.

As a researcher connected to Portland State University, Tim Sheard's work is positioned within the broader academic environment of a United States university, which may focus on a range of disciplines depending on their department and area of expertise.

Best Publications

  • Template meta-programming for Haskell

    Tim Sheard;Simon Peyton Jones

  • Multi-stage programming with explicit annotations

    Walid Taha;Tim Sheard

  • Exploiting punctuation semantics in continuous data streams

    P.A. Tucker;D. Maier;T. Sheard;L. Fegaras

  • MetaML and Multi-Stage Programming with Explicit Annotations

    Walid Taha;Tim Sheard

  • A software engineering experiment in software component generation

    Richard B. Kieburtz;Laura McKinney;Jeffrey M. Bell;James Hook

  • Multi-Stage Programming: Its Theory and Applications

    Walid Mohamed Taha;Tim Sheard

  • Accomplishments and research challenges in meta-programming

    Tim Sheard

  • A fold for all seasons

    Tim Sheard;Leonidas Fegaras

  • Automatic verification of database transaction safety

    Tim Sheard;David Stemple

  • Warm fusion: deriving build-catas from recursive definitions

    John Launchbury;Tim Sheard

  • Languages of the future

    Tim Sheard

  • Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)

    Leonidas Fegaras;Tim Sheard

  • An Idealized MetaML: Simpler, and More Expressive

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

  • Tagless staged interpreters for typed languages

    Emir PašaliΕ;Walid Taha;Tim Sheard

  • Red Fox: An Execution Environment for Relational Query Processing on GPUs

    Haicheng Wu;Gregory Diamos;Tim Sheard;Molham Aref

  • Multi-Stage Programming: Axiomatization and Type Safety

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

  • Dynamic typing as staged type inference

    Mark Shields;Tim Sheard;Simon Peyton Jones

  • DSL implementation using staging and monads

    Tim Sheard;Zine-el-abidine Benaissa;Emir Pasalic

  • Type-Safe Linguistic Reflection: A Generator Technology

    David Stemple;Leo Fegaras;Robin Stanton;Tim Sheard

  • Software design for reliability and reuse: a proof-of-concept demonstration

    J. Bell;F. Bellegarde;J. Hook;R. B. Kieburtz

Frequent Co-Authors

Walid Taha
Walid Taha Halmstad University
Stephanie Weirich
Stephanie Weirich University of Pennsylvania
David Maier
David Maier Portland State University
Erik Meijer
Erik Meijer Facebook (United States)
Andrew M. Pitts
Andrew M. Pitts University of Cambridge
Simon Jones
Simon Jones Microsoft (United States)
Michael Garland
Michael Garland Nvidia (United States)
Sudhakar Yalamanchili
Sudhakar Yalamanchili Georgia Institute of Technology
Malcolm Atkinson
Malcolm Atkinson University of Edinburgh
Krithi Ramamritham
Krithi Ramamritham Indian Institute of Technology Bombay

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education in Computer Science opens doors to a variety of study and career options. Many students begin with an associate degree online, which provides foundational knowledge while building essential tech skills.

For those concerned about budget, affordable online colleges offer flexible programs that don’t break the bank. These options allow you to balance work, study, and other commitments.

Not everyone’s academic journey is straightforward, but there are excellent online schools that accept low gpa. They give more students access to quality education and the chance to pursue their ambitions in tech.

Beyond Computer Science, you might also ask, what can you do with an environmental science major? The tech world increasingly overlaps with fields like environmental science, creating new career pathways where technology addresses global challenges.

Best Scientists Citing Tim Sheard

Trending Scientists

Recently Published Articles