No Assembly Required: Compiling Standard ML to C. - David Tarditi; Peter Lee 001; Anurag Acharya 001 (LOPLAS, 1992)

Memory Subsystem Performance of Programs Using Copying Garbage Collection. - Amer Diwan; David Tarditi; J. Eliot B. Moss (POPL, 1994)

Call-by-Need and Continuation-Passing Style. - Chris Okasaki; Peter Lee 001; David Tarditi (LISP Symb. Comput., 1994)

Memory System Performance of Programs with Intensive Heap Allocation - Amer Diwan; David Tarditi; J. Eliot B. Moss (ACM Trans. Comput. Syst., 1995)

TIL: A Type-Directed Optimizing Compiler for ML. - David Tarditi; J. Gregory Morrisett; Perry Cheng; Christopher A. Stone; Robert Harper 001; Peter Lee 001 (PLDI, 1996)

TIL: a type-directed, optimizing compiler for ML (with retrospective) - David Tarditi; J. Gregory Morrisett; Perry Cheng; Christopher A. Stone; Robert Harper 001; Peter Lee 001 (Best of PLDI, 1996)

Measuring the Cost of Storage Management. - David Tarditi; Amer Diwan (LISP Symb. Comput., 1996)

The Case for Profile-Directed Selection of Garbage Collectors. - Robert P. Fitzgerald; David Tarditi (ISMM, 2000)

Compact Garbage Collection Tables. - David Tarditi (ISMM, 2000)

Marmot: an optimizing compiler for Java. - Robert P. Fitzgerald; Todd B. Knoblock; Erik Ruf; Bjarne Steensgaard; David Tarditi (Softw. Pract. Exp., 2000)

Broad New OS Research: Challenges and Opportunities. - Galen C. Hunt; James R. Larus; David Tarditi; Ted Wobber (HotOS, 2005)

A simple typed intermediate language for object-oriented languages. - Juan Chen; David Tarditi (POPL, 2005)

Accelerator: using data parallelism to program GPUs for general-purpose uses. - David Tarditi; Sidd Puri; Jose Oglesby (ASPLOS, 2006)

Optimizing memory transactions. - Tim Harris 001; Mark Plesko; Avraham Shinnar; David Tarditi (PLDI, 2006)

Extending Object-Oriented Optimizations for Concurrent Programs. - Kelly Heffner; David Tarditi; Michael D. Smith 001 (PACT, 2007)

Sealing OS processes to improve dependability and safety. - Galen C. Hunt; Mark Aiken; Manuel Fähndrich; Chris Hawblitzel; Orion Hodson; James R. Larus; Steven Levi; Bjarne Steensgaard; David Tarditi; Ted Wobber (EuroSys, 2007)

Checked C: Making C Safe by Extension. - Archibald Samuel Elliott; Andrew Ruef; Michael Hicks 001; David Tarditi (SecDev, 2018)

Achieving Safety Incrementally with Checked C. - Andrew Ruef; Leonidas Lampropoulos; Ian Sweet; David Tarditi; Michael Hicks 001 (POST, 2019)