Todd B. Knoblock

According to our database, Todd B. Knoblock authored at least 9 papers between 1985 and 2001.

Collaborative distances:

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

2001

Type elaboration and subtype completion for Java bytecode.

Todd B. Knoblock, Jakob Rehof

ACM Trans. Program. Lang. Syst., 2001

2000

Marmot: an optimizing compiler for Java.

Robert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi

Softw. Pract. Exp., 2000

1997

Operating System Directions for the Next Millennium.

William J. Bolosky, Richard Draves, Robert P. Fitzgerald, Christopher W. Fraser, Michael B. Jones, Todd B. Knoblock, Richard F. Rashid

Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

1996

Data Specialization.

Todd B. Knoblock, Erik Ruf

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

Specializing shaders.

Brian K. Guenter, Todd B. Knoblock, Erik Ruf

Proceedings of the 22nd Annual Conference on Computer Graphics and Interactive Techniques, 1995

1988

Metamathematical Extensibility in Type Theory.

Todd B. Knoblock

PhD thesis, 1988

1986

Formalized Metareasoning in Type Theory

Todd B. Knoblock, Robert L. Constable

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Implementing mathematics with the Nuprl proof development system.

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, Robert Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

Prentice Hall, ISBN: 978-0-13-451832-9, 1986

1985

Writing Programs that Construct Proofs.

Robert L. Constable, Todd B. Knoblock, Joseph L. Bates

J. Autom. Reason., 1985