dblp.uni-trier.dewww.uni-trier.de

Todd B. Knoblock

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
8EETodd B. Knoblock, Jakob Rehof: Type elaboration and subtype completion for Java bytecode. ACM Trans. Program. Lang. Syst. 23(2): 243-272 (2001)
2000
7EETodd B. Knoblock, Jakob Rehof: Type Elaboration and Subtype Completion for Java Bytecode. POPL 2000: 228-242
6 Robert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi: Marmot: an optimizing compiler for Java. Softw., Pract. Exper. 30(3): 199-232 (2000)
1997
5 William J. Bolosky, Richard Draves, Robert P. Fitzgerald, Christopher W. Fraser, Michael B. Jones, Todd B. Knoblock, Richard F. Rashid: Operating System Directions for the Next Millennium. Workshop on Hot Topics in Operating Systems 1997: 106-110
1996
4 Todd B. Knoblock, Erik Ruf: Data Specialization. PLDI 1996: 215-225
1995
3EEBrian K. Guenter, Todd B. Knoblock, Erik Ruf: Specializing shaders. SIGGRAPH 1995: 343-350
1986
2 Todd B. Knoblock, Robert L. Constable: Formalized Metareasoning in Type Theory LICS 1986: 237-248
1985
1 Robert L. Constable, Todd B. Knoblock, Joseph L. Bates: Writing Programs that Construct Proofs. J. Autom. Reasoning 1(3): 285-326 (1985)

Coauthor Index

1Joseph L. Bates [1]
2William J. Bolosky [5]
3Robert L. Constable [1] [2]
4Richard Draves [5]
5Robert P. Fitzgerald [5] [6]
6Christopher W. Fraser [5]
7Brian K. Guenter [3]
8Michael B. Jones [5]
9Richard F. Rashid [5]
10Jakob Rehof [7] [8]
11Erik Ruf [3] [4] [6]
12Bjarne Steensgaard [6]
13David Tarditi [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)