David Tarditi

20 papers A* 5A 2B 3C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2019 — conf
Achieving Safety Incrementally with Checked C.
POST
Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
2018 — conf
Checked C: Making C Safe by Extension.
SecDev
Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi
2008 B ed.
17th International Conference on Parallel Architectures and Compilation Techniques, PACT 2008, Toronto, Ontario, Canada, October 25-29, 2008
PACT
Andreas Moshovos, David Tarditi, Kunle Olukotun
2007 B conf
Extending Object-Oriented Optimizations for Concurrent Programs.
PACT
Kelly Heffner, David Tarditi, Michael D. Smith
2007 B ed.
Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007
VEE
Chandra Krintz, Steven Hand, David Tarditi
2007 A conf
Sealing OS processes to improve dependability and safety.
EuroSys
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
2006 A* conf
Accelerator: using data parallelism to program GPUs for general-purpose uses.
ASPLOS
David Tarditi, Sidd Puri, Jose Oglesby
2006 A* conf
Optimizing memory transactions.
PLDI
Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
2005 A* conf
A simple typed intermediate language for object-oriented languages.
POPL
Juan Chen, David Tarditi
2005 A conf
Broad New OS Research: Challenges and Opportunities.
HotOS
Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber
2000 C conf
Compact Garbage Collection Tables.
ISMM
David Tarditi
2000 J jnl
Marmot: an optimizing compiler for Java.
Softw. Pract. Exp.
Robert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi
2000 C conf
The Case for Profile-Directed Selection of Garbage Collectors.
ISMM
Robert P. Fitzgerald, David Tarditi
1996 J jnl
Measuring the Cost of Storage Management.
LISP Symb. Comput.
David Tarditi, Amer Diwan
1996 A* conf
TIL: A Type-Directed Optimizing Compiler for ML.
PLDI
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
1996 — conf
TIL: a type-directed, optimizing compiler for ML (with retrospective)
Best of PLDI
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
1995 J jnl
Memory System Performance of Programs with Intensive Heap Allocation
ACM Trans. Comput. Syst.
Amer Diwan, David Tarditi, J. Eliot B. Moss
1994 J jnl
Call-by-Need and Continuation-Passing Style.
LISP Symb. Comput.
Chris Okasaki, Peter Lee, David Tarditi
1994 A* conf
Memory Subsystem Performance of Programs Using Copying Garbage Collection.
POPL
Amer Diwan, David Tarditi, J. Eliot B. Moss
1992 J jnl
No Assembly Required: Compiling Standard ML to C.
LOPLAS
David Tarditi, Peter Lee, Anurag Acharya