David Tarditi

According to our database, David Tarditi authored at least 18 papers between 1992 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Achieving Safety Incrementally with Checked C.

Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

2018

Checked C: Making C Safe by Extension.

Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

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

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Extending Object-Oriented Optimizations for Concurrent Programs.

Kelly Heffner, David Tarditi, Michael D. Smith

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

2006

Optimizing memory transactions.

Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Accelerator: using data parallelism to program GPUs for general-purpose uses.

David Tarditi, Sidd Puri, Jose Oglesby

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

A simple typed intermediate language for object-oriented languages.

Juan Chen, David Tarditi

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Broad New OS Research: Challenges and Opportunities.

Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

2000

Marmot: an optimizing compiler for Java.

Robert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi

Softw. Pract. Exp., 2000

Compact Garbage Collection Tables.

David Tarditi

Proceedings of the ISMM 2000, 2000

The Case for Profile-Directed Selection of Garbage Collectors.

Robert P. Fitzgerald, David Tarditi

Proceedings of the ISMM 2000, 2000

1996

Measuring the Cost of Storage Management.

David Tarditi, Amer Diwan

LISP Symb. Comput., 1996

TIL: a type-directed, optimizing compiler for ML (with retrospective)

David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1996

TIL: A Type-Directed Optimizing Compiler for ML.

David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

Memory System Performance of Programs with Intensive Heap Allocation

Amer Diwan, David Tarditi, J. Eliot B. Moss

ACM Trans. Comput. Syst., 1995

1994

Call-by-Need and Continuation-Passing Style.

Chris Okasaki, Peter Lee, David Tarditi

LISP Symb. Comput., 1994

Memory Subsystem Performance of Programs Using Copying Garbage Collection.

Amer Diwan, David Tarditi, J. Eliot B. Moss

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1992

No Assembly Required: Compiling Standard ML to C.

David Tarditi, Peter Lee, Anurag Acharya

LOPLAS, 1992