2001 |
8 | EE | 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 | EE | 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 | EE | 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) |