David Tarditi

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 2

Top Topics

Image Processing

Information Retrieval

Safety Critical

Top Venues

Publications

Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
Achieving Safety Incrementally with Checked C. POST (2019)
Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi
Checked C: Making C Safe by Extension. SecDev (2018)
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Sealing OS processes to improve dependability and safety. EuroSys (2007)
Kelly Heffner, David Tarditi, Michael D. Smith
Extending Object-Oriented Optimizations for Concurrent Programs. PACT (2007)
David Tarditi, Sidd Puri, Jose Oglesby
Accelerator: using data parallelism to program GPUs for general-purpose uses. ASPLOS (2006)
Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
Optimizing memory transactions. PLDI (2006)
Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber
Broad New OS Research: Challenges and Opportunities. HotOS (2005)
Juan Chen, David Tarditi
A simple typed intermediate language for object-oriented languages. POPL (2005)
David Tarditi
Compact Garbage Collection Tables. ISMM (2000)
Robert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi
Marmot: an optimizing compiler for Java. Softw. Pract. Exp. 30 (3) (2000)
Robert P. Fitzgerald, David Tarditi
The Case for Profile-Directed Selection of Garbage Collectors. ISMM (2000)
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
TIL: A Type-Directed Optimizing Compiler for ML. PLDI (1996)
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
TIL: a type-directed, optimizing compiler for ML (with retrospective) Best of PLDI (1996)
David Tarditi, Amer Diwan
Measuring the Cost of Storage Management. LISP Symb. Comput. 9 (4) (1996)
Amer Diwan, David Tarditi, J. Eliot B. Moss
Memory System Performance of Programs with Intensive Heap Allocation ACM Trans. Comput. Syst. 13 (3) (1995)
Chris Okasaki, Peter Lee, David Tarditi
Call-by-Need and Continuation-Passing Style. LISP Symb. Comput. 7 (1) (1994)
Amer Diwan, David Tarditi, J. Eliot B. Moss
Memory Subsystem Performance of Programs Using Copying Garbage Collection. POPL (1994)
David Tarditi, Peter Lee, Anurag Acharya
No Assembly Required: Compiling Standard ML to C. LOPLAS 1 (2) (1992)