Concepedia

Tim Sheard

TS

Statistics

Publications

49

Citations

3.5K

H-Index

28

Active since

1984

Affiliations

Portland State University(Current)

Oregon Health & Science University

University of Massachusetts Amherst

Oregon Museum of Science and Industry

Oregon Research Institute

Tim Sheard is an author at Portland State University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisSoftware EngineeringProgramming LanguagesVerification

Publications per year

1984–2018

49

Publications

49

Template meta-programming for Haskell

Tim Sheard, Simon Peyton Jones · 2002 · 541 citations

Engineering, Compile Time, Software Engineering +16

Multi-stage programming with explicit annotations

Walid Taha, Tim Sheard · 1997 · 339 citations

Engineering, Verification, Software Engineering +22

MetaML and multi-stage programming with explicit annotations

Walid Taha, Tim Sheard · Theoretical Computer Science · 2000 · 329 citations

Engineering, Program Analysis, Automated Reasoning +9

Exploiting punctuation semantics in continuous data streams

Peter Tucker, David Maier, Tim Sheard et al. · IEEE Transactions on Knowledge and Data Engineering · 2003 · 310 citations

Engineering, Data Streaming Architecture, Semantics +21

Template meta-programming for Haskell

Tim Sheard, Simon Peyton Jones · ACM SIGPLAN Notices · 2002 · 156 citations

Engineering, Compile Time, Software Engineering +16

Rows per page

1–5 of 49