Todd B. Knoblock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1986–2000
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | POPL | Type Elaboration and Subtype Completion for Java Bytecode. | Todd B. Knoblock, Jakob Rehof |
| 1997 | HotOS | 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 |
| 1996 | PLDI | Data Specialization. | Todd B. Knoblock, Erik Ruf |
| 1995 | SIGGRAPH | Specializing shaders. | Brian K. Guenter, Todd B. Knoblock, Erik Ruf |
| 1986 | LICS | Formalized Metareasoning in Type Theory | Todd B. Knoblock, Robert L. Constable |