Concepedia

Todd B. Knoblock

TB

Statistics

Publications

9

Citations

394

H-Index

9

Active since

1985

Affiliations

Microsoft (United States)(Current)

Todd B. Knoblock is an author at Microsoft (United States) specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware DesignFormal VerificationComputer EngineeringComputer Architecture

Publications per year

1985–2002

9

Publications

9

Marmot: an optimizing compiler for Java

Robert Fitzgerald, Todd B. Knoblock, Erik Ruf et al. · Software Practice and Experience · 2000 · 141 citations

Engineering, Compiler Technology, Software Systems +20

Specializing shaders

Brian Guenter, Todd B. Knoblock, Erik Ruf · 1995 · 64 citations · Full text

Data specialization

Todd B. Knoblock, Erik Ruf · 1996 · 54 citations · Full text

Engineering, Compiler Technology, Computer Architecture +17

Writing programs that construct proofs

Robert L. Constable, Todd B. Knoblock, Joseph L. Bates · Journal of Automated Reasoning · 1985 · 42 citations

Engineering, Automated Reasoning, Program Analysis +8

Formalized Metareasoning in Type Theory

Todd B. Knoblock, Robert L. Constable · eCommons (Cornell University) · 1986 · 38 citations · Full text

Constructive Mathematics, Simple Metatheoretic Functions, Engineering +12

1–5 of 9