David Tarditi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1994–2007
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | EuroSys | Sealing OS processes to improve dependability and safety. | Galen C. Hunt, Mark Aiken, Manuel Fhndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber |
| 2006 | ASPLOS | Accelerator: using data parallelism to program GPUs for general-purpose uses. | David Tarditi, Sidd Puri, Jose Oglesby |
| 2006 | PLDI | Optimizing memory transactions. | Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi |
| 2005 | HotOS | Broad New OS Research: Challenges and Opportunities. | Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber |
| 2005 | POPL | A simple typed intermediate language for object-oriented languages. | Juan Chen, David Tarditi |
| 1996 | PLDI | TIL: A Type-Directed Optimizing Compiler for ML. | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | PLDI | TIL: a type-directed, optimizing compiler for ML (with retrospective) | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1994 | POPL | Memory Subsystem Performance of Programs Using Copying Garbage Collection. | Amer Diwan, David Tarditi, J. Eliot B. Moss |