 | 2001 |
|---|
| 8 |       | Todd B. Knoblock,
Jakob Rehof:
Type elaboration and subtype completion for Java bytecode.
ACM Trans. Program. Lang. Syst. 23(2): 243-272 (2001) |
| 2000 |
|---|
| 7 | | Todd 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 |
|---|
| 3 | | Brian 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) |
